Java高并发-java内存模型和线程安全

java内存模型 三个特性

原子性

有序性

可见性

先行发生原则 Happen-Before

线程安全的概念

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

i++是原子操作吗？不是，包含两个操作。第一读i，第二加一操作

有序性

在并发时，程序的执行可能就会出现乱序

一条指令的执行是可以分为很多步骤的

-取指IF

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

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

-存储器访问MEM

-写回WB

产生气泡，程序变慢

指令重排可以使流水线更加顺畅

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

- 编译器优化

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

Happen-Before规则

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

volatile规则：volatile变量的写，先发生于读，这保证了volatile变量的可见性

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

传递性：A先于B，B先于C，那么A必然先于C

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

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

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

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

线程安全的概念

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

线程安全的i++ 阻塞的方式 每次放一个线程进来 i++一个一个的进来

public class AccountingSync implements Runnable{

         static AccountingSync instance = new AccountingSync();

         static int i = 0;

         @Override

         public void run(){

                   for (int j = 0; j < 10000000; j++) {

                            synchronized(instance){

                                     i++;

                            }

                   }

         }

}