[英]Race condition between Monitor.Pulse and Monitor.Wait?
这是一个说明问题的最小代码:
StringBuilder input = new StringBuilder();
void ToUpper()
{
lock (input)
{
while (true)
{
Monitor.Wait(input);
Console.WriteLine(input.ToString().ToUpper());
}
}
}
public void Run()
{
new Thread(ToUpper) { IsBackground = true }.Start();
// "Avoid" the initial race
Thread.Sleep(100);
while (true)
{
lock (input)
{
input.Clear();
input.Append(Console.ReadLine());
Monitor.Pulse(input);
}
// Thread.Sleep(1);
}
}
忽略众所周知的初始竞争条件,我对Pulse和Wait的行为感到惊讶。
这是我的预期:
Wait
=>它被推入监视器的等待队列 Pulse
=>“ToUpper”线程从等待队列“移动”到就绪队列以立即获取锁 lock
语句范围时,主线程退出监视器 但是两次“ToUpper”线程中的一次不处理输入,而是主线程立即执行其处理 。
以下是我的假设:
Pulse
不会立即“移动”“ToUpper”线程,因此就绪队列保持为空 Pulse
第二次没有任何东西并释放锁定 为了检查这个假设,我强迫主线程不那么急切,让其他线程工作,通过添加Thread.Sleep(1)
=>在这种情况下,所有都是“按预期工作”。
所以这一切都归结为Pulse
的行为,它可能不会立即将线程从等待队列推送到就绪队列。
问题真的来自这场可能的比赛还是我还缺少另一种微妙之处?
你关于添加Thread.Sleep(1)
的评论真的是答案。 Pulse
方法不保证等待对象的任何东西 - 它只是被释放到就绪队列 ,它作为一个普通的线程继续进行。 关于Pulse
的调用没有任何痕迹。 因此,在调用Pulse
,应用程序就像普通的双线程应用程序一样,并且就绪队列中有两个线程 - ToUpper
线程和 Run
线程。 因此,如果没有Thread.Sleep(1)
它可以发生(没有它,我猜也可能,更不可能) Run
线程首先获得锁。
我提供的第二个链接的另一个重要评论:
Monitor.Pulse的一个重要特性是它以异步方式执行,这意味着它本身不会以任何方式阻塞或暂停。
对于这种情况, AutoResetEvent
类似乎更合适。 此外,在第二个链接中,您可以找到使用Wait
和Pulse
的生产者 - 消费者方案的示例。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.