volatile
volatile 关键字指示一个字段可以由多个同时执行的线程修改。声明为 volatile 的字段不受编译器优化(假定由单个线程访问)的限制。这样可以确保该字段在任何时间呈现的都是最新的值。
volatile 修饰符通常用于由多个线程访问但不使用 lock 语句对访问进行序列化的字段.
代码
class Program
{
static void Main(string[] args)
{
new Thread(foo1).Start();
new Thread(foo2).Start();
Console.ReadLine();
}
static volatile int n = 0;
static void foo1()
{
for (int i = 0; i < 1000000000; i++) // 10 亿
{
Monitor.Enter((object)n);
n = n + 1;
Monitor.Exit((object)n);
}
Console.WriteLine("foo1() complete n = {0}", n);
}
static void foo2()
{
for (int j = 0; j < 1000000000; j++) // 10 亿
{
Monitor.Enter((object)n);
n = n+ 1;
Monitor.Exit((object)n);
}
Console.WriteLine("foo2() complete n = {0}", n);
}
异常
从不同步的代码块中调用了对象同步方法。
问题的原因
使用 Monitor 锁定对象(即引用类型)而不是值类型。
将值类型变量传递给 Enter 时,它被装箱为对象。如果再次将相同的变量传递给 Enter,则它被装箱为一个单独对象,而且线程不会阻止。形成了 线程竞争
Monitor 本应保护的代码未受保护。
此外,将变量传递给 Exit 时,也创建了另一个单独对象。因为传递给 Exit 的对象和传递给 Enter 的对象不同,Monitor 将引发 SynchronizationLockException
在C#里面有一个lock关键字。
lock(mk)
{
int n=n+1;
}
等价于
monitor.enter(mk)
try
{
int n=n+1;
}
finally
{
monitor.exit();
}
Monitor是.net内建的线程同步机制,Mutex是封装了Windows操作系统的线程同步机制;Monitor速度快,Mutex的速度要比Monitor慢很多;Monitor只能用于同步同一进程内的线程;Mutex则可以用于同步隶属于不同进程的线程。