java并发再次积累

监视器与锁之间的关系：

1、object monitor 是任何一个对象都有的内置的数据结构，它是用来协调使用当前对象的多个线程之间的执行顺序的（wait/notify），线程会block或者wait 在一个对象的监视器上；锁是 对对象访问的时候，通过对对象加锁，防止并行访问的控制手段；

2、对 对象加锁成功，才能拿到 object monitor （对象监视器），如果加锁失败，会进入对象监视器的entry队列里：（monitor entry list），表现为：  waiting for monitor entry，java.lang.Thread.State: BLOCKED (on object monitor)

3、对 对象枷锁成功，调用wait方法，也会wait 在object monitor上，但是会释放锁，并进入（monitor wait list），当前线程也就WAITING （on object monitor），表现为： java.lang.Thread.State: WAITING (on object monitor) 一旦对象被调用notify的，会重新尝试加锁，成功可以执行，否则进入（monitor entry list）

4、锁和监视器的关系：拿到对象的监视器，肯定是对对象加锁成功的；对对象加锁成功 ，程序可以主动Watiing或者Time_waiting在对象监视器上。

java虚拟机中的一个线程在它到达监视区域开始处的时候请求一个锁.JAVA程序中每一个监视区域都和一个对象引用相关联.   在JVM里，monitor就是实现lock的方式。

java并发之原子性，可见性，有序性

原子性：即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。

在Java中，对基本数据类型的变量的读取和赋值操作是原子性操作，即这些操作是不可被中断的，要么执行，要么不执行。

可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。

于可见性，Java提供了volatile关键字来保证可见性。

volatile保证可见性的原理是在每次 访问变量时都会进行一次刷新，因此每次访问都是主内存中最新的版本。

当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。

而普通的共享变量不能保证可见性，因为普通共享变量被修改之后，什么时候被写入主存是不确定的，当其他线程去读取时，此时内存中可能还是原来的旧值，因此无法保证可见性。

另外，通过synchronized和Lock也能够保证可见性，synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性。

Java内存模型只保证了基本读取和赋值是原子性操作，如果要实现更大范围操作的原子性，可以通过synchronized和Lock来实现。由于synchronized和Lock能够保证任一时刻只有一个线程执行该代码块，那么自然就不存在原子性问题了，从而保证了原子性。

在Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。