php 毫秒级别

microtime_float.php

 <?php 

	function microtime_float()
	{
		list($usec, $sec) = explode(" ", microtime());
		return ((float)$usec + (float)$sec);
	}
	echo microtime_float();