多线程-线程同步

何为线程安全：
当多个线程访问某一个类，该类都能表现出一个正确的行为，即为线程安全。
等待通知模型：wait、notify、notifyAll
线程阻塞/唤醒：LockSupport
等待(java语言级)和阻塞(操作系统级)的区别：
等待：需要在同步块或者同步方法中进行调用, 会释放锁, 并进入锁对象的等待队列(等待池), 等到其他线程调用notify方法释放锁后(锁池)重新竞争锁。
Sleep：不释放锁和CPU。
阻塞和挂起(操作系统级)的区别：
挂起：是一种主动行为，恢复也应该要主动完成，不释放CUP。
阻塞：是一种被动行为，释放CPU是在等待事件或资源时任务的表现，你不知道他什么时候被阻塞(pend)，也就不知道他什么时候恢复阻塞。
并发机制底层实现：
synchronized：
synchronized是一种同步锁。使用场景有以下几种：
1. 修饰一个代码块，作用的对象是调用这个代码块的对象；
2. 修饰一个方法，作用的对象是调用这个方法的对象；
3. 修饰一个静态的方法，作用的对象是这个类的所有对象；
4. 修饰一个类，作用范围是其后面括号括起来的部分，作用对象是这个类的所有对象。
底层实现：
JVM基于进入和退出Monitor对象来实现同步的即利用monitorenter和monitorexit指令实现，monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象的锁。synchronized使用的锁存在java的对象头里

注意：
1.多个synchronized方法之间相互调用和父子相互调用时，都是线程安全的
2.遇到异常时会释放锁，要想不释放可以进行catch
3.对一个字符串加锁，不要在代码块里面修改这个字符串，否则锁改变了，其他线程就能进来了，但是如果对对象加锁，对象内的属性变了，不会改变锁的

volatile：
volatile是轻量级的synchronized，它在多处理器开发中保证了共享变量的“可见性”。可见性的意思是当一个线程修改一个共享变量时，另外一个线程能读到这个修改的值。如果volatile变量修饰符使用恰当的话，它比synchronized的使用和执行成本更低，因为它不会引起线程上下文的切换和调度。
底层实现：

instance = new Singleton();     //单例必须用volatile，来禁止指令重排

转变成汇编代码，如下：


0x01a3de1d: movb $0×0,0×1104800(%esi);
0x01a3de24: lock addl $0×0,(%esp);

有volatile变量修饰的共享变量进行写操作的时候会多出第二行汇编代码。Lock前缀的指令在多核处理器下会引发了两件事：
1）将当前处理器缓存行的数据写回到系统内存。
2）这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。
为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存后再进行操作，但操作完不知道何时会写到内存。如果对声明了volatile的变量进行写操作，JVM就会向处理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。但是，就算写回到内存，如果其他处理器缓存的值还是旧的，再执行计算操作就会有问题。所以，在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存中把数据读到处理器缓存里。