并发编程-JMM学习笔记

CPU

内存和缓存

内存是cpu共享，缓存是cpu独享。
缓存都是由做小的存储区块-缓冲行（cacheline）组成，缓冲行大小通常为64byte。

三级缓存

为了提升CPU速度，有了三级缓存的概念，L1,L2,L3，L1和L2是内核独享，一个内核只有一个L、L2，L3是多核共享。
存储空间大小排序：内存>L3>L2>L1> 寄存器
运行速度快慢排序：寄存器>L1>L2>L3>内存
时间局部性（Temporal Locality）：如果一个信息项正在被访问，那么在近期它很可能还会被再次访问。
比如循环、递归、方法的反复调用等。
空间局部性（Spatial Locality）：如果一个存储器的位置被引用，那么将来他附近的位置也会被引用。
比如顺序执行的代码、连续创建的两个对象、数组等。

内存管理

操作系统内存管理分为用户空间和内核空间，Inter给CPU分了四个安全级别

• ring0
• ring1
• ring2
• ring3
  ring0级别最高，即为内核态，可以对系统做任何操作，普通用户，比如JVM，都是运行在ring3级别，所以JVM去创建或者销毁线程时，需要从ring3切换到ring0，再从ring0切换到ring3。

线程模型

KLT（java使用的是KLT）

系统内核管理线程(KLT),内核保存线程的状态和上下文信息，线程阻塞不会引起进程阻塞。在多处理器系统上，多线程在多处理器上并行运行。线程的创建、调度和管理由内核完成，效率比ULT要慢，比进程操作快。

ULT

用户线程(ULT)：用户程序实现,不依赖操作系统核心,应用提供创建、同步、调度和管理线程的函数来控制用户线程。不需要用户态/内核态切换，速度快。内核对ULT无感知，线程阻塞则进程（包括它的所有线程）阻塞。

JMM

Java Memory Model Java内存模型，规定了Java程序的各个变量（包括实例字段，静态字段和构成数组对象的元素）的访问方式。和JVM没有关系，只是Java抽象出来的一个概念，规定了数据访问要按照这个规则来。

主内存

主要存储的是Java实例对象，所有线程创建的实例对象都存放在主内存中，不管该实例对象是成员变量还是方法中的本地变量(也称局部变量)，当然也包括了共享的类信息、常量、静态变量。由于是共享数据区域，多条线程对同一个变量进行访问可能会发生线程安全问题。

工作内存

主要存储当前方法的所有本地变量信息(工作内存中存储着主内存中的变量副本拷贝)，每个线程只能访问自己的工作内存，即线程中的本地变量对其它线程是不可见的，就算是两个线程执行的是同一段代码，它们也会各自在自己的工作内存中创建属于当前线程的本地变量，当然也包括了字节码行号指示器、相关Native方法的信息。注意由于工作内存是每个线程的私有数据，线程间无法相互访问工作内存，因此存储在工作内存的数据不存在线程安全问题。根据JVM虚拟机规范主内存与工作内存的数据存储类型以及操作方式，对于一个实例对象中的成员方法而言，如果方法中包含本地变量是基本数据类型（boolean,byte,short,char,int,long,float,double），将直接存储在工作内存的帧栈结构中，但倘若本地变量是引用类型，那么该变量的引用会存储在功能内存的帧栈中，而对象实例将存储在主内存(共享数据区域，堆)中。但对于实例对象的成员变量，不管它是基本数据类型或者包装类型(Integer、Double等)还是引用类型，都会被存储到堆区。至于static变量以及类本身相关信息将会存储在主内存中。需要注意的是，在主内存中的实例对象可以被多线程共享，倘若两个线程同时调用了同一个对象的同一个方法，那么两条线程会将要操作的数据拷贝一份到自己的工作内存中，执行完成操作后才刷新到主内存。

八大原子操作

• 锁定（Lock）：作用于主内存，把一个变量标记为线程独占状态
• 解锁（unLock）：作用于主内存，把变量标记为无锁状态
• 读取（read）：作用于主内存，把主内存的值传输到工作内存中
• 载入（load）：作用于工作内存，把read到工作内存中的值复制副本中
• 使用（use）：作用于工作内存，把工作内存中的值传给执行引擎
• 赋值（assign）：作为于工作内存，把从执行引擎获取到的值赋给工作内存中的变量
• 存储（store）：作用于工作内存，把工作内存的值传递给主内存中
• 写入（write）：作用于工作内存，把第七步的值传送到主内存的变量中

