前一阵子写了个东西,结果在android机器上跑时发现了一些莫名奇妙的bug,找了半天,发现原因是os.clock()返回了负值,而且是一个随着时间慢慢变大的负值,当时为了快速改bug,就不再使用os.clock()了, 今天有空,就仔细找了找原因;
先看看lua中os.clock()的实现
static int os_clock (lua_State *L) {
lua_pushnumber(L, ((lua_Number)clock())/(lua_Number)CLOCKS_PER_SEC);
return 1;
}
可以看出是调用的C的clock()
自然而然的,来google下clock()有没有什么bug,找到了这里
http://stackoverflow.com/questions/19366943/clock-returning-a-negative-value-in-c
读完可知道是数字溢出截断导致的,而且在某些平台实现clock()和C标准不一样,会返回负值;
解决方法:使用socket库
require "socket"
while(true) do
local a = socket.gettime()
print(a)
os.execute("sleep " .. 1)
end
输出
1440584604.7916
1440584605.9307
1440584606.9668
1440584607.9968
1440584609.0239
1440584610.0549
1440584611.085
1440584612.1121
1440584613.1381
1440584614.1662
1440584615.1932
1440584616.2223
如果想进一步了解clock(),请看:
clock()的描述: http://linux.die.net/man/3/clock
clock()在某些平台的bug:http://austingroupbugs.net/view.php?id=686