PHP profiler_instrument_end示例

示例#1

文件： Profile.php 项目： daerduoCarey/oj

 public static function fetchRealName($username)
 {
     profiler_instrument_begin('fetchRealName');
     $result = Profile::fetchRealName_($username);
     profiler_instrument_end('fetchRealName');
     return $result;
 }

示例#2

文件： Report.php 项目： daerduoCarey/oj

 public function countRegistrants()
 {
     profiler_instrument_begin('countRegistrants');
     global $cache;
     $cache_key = static::buildRegistrantsCountCacheKey($this->getId());
     $cache_value = $cache->get($cache_key);
     if ($cache_value === NULL) {
         $cache_value = count($this->getUsernames());
         $cache->set($cache_key, $cache_value);
     }
     profiler_instrument_end('countRegistrants');
     return $cache_value;
 }