C# 多线程的坑 之 代码变序

英文好的，可跳过，直接打开底部的“参考“链接。

代码变序--reordering of memory operations

大概4年前，阅读了这篇文章后http://www.albahari.com/threading/，我就自我满足，多线程编程不过就是用那些工具而已。

今天，读了一篇文章后，http://msdn.microsoft.com/en-us/magazine/jj863136.aspx，才发现C#代码是可以变序的(上面的文章也提到了，忘得一干二净)。

举例，你写出如下的代码

1. void Init() {
2.   _data = 42;
3.   _initialized = true;
4. }

JIL运行时的代码却可以像这样(不是IL代码哦，IL编译出代码与源代码是一致的)

1. void Init() {
2.   _initialized = true;
3.   _data = 42;
4. }

这个坑爹的JIL优化，如果不注意，可能就不会抓住bug所在。底部有我写的再现方法。先别运行程序，试试猜猜结果有几种可能。

总结：浮躁+记忆力差是很致命的，必须要找适合自己的工作方式。深入理论上理解+上手验证，这样才算消化，也不容易忘。

不重复造轮子，更不能重复学习。

参考：

http://msdn.microsoft.com/en-us/magazine/jj863136.aspx

http://msdn.microsoft.com/en-us/magazine/jj883956.aspx

    class Program
    {
        static void Main(string[] args)
        {
            DataInit di = new DataInit();
            new Thread(() => { di.Init(); }) { IsBackground = true }.Start();
            new Thread(() => { di.Print(); }) { IsBackground = true }.Start();

            Console.WriteLine("Running... Press enter to quit");
            Console.ReadLine();
        }
    }


    public class DataInit
    {
        private int _data = 0;
        private bool _initialized = false;
        //准备些无用的field
            private char _c = '0';
            private int _data1 = 0;
            private int _data2 = 0;
            private int _data3 = 0;
            private int _data4 = 0;

        public void Init()
        {
            _data = 42;            // Write 1
            _initialized = true;   // Write 2
            //下面的field赋值是用来触发JIL 优化的，如何触发的原理，我不知道：（。
            ///*try屏蔽下面的代码，结果很可能就是42了
                _c = '0';
                _data1 = 0;
                _data = 0;
                _data2 = 0;
                _data3 = 0;
                _data4 = 0;
        }
        public void Print()
        {
            Console.WriteLine(_data);   
            Console.WriteLine(_initialized); 

            if (_initialized)
            {
                Console.WriteLine(_data); //should 42，有时候确是0
            }
            else
            {
                Console.WriteLine("Not initialized");
            }
        }
    }