Jason’s blog

$start_time = get_microtime();
for($i=0;$i<10000;$i++)
{
if(is_file('url.txt')) {
	//do nothing;
}
}
echo 'is_file耗时-->'.(get_microtime() - $start_time).'<br>';
 
$start_time = get_microtime();
for($i=0;$i<10000;$i++)
{
if(file_exists('url.txt')) {
	//do nothing;
}
}
 
echo 'file_exits-->'.(get_microtime() - $start_time).'<br>';
 
 
function get_microtime()//时间
{
	list($usec, $sec) = explode(' ', microtime()); 
	return ((float)$usec + (float)$sec); 
}