PHP CacheManager::reset示例

 for ($i = 0; $i < $anz; $i++) {
     shuffle($list2);
     foreach ($list2 as $elem) {
         CacheManager::setCacheEnabled($cacheEnabled[$b]);
         $begin = microtime(true);
         $answ = Request::get($elem, array(), '', false, false);
         $t = microtime(true) - $begin;
         if (!isset($time[$b][$elem])) {
             $time[$b][$elem] = 0;
         }
         $time[$b][$elem] += $t;
         if (!isset($sum[$b])) {
             $sum[$b] = 0;
         }
         $sum[$b] += $t;
         CacheManager::reset();
     }
 }
 foreach ($list as $elem) {
     echo '<tr>';
     echo '<td>' . round($time[$b][$elem] / $anz, 3) * 1000 . 'ms</td>';
     echo '<td>' . $elem;
     if ($b == 1) {
         $diff = $time[1][$elem] / $time[0][$elem] - 1;
         echo '<td><font color="' . ($diff >= 0 ? 'red">+' : 'green">') . round($diff * 100, 0) . "%</font></td>";
     } else {
         echo '<td></td>';
     }
     echo "</tr>";
 }
 echo "<tr><td colspan=1>Gesamt:</td><td><font color='blue'><b>" . round($sum[$b], 3) * 1000 . "ms</b></font></td>";