4 Copyright
2005 Kate Turner
.
6 Permission is hereby granted
, free of charge
, to any person obtaining a copy
7 of this software
and associated documentation
files (the
"Software"), to deal
8 in the Software without restriction
, including without limitation the rights
9 to
use, copy
, modify
, merge
, publish
, distribute
, sublicense
, and/or sell
10 copies of the Software
, and to permit persons to whom the Software is
11 furnished to
do so
, subject to the following conditions
:
13 The above copyright notice
and this permission notice shall be included in
14 all copies
or substantial portions of the Software
.
16 THE SOFTWARE IS PROVIDED
"AS IS", WITHOUT WARRANTY OF ANY KIND
, EXPRESS
OR
17 IMPLIED
, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY
,
18 FITNESS
FOR A PARTICULAR PURPOSE
AND NONINFRINGEMENT
. IN NO EVENT SHALL THE
19 AUTHORS
OR COPYRIGHT HOLDERS BE LIABLE
FOR ANY CLAIM
, DAMAGES
OR OTHER
20 LIABILITY
, WHETHER IN AN ACTION OF CONTRACT
, TORT
OR OTHERWISE
, ARISING FROM
,
21 OUT OF
OR IN CONNECTION WITH THE SOFTWARE
OR THE
USE OR OTHER DEALINGS IN THE
27 <title
>Profiling data
</title
>
28 <style type
="text/css">
31 border
-bottom
: solid
1px black
;
39 td
.time
, td
.timep
, td
.memory
, td
.memoryp
, td
.count
, td
.cpr
{
47 $wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgEnableProfileInfo = $wgDBprefix = false;
49 define( 'MW_NO_SETUP', 1 );
50 require_once( './includes/WebStart.php' );
51 require_once("./AdminSettings.php");
52 require_once( './includes/GlobalFunctions.php' );
54 if (!$wgEnableProfileInfo) {
59 foreach (array("wgDBadminuser", "wgDBadminpassword", "wgDBserver", "wgDBname") as $var)
60 if ($
$var === false) {
61 echo "AdminSettings.php not correct\n";
67 if (isset($_REQUEST['expand']))
68 foreach(explode(",", $_REQUEST['expand']) as $f)
77 function profile_point($name, $count, $time, $memory ) {
79 $this->count
= $count;
81 $this->memory
= $memory;
82 $this->children
= array();
85 function add_child($child) {
86 $this->children
[] = $child;
89 function display($indent = 0.0) {
90 global $expand, $totaltime, $totalmemory, $totalcount;
91 usort($this->children
, "compare_point");
94 if (isset($expand[$this->name()]))
98 if (count($this->children
)) {
99 $url = makeurl(false, false, $expand +
array($this->name() => true));
100 $extet = " <a href=\"$url\">[+]</a>";
104 foreach ($expand as $name => $ep)
105 if ($name != $this->name())
106 $e +
= array($name => $ep);
108 $extet = " <a href=\"" . makeurl(false, false, $e) . "\">[–]</a>";
112 <td
class="name" style
="padding-left: <?php echo $indent ?>em">
113 <?php
echo htmlspecialchars($this->name()) . $extet ?
>
115 <td
class="time"><tt
><?php
echo $this->fmttime() ?
></tt
></td
>
116 <td
class="timep"><?php
echo @wfPercent
( $this->time() / $totaltime * 100 ) ?
></td
>
117 <td
class="memoryp"><?php
echo @wfPercent
( $this->memory() / $totalmemory * 100 ) ?
></td
>
118 <td
class="count"><?php
echo $this->count() ?
></td
>
119 <td
class="cpr"><?php
echo @round
( sprintf( '%.2f', $this->count() / $totalcount ), 2 ) ?
>
120 <td
class="tpc"><?php
echo @round
( sprintf( '%.2f', $this->time() / $this->count() ), 2 ) ?
>
121 <td
class="mpr"><?php
echo @round
( sprintf( '%.2f' ,$this->memory() / $this->count() / 1048576 ), 2 ) ?
>
125 foreach ($this->children
as $child)
126 $child->display($indent +
2);
142 return $this->memory
;
146 return sprintf("%5.02f", $this->time
);
150 function compare_point($a, $b) {
154 return strcmp($a->name(), $b->name());
156 return $a->time() > $b->time() ?
-1 : 1;
158 return $a->memory() > $b->memory() ?
-1 : 1;
160 return $a->count() > $b->count() ?
-1 : 1;
164 $sorts = array("time", "memory", "count", "name");
166 if (isset($_REQUEST['sort']) && in_array($_REQUEST['sort'], $sorts))
167 $sort = $_REQUEST['sort'];
169 $dbh = mysql_connect($wgDBserver, $wgDBadminuser, $wgDBadminpassword)
170 or die("mysql server failed: " . mysql_error());
171 mysql_select_db($wgDBname, $dbh) or die(mysql_error($dbh));
173 SELECT pf_count, pf_time, pf_memory, pf_name
174 FROM {$wgDBprefix}profiling
176 ", $dbh) or die("query failed: " . mysql_error());
178 if (isset($_REQUEST['filter']))
179 $filter = $_REQUEST['filter'];
183 <form method
="profiling.php">
185 <input type
="text" name
="filter" value
="<?php echo htmlspecialchars($filter)?>"/>
186 <input type
="hidden" name
="sort" value
="<?php echo htmlspecialchars($sort)?>"/>
187 <input type
="hidden" name
="expand" value
="<?php echo htmlspecialchars(implode(",", array_keys($expand)))?>"/>
188 <input type
="submit" value
="Filter" />
192 <table cellspacing
="0">
194 <th
><a href
="<?php echo makeurl(false, "name
") ?>">Name
</a
></th
>
195 <th
><a href
="<?php echo makeurl(false, "time
") ?>">Time (ms
)</a
></th
>
197 <th
><a href
="<?php echo makeurl(false, "memory
") ?>">Memory (%
)</a
></th
>
198 <th
><a href
="<?php echo makeurl(false, "count
") ?>">Count
</a
></th
>
199 <th
>Calls
/request
</th
>
208 function makeurl($_filter = false, $_sort = false, $_expand = false) {
209 global $filter, $sort, $expand;
211 if ($_expand === false)
214 $nfilter = $_filter ?
$_filter : $filter;
215 $nsort = $_sort ?
$_sort : $sort;
216 $exp = urlencode(implode(',', array_keys($_expand)));
217 return "?filter=$nfilter&sort=$nsort&expand=$exp";
225 while (($o = mysql_fetch_object($res)) !== false) {
226 $next = new profile_point($o->pf_name
, $o->pf_count
, $o->pf_time
, $o->pf_memory
);
227 if( $next->name() == '-total' ) {
228 $totaltime = $next->time();
229 $totalcount = $next->count();
230 $totalmemory = $next->memory();
232 if ($last !== false) {
233 if (preg_match("/^".preg_quote($last->name(), "/")."/", $next->name())) {
234 $last->add_child($next);
239 if (preg_match("/^query: /", $next->name())) {
240 $sqltotal +
= $next->time();
247 $s = new profile_point("SQL Queries", 0, $sqltotal, 0, 0);
248 foreach ($queries as $q)
252 usort($points, "compare_point");
254 foreach ($points as $point) {
255 if (strlen($filter) && !strstr($point->name(), $filter))
263 <p
>Total time
: <tt
><?php
printf("%5.02f", $totaltime) ?
></p
>
266 mysql_free_result($res);