std :: sync :: mpsc :: channel始终以相同顺序

Question

无论我运行该程序多少次，它始终以相同的顺序显示数字：

use std::sync::mpsc::channel;
use std::thread;

fn main() {
    let (tx, rx) = channel();
    for i in 0 ..10 {
        let tx = tx.clone();
        thread::spawn(move || {
            tx.send(i).unwrap();
        }); 
    }

    for _ in 0..10 {
        println!("{}", rx.recv().unwrap());
    }
}

在操场上编码。 输出为：

6
7
8
5
9
4
3
2
1
0

如果我重建项目，顺序将改变。 顺序是在编译时决定的吗？

Answer 1

您希望他们以什么顺序？ 就其价值而言，我在我的计算机上运行了两次相同的二进制文件，结果略有不同。

最终，这取决于您的操作系统决定调度线程的方式。 您创建10个新线程，然后在方便时要求操作系统运行它们。 假设的线程调度程序可能如下所示：

for thread in threads {
    if thread.runnable() {
        thread.run_for_a_time_slice();
    }
}

当threads专卖店在创建它们的顺序线程。 任何操作系统都不会这么幼稚，但这表明了这个想法。

在您的情况下，每个线程都准备好立即运行，并且线程很短，因此可以在时间到了之前一直运行到完成。

此外，可能会对保护通道的锁施加一些公平性。 也许它总是让多个竞争线程中的第一个提交值。 不幸的是，渠道的实施相当复杂，所以我不能立即说是否如此。