当没有锁定和除父线程外没有并发数据访问时，内存屏障是否确保跨线程的数据一致性？

下面是我的场景:

• 主线程开始处理一组全局数据，然后
• 此主线程启动几个子线程并等待它们完成
• 每个子线程在全局数据集的不同子集上工作（要么对象实例完全不同，要么线程在对象内存的不同最终成员/部分上工作）==>； 每个内存地址最多由一个子线程读/写
• 主线程使用子线程修改的全局数据集继续工作

我希望确保:

• 我。 每个子线程看到一个新鲜/清洁状态（也就是说，在启动子线程之前执行的（来自主线程的）所有写操作都被子线程看到）
• II。 在恢复时，主线程会看到新鲜/清洁状态（也就是说，主线程会看到子线程执行的（来自子线程的）所有写操作）

下面是我编写代码的计划:

    public class State
    {
        public string Data1 { get; set; }
        public string Data2 { get; set; }

        public int[] SomeArray { get; set; }
    }

    static void Main(string[] args)
    {
        var state = new State();

        state.Data1 = "Initial Data1 From MainThread";
        state.Data2 = "Initial Data2 From MainThread";
        state.SomeArray = new []{ 0, -1, -2 };
        Thread.MemoryBarrier();//TMB 0.1 Force storing all written value in order to be visible for the child threads

        var thread1 = new Thread(o =>
        {
            //Assert.AreEqual("Initial Data1 From MainThread", input.Data1);
            Thread.MemoryBarrier();//TMB 1.1 Force read value pushed from mainThread
            var input = (State)o;

            Assert.AreEqual("Initial Data1 From MainThread", input.Data1);
            input.Data1 = "Modified by Thread 1";
            input.SomeArray[1] = 11;

            Thread.MemoryBarrier();//TMB 1.2 Force storing all written value in order to be visible for the Main threads
        });
        var thread2 = new Thread(o =>
        {
            //Assert.AreEqual("Initial Data2 From MainThread", input.Data2);
            Thread.MemoryBarrier();//1.1 Force read value pushed from mainThread
            var input = (State)o;

            Assert.AreEqual("Initial Data2 From MainThread", input.Data2);
            input.Data2 = "Modified by Thread 2";
            input.SomeArray[2] = 22;

            Thread.MemoryBarrier();//TMB 1.2 Force storing all written value in order to be visible for the Main threads
        });


        thread1.Start(state);
        thread2.Start(state);

        thread1.Join();
        thread2.Join();

        //Assert.AreEqual("Modified by Thread 1", state.Data1);
        //Assert.AreEqual("Modified by Thread 2", state.Data2);

        Thread.MemoryBarrier();//TMB 0.1 Force retrieving all written value from the child threads

        Assert.AreEqual("Modified by Thread 1", state.Data1);
        Assert.AreEqual("Modified by Thread 2", state.Data2);
        Assert.AreEqual(0, state.SomeArray[0]);
        Assert.AreEqual(11, state.SomeArray[1]);
        Assert.AreEqual(22, state.SomeArray[2]);

        Console.WriteLine("Done");
        Console.ReadLine();
    }

这些问题是:

1. 上面代码上的断言是否始终为真？
2. 上面代码上的注释断言是否为false？
3. 这6条线程。记忆障碍是否确保点i。 和二。 上面？
4. TMB上的评论是否相关？
5. 它是否依赖于体系结构？ （我正在使用两个x86/x64 CPU）