如果第二个线程等待第一个线程的终止，是否需要内存屏障？

Question

假设线程 Alpha 正在写入变量 A 而没有锁定。第二个线程 Beta 正在等待 Alpha 终止，然后依次读取变量 A。

难道A的内容就不会新鲜了？内存写入是否可以延迟到线程生命周期之外？等待线程 Alpha 终止的标准机制不会隐式地充当内存屏障吗？

更新1

是否有任何不包括内存屏障的等待示例？

Answer 1

几乎可以肯定（用于等待线程终止的 API 需要使用内存屏障来实现其自身目的），但我认为要获得明确的答案，您需要讨论正在使用的特定线程 API。

例如，posix 对 pthread_join() 做出这样的保证：https://stackoverflow.com/a/ 3208140/12711

并且 Win32 文档表明等待对象（例如线程句柄）的同步 API 会施加内存屏障：http://msdn.microsoft.com/en-us/library/ms686355.aspx< /a>

Answer 2

这取决于您的线程库提供的保证。特别是，pthread_join()定义为内存屏障 。在大多数情况下，线程连接会涉及内存屏障，但情况并非总是如此，这并非不可想象。

Answer 3

（假设您指的是 C#。）

如果您的意思是字面上的 Thread，那么您的答案取决于 Thread.Join 是否隐式生成内存屏障（根据已经给出的答案，可能是这样）。

但是，如果您的意思是 Alpha 和 Beta 是在后台线程（可能来自线程池）上执行的用户定义任务，并且“等待”指的是用户-如果两个任务之间的级别同步，那么数据很可能不是新鲜的，除非引入信令构造或显式屏障。

这是一个简单的例子：

public class Program
{
    static string A = "foo";
    static volatile bool isAlphaReady = false;

    static void Alpha()
    {
        A = "bar";
        isAlphaReady = true;
    }

    static void Beta()
    {
        while (!isAlphaReady)
            ;   // Wait by polling
        Console.WriteLine(A);
    }

    static void Main(string[] args)
    {
        new Thread(Alpha).Start();
        new Thread(Beta).Start();
        Console.ReadKey();
    }
}

虽然（直观上）Beta 总是输出 "bar" 作为 A 的值，但这不是在具有弱同步行为的多处理器系统（例如 Itanium）上得到保证，在这种情况下，可能会输出 "foo"。