14

Unix.sleep函数可以暂停程序整秒,但你怎么能暂停它不到一秒呢?

4

3 回答 3

14

经典的 Unix 解决方案是使用不带文件描述符的 select():

let minisleep (sec: float) =
    ignore (Unix.select [] [] [] sec)
于 2012-05-28T19:39:17.140 回答
12

Thread.delay函数将线程暂停给定的秒数,但它需要一个浮点数,允许您暂停线程不到一秒。

于 2012-05-28T19:31:52.873 回答
12

来自Unix模块

val sleepf : float -> unit

在给定的秒数内停止执行。与睡眠类似,但支持几分之一秒。

于 2016-06-18T03:47:48.810 回答