I use LuaSocket to get more precision.
require "socket"
print("Milliseconds: " .. socket.gettime()*1000)
This adds a dependency of course, but works fine for personal use (in benchmarking scripts for example).
More Related Contents:
- Making a website like pingdom – how is it programmed? [closed]
- How to format current time using a yyyyMMddHHmmss format?
- Parsing date/time strings which are not ‘standard’ formats
- Will a docker container auto sync time with its host machine?
- Convert UTC to “local” time in Go
- How do I get the current time in Elm?
- Get Unix Epoch Time in Swift
- How to get current time from internet in android
- Current time formatting with Javascript
- Convert number of minutes into hours & minutes using PHP
- High-precision clock in Python
- How can I get the Windows system time with millisecond resolution?
- R: How to handle times without dates?
- Conversion from 12 hours time to 24 hours time in java
- Java code for getting current time [duplicate]
- Convert java.time.Instant to java.sql.Timestamp without Zone offset
- Date to milliseconds and back to date in Swift
- Output is in seconds. convert to hh:mm:ss format in php
- In JavaScript, how can I have a function run at a specific time?
- Getting the current time millis from device and converting it into a new date with different timezone [duplicate]
- How to get the seconds since epoch from the time + date output of gmtime()?
- Get back the output of os.execute in Lua
- C++ Converting a time string to seconds from the epoch
- Upper limit in Python time.sleep()?
- PHP script to execute at certain times
- calculate sundays between two dates
- Calculate system time using rdtsc
- Get the exact time for a remote server
- How do I set a task to run every so often?
- print current date in java