Если я сделаю:
echo microtime(true);
Я получаю следующие результаты:
- В моей локальной среде разработки Windows я получаю точность в 4 цифры (например, 1310564569.4162).
- На моем живом сервере CentOS (Linux) я получаю точность до 2 цифр (например, 1310564569.41).
ОК, так что в зависимости от платформы, на которой вы работаете, вы можете получать различные значения точности? Или это конфигурация PHP / OS?
Также из микротайма Документы PHP:
Эта функция доступна только в операционных системах, которые поддерживают
Системный вызов gettimeofday ().
Какие операционные системы (или условия / конфигурации) не поддерживают это?