可见性、原子性和有序性

可见性

可见性是指一个线程对一个共享变量的修改，另外一个线程可以立即看到。
在单核时代，一个线程对一个共享变量的修改，对于另外一个线程来说可以立即看到，因为只有一个核心，那所有的线程就都共享同样的CPU的缓存。

但是在多核时代，不同的线程可能在不同的CPU核心上工作，不同的CPU核心又都有各自的缓存。如下图所示，对于共享变量，由于不同的线程操作的是各自的缓冲区，如果不加一些额外措施，各自看到的值可能就不一样。

如果如下的程序开启2个线程同时执行，那么count的值可能是1w到2w中的任何值：

static int count = 0;
void func()
{
for(int i=0; i<10000; ++i)
{
++count;
}
}

原子性

我们把一个或者多个操作在CPU能够不被中断的执行，叫做原子性。我们知道CPU被划分成了一个个时间片，时间片即CPU分配给各个程序的时间，每个线程被分配一个时间段，称作它的时间片，即该进程允许运行的时间，使各个程序从表面上看是同时进行的。如果在时间片结束时进程还在运行，则CPU将被剥夺并分配给另一个进程。如果进程在时间片结束前阻塞或结束，则CPU当即进行切换。而不会造成CPU资源浪费。故CPU可能运行到程序的任何指令中发生切换，CPU 能保证的原子操作是 CPU 指令级别的，而不是高级语言的操作符，这是违背我们直觉的地方。
在上一个例子中，++count至少被拆分成了如下的3个指令
1、加载count的值；
2、count加1；
3、更新count的值。
CPU可能在如上的3条指令中发生切换，故即使是如上示例中的程序，在单CPU上如果开启了2个线程，其值也可能是1W到2W中的某个值，而不是2w。

有序性

有序性指的是程序按照代码的先后顺序执行。编译器为了优化性能，有时候会改变程序中语句的先后顺序，例如程序中：“a=6；b=7；”编译器优化后可能变成“b=7；a=6；”。CPU的乱序执行也类似。不过有时候编译器的优化与CPU的乱序执行可能导致意想不到的 Bug。

class Singleton
 { 
static Singleton* getInstance()
{ 
static Singleton* instance  = NULL; 
if (instance == null) 
{ 
lock();
if (instance == null) instance = new Singleton();
unlock();
} 
return instance; 
}
}

当2个线程同时调用getInstance函数的时候，执行到第一个if时，发现是空的，故会去获取锁，第一个获取到锁的线程，执行第二个if发现是空的，就创建单例，然后释放锁，当第二个线程获取到锁的时候，执行第二个if发现instance非空，就直接释放锁，并且返回。看着是挺正常的，但编译器可能会把instance = new Singleton()语句优化成如下的序列：
1、new分配指针；
2、instance 赋值；
3、调用Singleton构造函数。
再如上的序列中，如果第一个线程执行完序列2后，第二个线程正好执行第一个if判断，那么getInstance函数返回的单例可能是未经构造函数初始化的，从而导致问题。