violate

Violate
内存模型相关概念
Java内存模型是一种抽象的概念，并不是真实存在的。JVM运行程序的实体是线程，每一个线程都有自己私有的工作内存。Java内存模型中规定了所有变量都存储在主内存中，主内存是一块共享内存区域，所有线程都可以访问。但是线程对变量的读取赋值等操作必须在自己的工作内存中进行，在操作之前先把变量从主内存中复制到自己的工作内存中，然后对变量进行操作，操作完成后再把变量写回主内存。线程不能直接操作主内存中的变量，线程的工作内存中存放的是主内存中变量的副本。
（2）并发编程的三大特性
一．原子性
举例
i=2，线程先把i=2写入工作内存中，然后再把它写入主内存，就此赋值语句可以说是具有原子性。
i=j，线程从主内存中读取j的值，然后把它存入当前线程的工作内存中；线程把工作内存中的i改为j的值，然后把i的值写入主内存中。虽然这两个步骤都是原子性的操作，但是合在一起就不是原子性的操作。
i++，同上，线程先从主内存中读取i的值，然后存入工作内存中，最后在工作内存中进行++操作，完成后将得到的值放入主内存中。所以也不是原子性。
二．可见性
可见性就是指当一个线程进行共享数值更新时，另外的与它一起共享此值的线程可以马上得到这个更新的值。但必须确保得到的值是从共享内存中得到。所以需要使用到几个东西，Volatile关键字，synchronized关键字，Lock相关的工具类
当一个变量被volatile关键字修饰时，其他线程对该变量进行了修改后，会导致当前线程在工作内存中的变量副本失效，必须从主内存中再次获取，当前线程修改工作内存中的变量后，同时也会立刻将其修改刷新到主内存中。
synchronized关键字能够保证同一时刻只有一个线程获得锁，然后执行同步方法或者代码块，并且确保在锁释放之前，会把变量的修改刷新到主内存中。
Lock相关的工具类的lock方法能够保证同一时刻只有一个线程获得锁，然后执行同步代码块，并且确保执行Lock相关的工具类的unlock方法在之前，会把变量的修改刷新到主内存中。
三．有序性
有序性指的是：程序执行的顺序按照代码的先后顺序执行
程序次序原则：一段代码在单线程中执行的结果是有序的。
锁定原则：一个锁处于被锁定状态，那么必须先执行unlock操作后面才能进行lock操作。
volatile变量原则：同时对volatile变量进行读写操作，写操作一定先于读操作。
线程启动原则：Thread对象的start方法先于此线程的每一个动作。
线程终结原则：线程中的所有操作都先于对此线程的终止检测。
线程中断原则：对线程interrupt方法的调用先于被中断线程的代码检测到中断事件的发生。
对象终结原则：一个对象的初始化完成先于它的finalize方法的开始。
传递原则：操作A先于操作B，操作B先于操作C，那么操作A一定先于操作C。
（3）Java内存模型
Java内存模型也就是共享内存模型JMM，JMM决定一个线程对共享变量的写入何时对另一个线程可见。JMM定义了线程和主内存之间的抽象关系：线程之间的共享变量存储在主内存中，每个线程都有一个私有的本地内存，本地内存中存储了该线程以读/写共享变量的副本。如图，两个线程分别将本地内存的副本提供给JMM。

然后A到B的通信实质

首先，定义AB与主内存的值为0，当A要更新时，会将值变为1，当B要得到A的值时，A首先会将自己更新后的值传给main，所以main的值也会变成1，然后由main传给B。
（4）volatile关键字的原理和实现机制
内存屏障来实现机制，1.保证可见性、不保证原子性
2.禁止指令重排序 
使用volatile关键字会强制将修改的值立即写入主存；
第二：使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量的缓存行无效
第三：由于线程1的工作内存中缓存变量的缓存行无效，所以线程1再次读取变量的值时会去主存读取。
那么在线程2修改值时（当然这里包括2个操作，修改线程2工作内存中的值，然后将修改后的值写入内存），会使得线程1的工作内存中缓存变量的缓存行无效，然后线程1读取时，发现自己的缓存行无效，它会等待缓存行对应的主存地址被更新之后，然后去对应的主存读取最新的值。
（5）使用volatile关键字的场景
对变量的写操作不依赖当前值；
该变量没有包含在具有其他变量的不变式中