在 D 中跨线程共享屏障

Question

我花了很长时间试图让 D 中的屏障同步正常工作。我目前没有收到任何编译器错误，但是每次到达障碍时我都会遇到分段错误。这基本上是我所拥有的：

import std.stdio;
import std.conv;
import std.concurrency;
import core.thread;
import core.sync.barrier;

//create barrier
Barrier barrier;

void the_thread()
{
    barrier.wait(); //I get a segmentation fault here
}

void main(string[] args)
{
    int threads = to!int(args[1]); //number of threads

    //init barrier
    barrier = new Barrier(threads);

    //launch threads
    foreach(i; 0 .. threads)
    {
       spawn(&the_thread);
    }
    thread_joinAll();
}

我尝试在主函数中完全定义屏障，但 dmd 抱怨：

static assert  "Aliases to mutable thread-local data not allowed."

我也尝试将它作为共享变量传递，我得到了这个：

non-shared method core.sync.barrier.Barrier.wait is not callable using a shared object

Answer 1

全局变量在D中默认是线程局部的。当你在主线程中设置barrier时，你只在主线程中设置；对于其他线程，barrier 将是 null。

您可以将barrier 标记为__gshared 以使其成为线程全局的，尽管这有点小技巧：

__gshared Barrier barrier;

正如您所发现的，线程生成函数只允许传递标记为shared 的数据。但是，由于Barrier.wait 函数未标记为shared，因此您不能使用shared(Barrier) 对象调用它，使其几乎无用。作为另一个 hack，您可以在调用 wait 之前先将其强制转换为非共享：

(cast()barrier).wait();