luatz/timetable: Fix `rfc_3339()` bad rounding behaviour. Closes issue #4

[etc/awesome.git] / luatz / gettime.lua

diff --git a/luatz/gettime.lua b/luatz/gettime.lua
index a86829e43f7eafee1a8d05dfef3410413c8189b9..008e95cb57991e0c6971781048afaf863a52a2f2 100644 (file)
--- a/luatz/gettime.lua
+++ b/luatz/gettime.lua
@@ -1,10 +1,38 @@
 local _M = { }
 
 local _M = { }
 

-local has_socket , socket = pcall ( require , "socket" )
-if has_socket then
-       _M.gettime = socket.gettime
-else
-       _M.gettime = os.time
-end
+_M.source , _M.resolution , _M.gettime = (function()
+       local has_syscall , syscall = pcall ( require , "syscall" )
+       if has_syscall then
+               if syscall.clock_gettime then
+                       local clock_id = syscall.c.CLOCK.REALTIME
+                       local function timespec_to_number ( timespec )
+                               return tonumber ( timespec.tv_sec ) + tonumber ( timespec.tv_nsec ) * 1e-9
+                       end
+                       return "syscall.clock_gettime(CLOCK_REALTIME)" ,
+                               syscall.clock_getres and timespec_to_number ( syscall.clock_getres ( clock_id ) ) or 1e-9 ,
+                               function ( )
+                                       return timespec_to_number ( syscall.clock_gettime ( clock_id ) )
+                               end
+
+               elseif syscall.gettimeofday then
+                       local function timeval_to_number ( timeval )
+                               return tonumber ( timeval.tv_sec ) + tonumber ( timeval.tv_nsec ) * 1e-6
+                       end
+                       return "syscall.gettimeofday()" , 1e-6 ,
+                               function ( )
+                                       return timeval_to_number ( syscall.gettimeofday ( ) )
+                               end
+               end
+       end
+
+       local has_socket , socket = pcall ( require , "socket" )
+       if has_socket and socket.gettime then
+               -- on windows, this uses GetSystemTimeAsFileTime, which has resolution of 1e-7
+               -- on linux, this uses gettimeofday, which has resolution of 1e-6
+               return "socket.gettime()" , 1e-6 , socket.gettime
+       end
+
+       return "os.time()" , 1 , os.time
+end)()

 
 return _M
 
 return _M