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手册里没有。呵呵