请教一个time命令的输出结果问题？

Question

命令如下：
$time dd if=/dev/zero of=/home/etl/data/test.dat bs=8k count=102400
102400+0 个记录输入
102400+0 个记录输出

real    0m8.46s
user    0m0.12s
sys     0m2.95s
$time cat /home/etl/data/test.dat > /home/etl/data/test1.dat

real    0m14.98s
user    0m0.12s
sys     0m4.09s
$time cp /home/etl/data/test.dat /home/etl/data/test1.dat

real    0m8.56s
user    0m0.01s
sys     0m3.99s

为啥这个real！=user+sys呢。还是说取其中最大的值，因为有时候sys比real大。请高手指点，谢谢。

Answer 1

不相等是正常的~~

real为执行完这个命令的所用时间（包括sleep的时间），而user和sys中的时间是没有包含sleep的时间的。

Answer 2

这样就行了？

Answer 3

仅供参考：

linux下man time：

     The default format string is
          %Uuser %Ssystem %Eelapsed %PCPU (%Xtext+%Ddata %Mmax)k
          %Iinputs+%Ooutputs (%Fmajor+%Rminor)pagefaults %Wswaps