可见性
可见性是指一个线程对一个共享变量的修改,另外一个线程可以立即看到。
在单核时代,一个线程对一个共享变量的修改,对于另外一个线程来说可以立即看到,因为只有一个核心,那所有的线程就都共享同样的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函数返回的单例可能是未经构造函数初始化的,从而导致问题。