Как получить текущее системное время в миллисекундах или наносекундах?

ocaml

2015-11-18 7 views 3 likes

Unix.time() возвращается секунд.Как получить текущее системное время в миллисекундах или наносекундах?

Как я могу получить время в ms или ns?

Благодаря

источник

2015-11-18 Jackson Tale

ответ

Попробуйте Unix.gettimeofday

# Unix.time();; 
- : float = 1447865942. 
# Unix.gettimeofday();; 
- : float = 1447865947.56802297

источник

2015-11-18 16:59:38

Ядро имеет очень надежные связанные временные функции, а так как 112.06.00 есть Time_ns модуль.

utop # Time_ns.now();; 
- : Time_ns.t = 2015-11-18 14:49:08.580109-05:00

источник

2015-11-18 19:55:20

Смежные вопросы

1. Получить текущее системное время в миллисекундах
2. Как получить время в миллисекундах или наносекундах в C++
3. Получить текущее системное время?
4. Получить системное время в миллисекундах в android
5. Текущее время в миллисекундах
6. Windows: как получить текущее время в миллисекундах в C++?
7. Как получить текущее время в миллисекундах?
8. Как получить текущее время в миллисекундах?
9. Как получить текущее время в миллисекундах в Фортране?
10. Как получить текущее системное время в android?
11. Получить текущее время, в миллисекундах, в C?
12. Как получить текущее время Unix в наносекундах в Android Shell?
13. C++ chrono системное время в миллисекундах, временные операции
14. Получить текущее системное время машины в сети
15. Как получить текущее системное время в миллисекундах с 1/1/1970 (C++)
16. Текущее системное время на iOS
17. Текущее время в миллисекундах в MYSQL
18. Как получить текущее время в миллисекундах от C в Linux?
19. Как получить текущее время в миллисекундах в Loadrunner?
20. Как получить текущее время в миллисекундах от timepicker в android?
21. Как получить текущее время воспроизведения, CMTime в миллисекундах в AVPlayer?
22. Как получить текущее время в миллисекундах в PHP?
23. Как получить текущее время в миллисекундах в android
24. В Haxe, как получить текущее время в миллисекундах?
25. Как назначить текущее системное время переменной String ^?
26. Как получить текущее время в миллисекундах с помощью C?
27. Как получить текущее время в миллисекундах программирования C
28. Как я могу получить текущее системное время в C++
29. bash, получить текущее время в миллисекундах с полуночи
30. Как получить время ping в наносекундах?