php time()时间戳作为文件名产生文件同名的bug

/*time()函数生成的文件名可能是相同的,因为如果php运行的过程如果足够快，time()函数调用的足够频繁，那么有可能time()生成的时间戳会相同，因为时间戳是以秒为单位，所以如果足够频繁有可能以时间戳为文件名的两个文件名字相同：如下所示：
*/
echo time();
echo "
".time();

/*
结果:
1504022982
1504022982[Finished in 0.3s]
*/