java高并发程序设计学习笔记三内存模型线程安全

1、原子性

原子性是指一个操作是不可中断的。即使是在多个线程一起执行的时候，一个操作一旦开始，就
不会被其它线程干扰。 CPU指令一般认为是原子操作。

i++ 不是原子操作！它至少包含两个操作，一个是读，一个是++计算操作，一个将数据再写回i中。

32位操作系统读long型数据不是原子操作，读32位整形是原子操作。

2、有序性

计算机在执行你的代码时，不一定按你写的顺序执行。

一条指令（汇编指令）的执行是可以分为很多步骤的：

- 取值指令寄存器IF

- 译码和取寄存器操作数ID

- 执行或者有效的地址计算EX

- 存储器访问MEM

- 写回寄存器WB

指令重排：使得流水线运行更加顺畅，编译器优化代码的一种方式；原则：不能破坏串行计算的语义；

3、可见性

指当一个线程修改了某一个共享变量的值，其他线程是否能够立即知道改变。

为了提高性能，不同的优化策略导致的。

- 编译器优化。比如多个CPU，每个CPU都有自己的寄存器、cache；一个线程放在寄存器、另一个放在高速缓存cache中，则不可见；

- 硬件优化（如写吸收、批操作）

- java虚拟机层面的可见性

4、Happend-Before规则（解释指令重排规则）

- 程序顺序原则：一个线程内保证语义的串行性；

- volatile规则：变量的写先发生于读，这保证了volatile变量的可见性；栅栏指令，防止指令重排；

- 锁规则：解锁（unlock）必然发生在随后的加锁（lock）前；

- 传递性：A先于B，B先于C，则A必然先于C；

- 线程的start()方法先于它的每一动作；

- 线程的所有操作先于线程的终结（Thread.join()）；

- 线程的中断（interrupt(））先于被中断线程的代码；

- 对象的构造函数执行结束先于finalize()方法；

5、线程安全的概念

指某个函数、函数库在多线程环境中被调用过，能够正确地处理个个线程的局部变量，使程序能正确完成。

i++在多线程情况下访问的问题。