深入浅出多线程系列之十二：双向信号和竞赛

双向信号和竞赛(Two-Way Signaling and Races)

 

Monitor.Pulse方法的一个重要特性是它是异步执行的，这意味着调用pulse方法并不会阻塞自己等待Monitor.Pulse返回。如果任何一个线程在pulsed 对象上等待，它是不会阻塞的，换句话说，调用Monitor.Pulse对程序不会有什么作用，你可以认为Monitor.Pulse方法被忽略了。

这样Pulse提供了一个单向通信：一个 pulsing线程悄悄的向一个waiting 线程发送信号。

Pulse并不会返回一个值来告诉你waiting线程是否收到信号。

 

但是有时候我们需要知道waiting线程是否受到信号，例如下面的例子：

 

class Race
    {
        static readonly object _locker = new object();
        static bool  _go;

        public static void MainThread()
        {
            new Thread(SaySomething).Start();

            for (int i = 0; i < 5; i++)
            {
                lock (_locker)
                {
                    _go = true;
                    Monitor.PulseAll(_locker); //通知等待的队列
                }
            }
        }
        static void SaySomething()
        {
            for (int i = 0; i < 5; i++)
            {
                lock (_locker)
                {
                    while (!_go) Monitor.Wait(_locker); //如果_go 为false，那么开始阻塞。
                    _go = false;
                    Console.WriteLine("Wassup?");
                }
            }
        }
    }

期待的输出：

Wassup?

Wassup?

Wassup?

Wassup?

Wassup?

 

实际的输出：

Wassup? (线程等待)

 

在SaySomething方法中，for循环执行到while，此时_go为false，所以Monitor.Wait开始等待。在MainThread中，for循环设置_go为true。然后PulseAll.但是PulseAll方法是异步的。

所以在SaySomething线程被唤醒前，mainThread中的for循环可能已经执行完毕。所以SaySomething方法中的第一个Wait线程收到消息词是_go为true，所以往下执行，再次将_go字段设置为false。输出”Wassup？”,但是下次循环由于_go为false，所以需要再次wait.所以实际的输出打印了一个Wassup，然后开始等待。

 

我们需要主线程在每一次迭代中如果worker仍然在执行上一个任务，那么主线程阻塞。等到worker执行完毕，那么主线程恢复执行，然后执行迭代。

 

我们可以增加一个_ready 标志，从而控制主线程在设置_go 标志之前worker线程已经ready了。也就是说主线程在设置_go之前，会等待worker完成任务，然后等待worker将ready设为true，当worker将ready设置为true后，通过pulse来通知主线程。

 

class Race
    {
        static readonly object _locker = new object();
        static bool _ready, _go;

        public static void MainThread()
        {
            new Thread(SaySomething).Start();

            for (int i = 0; i < 5; i++)
            {
                lock (_locker)
                {
                    while (!_ready) Monitor.Wait(_locker); //如果worker的ready为false，则等待worker。
                    _ready = false; //重置标志

                    _go = true;
                    Monitor.PulseAll(_locker);
                }
            }
        }
        static void SaySomething()
        {
            for (int i = 0; i < 5; i++)
            {
                lock (_locker)
                {
                    _ready = true; //将ready设置为true
                    Monitor.PulseAll(_locker); //通知主线程，worker已经ready了，可以执行任务了。

                    while (!_go) Monitor.Wait(_locker);
                    _go = false;
                    Console.WriteLine("Wassup?");
                }
            }
        }
    }

 

 

参考资料：

http://www.albahari.com/threading/

CLR Via C# 3.0