私が行った場合:
echo microtime(true);
次の結果が得られます。
- 私のローカル Windows 開発環境では、4 桁の精度が得られます (たとえば、1310564569.4162)。
- 私のライブ CentOS (Linux) サーバーでは、2 桁の精度 (たとえば、1310564569.41) が得られます。
OK では、実行しているプラットフォームに応じて、異なる精度が得られますか? または、これは PHP/OS 構成ですか?
また、マイクロタイムPHPドキュメントから:
この関数は、gettimeofday() システム コールをサポートするオペレーティング システムでのみ使用できます。
これをサポートしていない OS (または条件/構成) はどれですか?