]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - profileinfo.php
MediaWiki 1.14.0
[autoinstallsdev/mediawiki.git] / profileinfo.php
index 4e2a3d76ac8908c146e51bd220578e90eb8fd66d..d1cf853632f473d60bee3763b8b3b3bf5e53921f 100644 (file)
@@ -1,3 +1,15 @@
+<?php
+ini_set( 'zlib.output_compression', 'off' );
+
+$wgDBadminuser = $wgDBadminpassword = $wgDBserver = $wgDBname = $wgDBprefix = false;
+$wgEnableProfileInfo = $wgProfileToDatabase = false;
+
+define( 'MW_NO_SETUP', 1 );
+require_once( './includes/WebStart.php' );
+@include_once( './AdminSettings.php' );
+require_once( './includes/GlobalFunctions.php' );
+
+?>
 <!--
      Show profiling data.
 
                padding-right: 0.5em;
        }
 
-       td.time, td.count {
+       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;
-
-define( 'MW_NO_SETUP', 1 );
-require_once( './includes/WebStart.php' );
-require_once("./AdminSettings.php");
-
 if (!$wgEnableProfileInfo) {
        echo "disabled\n";
        exit( 1 );
@@ -73,10 +91,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();
        }
 
@@ -85,7 +104,7 @@ class profile_point {
        }
 
        function display($indent = 0.0) {
-               global $expand;
+               global $expand, $totaltime, $totalmemory, $totalcount;
                usort($this->children, "compare_point");
 
                $extet = '';
@@ -107,16 +126,24 @@ class profile_point {
                }
                ?>
                <tr>
-               <td class="time"><tt><?php echo $this->fmttime() ?></tt></td>
-               <td class="count"><?php echo $this->count() ?></td>
-               <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() {
@@ -130,6 +157,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);
@@ -143,12 +197,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'];
@@ -157,8 +223,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());
 
@@ -176,14 +242,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><a href="<?php echo makeurl(false, "count") ?>">Count</a></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;
@@ -203,8 +277,12 @@ $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);
-       $totaltime += $next->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())) {
                        $last->add_child($next);
@@ -212,7 +290,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 {
@@ -220,7 +298,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;
@@ -236,7 +314,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);