日期:2010-10-19 浏览次数:20760 次
<?php
// class PHP_timer开始
class PHP_timer {
// 用来收集脚本执行过程中的信息
var $points = array();
// 在脚本的开始处调用这个函数
function start() {
// 请看后面的addmarker函数
$this->addmarker("Start");
}
// end function start()
// 在脚本的结束处调用这个函数
function stop() {
// 请看后面的addmarker函数
$this->addmarker("Stop");
}
// end function stop()
// 这个函数用来在脚本执行时增加一个标记
// 需要一个用来描述的名字
function addmarker($name) {
// 调用 jointime() 函数并将microtime() 的返回值传递过去
$markertime = $this->jointime(microtime());
// $ae 得到当前数组的大小,也就是当前的插入位置
// currently in the $points array
$ae = count($this->points);
// 在数组中存储timestamp 和说明
$this->points[$ae][0] = $markertime;
$this->points[$ae][1] = $name;
}
// end function addmarker()
// 这个函数会处理从microtime() 返回的字串
function jointime($mtime) {
// 分解字串
$timeparts = explode(" ",$mtime);
// 连接两个字串,并去除小数部分的0
$finaltime = $timeparts[1].substr($timeparts[0],1);
// 返回连接后的字串
return $finaltime;
}
// end function jointime()
// 这个函数简单的显示从开始到结束所需要的时间
function showtime() {
echo bcsub($this->points[count($this->points)-1][0],$this->points[0][0],6);
}
// end function showtime()
// 这个函数显示所有的在脚本运行过程中收集到的信息
function debug() {
echo "Script execution debug information:";
echo "<table border=0 cellspacing=5 cellpadding=5>\n";
// 这个表格有3列 Marker name, Timestamp, difference
echo "<tr><td><b>Marker</b></td><td><b>Time</b></td><td><b>Diff</b></td></tr>\n";
// 第一行是没有运行时间差的
echo "<tr>\n";
echo "<td>".$this-&g