最近把网站迁移到新的服务器上，发现运行比较缓慢，然后就抽时间，优化了一下，写了个简单的函数

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
/**
 * @param array $timer 收集代码执行时间的函数
 * @param int   $decimals 时间的精确度，默认精确到小数点后10位
 */
function cal_timer($timer, $decimals = 10) {
    if ($_SESSION['admin_id'] == 1) {
        $arr_len = count($timer);
        for($i = 1; $i < $arr_len; $i++){
            $start = explode(' ', $timer[$i-1]);
            $end   = explode(' ', $timer[$i]);
            $start = $start[0]+$start[1];
            $end   = $end[0]+$end[1];
            $result = number_format($end-$start, $decimals, '.', ' ');
            if ($result > 0) {
                echo $i,'：',$end,' - ',$start, ' = ', $result,"\n";
            }
        }
    }
}