Volatile 线程安全的单例模式

 

using System;
public sealed class Singleton
{    
	private Singleton(){}    
	private static volatile Singleton instance;    
	private static object syncRoot = new object();    
	public static Singleton Instance    
	{       
		get        
		{            
			if (instance == null)           
			{               
				lock (syncRoot)                
				{                    
					if (instance == null)
					instance = new Singleton();
				}        
			}   
			return instance;    
		}  
	}
}

关键字: Volatile

MSDN:
volatile 关键字指示一个字段可以由多个同时执行的线程修改。声明为 volatile 的字段不受编译器优化
（假定由单个线程访问）的限制。这样可以确保该字段在任何时间呈现的都是最新的值。
volatile 修饰符通常用于由多个线程访问但不使用 lock 语句对访问进行序列化的字段。

博客园网友:其实Volatile是由于编译器优化所造成的一个Bug而引入的关键字。

int a = 10;

int b = a;

int c = a;

理论上来讲每次使用a的时候都应该从a的地址来读取变量值，但是这存在一个效率问题，
就是每次使用a都要去内存中取变量值，然后再通过系统总线传到CPU处理，这样开销会很
大。所以那些编译器优化者故作聪明，把a读进CPU的cache里，像上面的代码，假如a在赋
值期间没有被改变，就直接从CPU的cache里取a的副本来进行赋值。但是bug也显而易见，
当a在赋给b之后，可能a已经被另一个线程改变而重新写回了内存，但这个线程并不知
道，依旧按照原来的计划从CPU的cache里读a的副本进来赋值给c，结果不幸发生了。于是
编译器的开发者为了补救这一bug，提供了一个Volatile让开发人员为他们的过失埋单，
或者说提供给开发人员了一个选择效率的权利。当变量加上了Volatile时，编译器就老老
实实的每次都从内存中读取这个变量值，否则就还按照优化的方案从cache里读。