在使用 microtime()(使用 PHP 5)记录一些数据时,我遇到了一些与我的日志文件的时间戳略有不同的值,所以我只是尝试比较 time() 和 microtime() 的输出使用一个简单的脚本(usleep 只是为了限制数据输出):
<?php
for($i = 0; $i < 500; $i++) {
$microtime = microtime();
$time = time();
list($usec, $sec) = explode(" ", $microtime);
if ((int)$sec > $time) {
echo $time . ' : ' . $microtime . '<br>';
}
usleep(50000);
}
?>
现在,由于 $microtime 在 $time 之前声明,我希望它更小,并且不应该输出任何内容;然而,这显然不是这种情况,并且 $time 时不时地小于从 microtime() 返回的秒数,如本示例(截断)输出所示:
1344536674 : 0.15545100 1344536675
1344536675 : 0.15553900 1344536676
1344536676 : 0.15961000 1344536677
1344536677 : 0.16758900 1344536678
现在,这只是一个很小的差距;但是,我观察到一些系列的差异(相当)超过一秒......那么,这怎么可能?