如何将相同的数据传递给不同的线程而不进行复制？

Question

结构S实际上可能是一些大数据，例如大Vec 。 如果我只有一个线程，并且在创建线程后不使用数据，则可以将数据移至该线程，但是如果有两个线程（或在主线程中使用相同的数据），则不可能。

struct S {
    i : i32,
}

fn thr(s : &S)
{
}

fn main()
{
    let s1 = S { i:1 };
    thr(&s1);
    let t1 = std::thread::spawn(|| thr(&s1)); // does not work
    let t2 = std::thread::spawn(|| thr(&s1)); // does not work
    t1.join();
    t2.join();
}

Answer 1

我强烈建议阅读Rust编程语言 ，特别是有关并发性的章节 。 在其中，您将了解Arc ：

use std::sync::Arc;

struct S {
    i: i32,
}

fn thr(s: &S) {}

fn main() {
    let s1 = Arc::new(S { i: 1 });
    thr(&s1);

    let s2 = s1.clone();
    let t2 = std::thread::spawn(move || thr(&s2));

    let s3 = s1.clone();
    let t3 = std::thread::spawn(move || thr(&s3));

    t2.join();
    t3.join();
}

值得注意的是，克隆Arc时，它们仅增加引用计数，而不复制包含的数据。

Answer 2

如果这是C或C ++，则分配的内存只有在显式释放后才会消失，而且，除非将对象声明为threadlocal，否则应用程序中的所有线程都可以引用它们。

在您编写的代码中，您的结构似乎在堆栈上而不是堆上，因此一旦超出范围，对象指针将无效。

在没有ARC的情况下，解决此问题的残酷方法是简单地分配对象并将已分配的指针传递给线程。 一些线程需要成为最终删除它的线程（这是ARC是个好主意）。