system.getSec()

秒をμsec精度で取得します。1秒よりも細かな時間差を計算することができるので、使用例のように250ms毎に処理を行うといったことも可能です。

local psec = system.getSec()
 while(true)do
   while(psec>system.getSec())do end --250ms経つまで待つ
   psec = system.getSec() + 0.25

   --必要な処理を書く

 end