PHP时间

PHP时间

为了测试页面执行速度,我在PHP文件的开头和结尾用MICROTIME()记录时间,然后让结束时间减去开始时间,为什么有时候结果是负数 ,哪位知道的帮忙解下惑,谢了。

问题已解决,是因为microtime的返回值格式是0.4654333   1445666  格式,前面的是微秒部分,后面的是秒部分,用下列方法处理一下就可以了:
function microtime_float()
{
    list(
$usec, $sec) = explode(" ", microtime
());
    return ((float)
$usec + (float)$sec
);
}

$time_start = microtime_float
();

// Sleep for a while
usleep(100
);

$time_end = microtime_float
();
$time = $time_end - $time_start;

这些在手册中都有,不过我的PHP4手册里没有。呵呵