第一讲 - 并发编程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;

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

     6-24小记

    解析:

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

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

       换,切换到B线程;

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

       赋值,所以线程B直接返回instance;

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

       异常;

 



    

 

 

  

 

    

    

    

 

 


 

     

 

 

 

 

相关文章: