6-24小记

第一讲 - 并发编程bug源头

可见性问题：

       多颗CPU，多个线程操作一个共享变量，因为每颗CPU都拥有缓存缘故，其操作过程可能是相互独立且不可见的；

原子性问题：

       高级语言中的一条语句并不等价于CPU的一条命令，并不是所谓的原子操作，而CPU能保证的原子操作是CPU指令级别；

      举个栗子：

      count += 1 ；在高级语言中，它就是一条语句，但是它却对应CPU中三条指令（将count=0加载到寄存器，count+1=1，

      count=1写入内存)；而线程切换可以发生在任意一条CPU指令执行完成后，所以当多线程去执行count+=1这个操作时，

      可能最终得不到我们期望的值；

有序性问题：

      一般情况下，程序都是按照代码执行的先后顺序去执行；但是世事无绝对，编译器为了优化性能，有时候会改变程序

     中语句的执行的先后顺序； 举一个栗子：

     new一个对象，有以下几步操作 1、分配一块内存 2、在内存上初始化对象 3、将对象的地址赋值给变量；

     正常情况下，我们认为的步骤应该为123，但经过编译器优化过后步骤却是 132；

     经典案例：双重检查创建单例对象

     

    解析：

   1、线程A先执行getInstance()，当执行到instance = new Singleton()，其实这一步new操作是分三步走，

       上面已经说过，假如进行到new操作的第二步，也就是将对象的地址赋值给变量之后，发生了线程切

       换，切换到B线程；

 2、B线程执行getInstance()，判断instance == null，此时的instance变量已经不等于null，已经被线程A

       赋值，所以线程B直接返回instance；

3、 此时 B 线程返回的instance是没有被初始化的，如果此时访问instance的成员变量就可能触发空指针

       异常；