diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
commit | 370e83bb0dfd0c70de268c93bf07ad5ee0897192 (patch) | |
tree | 491674f4c242e4d6ba0d04eafa305174c35a3391 /profileinfo.php | |
parent | f4debf0f12d0524d2b2427c55ea3f16b680fad97 (diff) |
Update auf 1.13.0
Diffstat (limited to 'profileinfo.php')
-rw-r--r-- | profileinfo.php | 111 |
1 files changed, 88 insertions, 23 deletions
diff --git a/profileinfo.php b/profileinfo.php index 9290ad40..032df3f2 100644 --- a/profileinfo.php +++ b/profileinfo.php @@ -36,15 +36,27 @@ padding-right: 0.5em; } - td.time, td.timep, td.count, td.cpr { + td.timep, td.memoryp, td.count, td.cpr, td.tpc, td.mpc, td.tpr, td.mpr { text-align: right; } + td.timep, td.tpc, td.tpr { + background-color: #fffff0; + } + td.memoryp, td.mpc, td.mpr { + background-color: #f0f8ff; + } + td.count, td,cpr { + background-color: #f0fff0; + } + td.name { + background-color: #f9f9f9; + } </style> </head> <body> <?php -$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = false; +$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false; define( 'MW_NO_SETUP', 1 ); require_once( './includes/WebStart.php' ); @@ -74,10 +86,11 @@ class profile_point { var $time; var $children; - function profile_point($name, $count, $time) { + function profile_point($name, $count, $time, $memory ) { $this->name = $name; $this->count = $count; $this->time = $time; + $this->memory = $memory; $this->children = array(); } @@ -86,7 +99,7 @@ class profile_point { } function display($indent = 0.0) { - global $expand, $totaltime, $totalcount; + global $expand, $totaltime, $totalmemory, $totalcount; usort($this->children, "compare_point"); $extet = ''; @@ -108,18 +121,24 @@ class profile_point { } ?> <tr> - <td class="time"><tt><?php echo $this->fmttime() ?></tt></td> - <td class="timep"><?php echo wfPercent( $this->time() / $totaltime * 100 ) ?></td> - <td class="count"><?php echo $this->count() ?></td> - <td class="cpr"><?php echo round( sprintf( '%.2f',$this->count() / $totalcount ), 2 ) ?> - <td class="name" style="padding-left: <?php echo $indent ?>em"> + <td class="name" style="padding-left: <?php echo $indent ?>em;"> <?php echo htmlspecialchars($this->name()) . $extet ?> </td> + <td class="timep"><?php echo @wfPercent( $this->time() / $totaltime * 100 ) ?></td> + <td class="memoryp"><?php echo @wfPercent( $this->memory() / $totalmemory * 100 ) ?></td> + <td class="count"><?php echo $this->count() ?></td> + <td class="cpr"><?php echo round( sprintf( '%.2f', $this->callsPerRequest() ), 2 ) ?></td> + <td class="tpc"><?php echo round( sprintf( '%.2f', $this->timePerCall() ), 2 ) ?></td> + <td class="mpc"><?php echo round( sprintf( '%.2f' ,$this->memoryPerCall() / 1024 ), 2 ) ?></td> + <td class="tpr"><?php echo @round( sprintf( '%.2f', $this->time() / $totalcount ), 2 ) ?></td> + <td class="mpr"><?php echo @round( sprintf( '%.2f' ,$this->memory() / $totalcount / 1024 ), 2 ) ?></td> </tr> <?php - if ($ex) - foreach ($this->children as $child) + if ($ex) { + foreach ($this->children as $child) { $child->display($indent + 2); + } + } } function name() { @@ -133,6 +152,33 @@ class profile_point { function time() { return $this->time; } + + function memory() { + return $this->memory; + } + + function timePerCall() { + return @($this->time / $this->count); + } + + function memoryPerCall() { + return @($this->memory / $this->count); + } + + function callsPerRequest() { + global $totalcount; + return @($this->count / $totalcount); + } + + function timePerRequest() { + global $totalcount; + return @($this->time / $totalcount); + } + + function memoryPerRequest() { + global $totalcount; + return @($this->memory / $totalcount); + } function fmttime() { return sprintf("%5.02f", $this->time); @@ -146,12 +192,24 @@ function compare_point($a, $b) { return strcmp($a->name(), $b->name()); case "time": return $a->time() > $b->time() ? -1 : 1; + case "memory": + return $a->memory() > $b->memory() ? -1 : 1; case "count": return $a->count() > $b->count() ? -1 : 1; + case "time_per_call": + return $a->timePerCall() > $b->timePerCall() ? -1 : 1; + case "memory_per_call": + return $a->memoryPerCall() > $b->memoryPerCall() ? -1 : 1; + case "calls_per_req": + return $a->callsPerRequest() > $b->callsPerRequest() ? -1 : 1; + case "time_per_req": + return $a->timePerRequest() > $b->timePerRequest() ? -1 : 1; + case "memory_per_req": + return $a->memoryPerRequest() > $b->memoryPerRequest() ? -1 : 1; } } -$sorts = array("time", "count", "name"); +$sorts = array("time","memory","count","calls_per_req","name","time_per_call","memory_per_call","time_per_req","memory_per_req"); $sort = 'time'; if (isset($_REQUEST['sort']) && in_array($_REQUEST['sort'], $sorts)) $sort = $_REQUEST['sort']; @@ -160,8 +218,8 @@ $dbh = mysql_connect($wgDBserver, $wgDBadminuser, $wgDBadminpassword) or die("mysql server failed: " . mysql_error()); mysql_select_db($wgDBname, $dbh) or die(mysql_error($dbh)); $res = mysql_query(" - SELECT pf_count, pf_time, pf_name - FROM profiling + SELECT pf_count, pf_time, pf_memory, pf_name + FROM {$wgDBprefix}profiling ORDER BY pf_name ASC ", $dbh) or die("query failed: " . mysql_error()); @@ -179,17 +237,22 @@ else $filter = ''; </p> </form> -<table cellspacing="0"> +<table cellspacing="0" border="1"> <tr id="top"> -<th><a href="<?php echo makeurl(false, "time") ?>">Time</a></th> -<th>Time (%)</th> -<th><a href="<?php echo makeurl(false, "count") ?>">Count</a></th> -<th>Avg calls per request</th> <th><a href="<?php echo makeurl(false, "name") ?>">Name</a></th> +<th><a href="<?php echo makeurl(false, "time") ?>">Time (%)</a></th> +<th><a href="<?php echo makeurl(false, "memory") ?>">Memory (%)</a></th> +<th><a href="<?php echo makeurl(false, "count") ?>">Count</a></th> +<th><a href="<?php echo makeurl(false, "calls_per_req") ?>">Calls/req</a></th> +<th><a href="<?php echo makeurl(false, "time_per_call") ?>">ms/call</a></th> +<th><a href="<?php echo makeurl(false, "memory_per_call") ?>">kb/call</a></th> +<th><a href="<?php echo makeurl(false, "time_per_req") ?>">ms/req</a></th> +<th><a href="<?php echo makeurl(false, "memory_per_req") ?>">kb/req</a></th> </tr> <?php $totaltime = 0.0; $totalcount = 0; +$totalmemory = 0.0; function makeurl($_filter = false, $_sort = false, $_expand = false) { global $filter, $sort, $expand; @@ -209,10 +272,11 @@ $sqltotal = 0.0; $last = false; while (($o = mysql_fetch_object($res)) !== false) { - $next = new profile_point($o->pf_name, $o->pf_count, $o->pf_time); + $next = new profile_point($o->pf_name, $o->pf_count, $o->pf_time, $o->pf_memory); if( $next->name() == '-total' ) { $totaltime = $next->time(); $totalcount = $next->count(); + $totalmemory = $next->memory(); } if ($last !== false) { if (preg_match("/^".preg_quote($last->name(), "/")."/", $next->name())) { @@ -221,7 +285,7 @@ while (($o = mysql_fetch_object($res)) !== false) { } } $last = $next; - if (preg_match("/^query: /", $next->name())) { + if (preg_match("/^query: /", $next->name()) || preg_match("/^query-m: /", $next->name())) { $sqltotal += $next->time(); $queries[] = $next; } else { @@ -229,7 +293,7 @@ while (($o = mysql_fetch_object($res)) !== false) { } } -$s = new profile_point("SQL Queries", 0, $sqltotal); +$s = new profile_point("SQL Queries", 0, $sqltotal, 0, 0); foreach ($queries as $q) $s->add_child($q); $points[] = $s; @@ -245,7 +309,8 @@ foreach ($points as $point) { ?> </table> -<p>Total time: <tt><?php printf("%5.02f", $totaltime) ?></p> +<p>Total time: <tt><?php printf("%5.02f", $totaltime) ?></tt></p> +<p>Total memory: <tt><?php printf("%5.02f", $totalmemory / 1024 ) ?></tt></p> <?php mysql_free_result($res); |