MVar公平性保证?

我不知道确切的保证是什么,但在猫效应中,公平经常被提到 调度程序 。这意味着您可能无法获得您在首次收购时提到的确切订单 MVar ,但任何人都不应该挨饿,因为轮到你后,你会放弃纤维,在获得纤维之前必须重新安排时间 MVar 再一次。

换句话说,如果你需要精确的排序或精确的循环,你必须自己实现,但如果你的要求真的是“每个符合条件的光纤都能获得大致相同的运行时间而不会挨饿”,那么你几乎可以免费获得。