Luaスクリプトでの時間計測方法

1. os.clock() を利用

10msec程度の分解能がある模様。
[lua]
x = os.clock()
— 何か時間がかかる処理
print (os.clock() – x)
[/lua]

2. socket.gettime()を利用

os.clock()より分解能が高い（14桁）。精度は調べてない。
[lua]
require "socket"
x = socket.gettime()
— 何か時間がかかる処理
print (socket.gettime() – x)
[/lua]