同步规则分析

• 不允许一个线程无原因地（没有发生过任何assign操作）把数据从工作内存同步回主内
  存中
• 一个新的变量只能在主内存中诞生，不允许在工作内存中直接使用一个未被初始化
  （load或者assign）的变量。即就是对一个变量实施use和store操作之前，必须先自行
  assign和load操作。
• 一个变量在同一时刻只允许一条线程对其进行lock操作，但lock操作可以被同一线程重
  复执行多次，多次执行lock后，只有执行相同次数的unlock操作，变量才会被解锁。lock
  和unlock必须成对出现。
• 如果对一个变量执行lock操作，将会清空工作内存中此变量的值，在执行引擎使用这个
  变量之前需要重新执行load或assign操作初始化变量的值。
• 如果一个变量事先没有被lock操作锁定，则不允许对它执行unlock操作；也不允许去
  unlock一个被其他线程锁定的变量。
• 对一个变量执行unlock操作之前，必须先把此变量同步到主内存中（执行store和write
  操作）

原子性&有序性&可见性

原子性

原子性指的是一个操作是不可中断的，即使是在多线程环境下，一个操作一旦开始就不会被其他线程影响。在java中，对基本数据类型的变量的读取和赋值操作是原子性操作有点要注意的是，对于32位系统的来说，long类型数据和double类型数据(对于基本数据类型，byte,short,int,float,boolean,char读写是原子操作)，它们的读写并非原子性的，也就是说如果存在两条线程同时对long类型或者double类型的数据进行读写是存在相互干扰的，因为对于32位虚拟机来说，每次原子读写是32位的，而long和double则是64位的存储单元，这样会导致一个线程在写时，操作完前32位的原子操作后，轮到B线程读取时，恰好只读取到了后32位的数据，这样可能会读取到一个既非原值又不是线程修改值的变量，它可能是“半个变量”的数值，即64位数据被两个线程分成了两次读取。但也不必太担心，因为读取到“半个变量”的情况比较少见，至少在目前的商用的虚拟机中，几乎都把64位的数据的读写操作作为原子操作来执行，因此对于这个问题不必太在意，知道这么回事即可。

有序性

有序性是指对于单线程的执行代码，我们总是认为代码的执行是按顺序依次执行的，这样的理解并没有毛病，毕竟对于单线程而言确实如此，但对于多线程环境，则可能出现乱序现象，因为程序编译成机器码指令后可能会出现指令重排现象，重排后的指令与原指令的顺序未必一致，要明白的是，在Java程序中，倘若在本线程内，所有操作都视为有序行为，如果是多线程环境下，一个线程中观察另外一个线程，所有操作都是无序的，前半句指的是单线程内保证串行语义执行的一致性，后半句则指指令重排现象和工作内存与主内存同步延迟现象。

可见性

可见性指的是当一个线程修改了某个共享变量的值，其他线程是否能够马上得知这个修改的值。对于串行程序来说，可见性是不存在的，
因为我们在任何一个操作中修改了某个变量的值，后续的操作中都能读取这个变量值，并且是修改过的新值。可见性的最小单位是缓冲行，即缓冲行里的一个数据失效后，整个缓冲行都会重新读取。

内存屏障

volatile有两个作用

• 可见性：保证
• 禁止指令重排：禁止指令重排是通过内存屏障来保证的
  – 在每个volatile写操作的前面插入一个StoreStore屏障。
  – 在每个volatile写操作的后面插入一个StoreLoad屏障。
  – 在每个volatile读操作的后面插入一个LoadLoad屏障。
  – 在每个volatile读操作的后面插入一个LoadStore屏障。
• 当第二个操作是volatile写时，不管第一个操作是什么，都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。
• 当第一个操作是volatile读时，不管第二个操作是什么，都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。
• 当第一个操作是volatile写，第二个操作是volatile读时，不能重排序。
  变量加了volatile修饰后，转变成汇编语句时，加了LOCK前缀，LOCK前缀会触发硬件缓存锁定机制（总线锁、缓存一致性协议），

MESI(缓存一致性协议)

底层加锁锁的是缓存行，当缓存行申请锁时，不同线程中的谁获取锁是通过总线裁决出。总线锁的效率比较低，于是出现了MESI
modified（修改）、exclusive（互斥）、share（共享）、invalid（无效）
MESI的粒度也是缓存行，通过状态的变化和嗅探机制保证各缓存行数据一致，所以当变量大小大于缓存行的大小时，MESI会失效。