IO.sleep (ms : UInt32) : BaseIO Unit
IO.sleep (ms : UInt32) : BaseIO Unit

暂停执行指定的毫秒数。

IO.monoNanosNow : BaseIO Nat
IO.monoNanosNow : BaseIO Nat

以纳秒为单位，返回自某个未指定的过去时刻以来单调递增的时间。它与挂钟时间没有关系。

IO.monoMsNow : BaseIO Nat
IO.monoMsNow : BaseIO Nat

以毫秒为单位，返回自某个未指定的过去时刻以来单调递增的时间。它与挂钟时间没有关系。

IO.getNumHeartbeats : BaseIO Nat
IO.getNumHeartbeats : BaseIO Nat

返回当前线程执行期间已经发生的 心跳 数量。心跳 计数是线程执行的“小型”内存分配次数。

心跳 用于实现跨不同硬件更具确定性的超时。

IO.addHeartbeats (count : Nat) : BaseIO Unit
IO.addHeartbeats (count : Nat) :
  BaseIO Unit

按给定数量调整当前线程的 心跳 计数器。这可用于为避免分配的代码增加额外“权重”，也可在从快照恢复后用来调整计数器。

心跳 是实现“确定性”超时的一种方式。心跳 计数器是当前执行线程上进行的“小型”内存分配次数。