日期: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