java并发编程synchronized、volatile关键字及ReentrantLock类总结

1、java为解决并发问题引入的关键字synchronized, volatile ，怎么用？

synchronized 修饰的方法 或者 代码块（保证可见性和排他性）；

synchronized修饰静态方法时（或方法时）同步的是这个对象类级别的；synchronized修饰方法时，同步的是对象实例级别的

volatile修饰变量（仅保证可见性）；

每个线程运行时都有一个线程栈，线程栈保存了线程运行时候变量值信息。当线程访问某一个对象时候值的时候，首先通过对象的引用找到对应在堆内存的变量的值，然后把堆内存变量的具体值load到线程本地内存中，建立一个变量副本，之后线程就不再和对象在堆内存变量值有任何关系，而是直接修改副本变量的值，在修改完之后的某一个时刻（线程退出之前），自动把线程变量副本的值回写到对象在堆中变量。这样在堆中的对象的值就产生变化了。

访问同一个变量时，synchronized用于确保写线程更新变量后，读线程再访问该 变量时可以读取到该变量最新的值（串行）。

编译器在将Java代码编译成字节码的时候可能会对代码进行 重排序，而CPU在执行机器指令的时候也可能会对其指令进行重排序，只要重排序不会破坏程序的语义

在单一线程中，只要重排序不会影响到程序的执行结果，那么就不能保证其中的操作一定按照程序写定的顺序执行，即使重排序可能会对其它线程产生明显的影响。

synchronized其实就像加了锁一样，只能等待这个线程操作完变量，并且把变量值同步到堆（主内存后），释放锁；然后其他线程才可以读写。但volatile不保证排它性，一个线程在操作时，另一个线程也可以读写。

这实际上是JSR133定义的其中一条happen-before规则。JSR133给Java内存模型定义以下一组happen-before规则，

1. 单线程规则：同一个线程中的每个操作都happens-before于出现在其后的任何一个操作。
2. 对一个监视器的解锁操作happens-before于每一个后续对同一个监视器的加锁操作。
3. 对volatile字段的写入操作happens-before于每一个后续的对同一个volatile字段的读操作。
4. Thread.start()的调用操作会happens-before于启动线程里面的操作。
5. 一个线程中的所有操作都happens-before于其他线程成功返回在该线程上的join()调用后的所有操作。
6. 一个对象构造函数的结束操作happens-before与该对象的finalizer的开始操作。
7. 传递性规则：如果A操作happens-before于B操作，而B操作happens-before与C操作，那么A动作happens-before于C操作。

实际上这组happens-before规则定义了操作之间的内存可见性，如果A操作happens-before B操作，那么A操作的执行结果（比如对变量的写入）必定在执行B操作时可见。

2、Java中存在两种锁机制：synchronized和Lock的区别？？

相同点：

ReentrantLock（可重入互斥锁），它具有与使用 synchronized方法和语句所访问的隐式监视器锁相同的一些基本行为和语义，但功能更强大。

不同点：

a、ReentrantLock多了锁投票，定时锁等候，中断锁等候；synchronized锁不能被打断；

b、synchronized是在JVM层面上实现的，不但可以通过一些监控工具监控synchronized的锁定，而且在代码执行时出现异常，JVM会自动释放锁定；但是使用Lock则不行，lock是通过代码实现的，要保证锁定一定会被释放，就必须将unLock()放到finally{}中；

c、在资源竞争不是很激烈的情况下，Synchronized的性能要优于ReetrantLock，但是在资源竞争很激烈的情况下，Synchronized的性能会下降几十倍；但是ReetrantLock的性能能维持常态；

d、Atomic，不激烈情况下，性能比synchronized略逊，而激烈的时候，也能维持常态。激烈的时候，Atomic的性能会优于ReentrantLock一倍左右。但是其有一个缺点，就是只能同步一个值，一段代码中只能出现一个Atomic的变量，多于一个同步无效。因为他不能在多个Atomic之间同步。

     线程A和B都要获取对象O的锁定，假设A获取了对象O锁，B将等待A释放对O的锁定，

     如果使用 synchronized ，如果A不释放，B将一直等下去，不能被中断

    如果 使用ReentrantLock，如果A不释放，可以使B在等待了足够长的时间以后，中断等待，而干别的事情

    ReentrantLock获取锁定与三种方式：

    a)  lock(), 如果获取了锁立即返回，如果别的线程持有锁，当前线程则一直处于休眠状态，直到获取锁

    b) tryLock(), 如果获取了锁立即返回true，如果别的线程正持有锁，立即返回false；

    c)tryLock(long timeout,TimeUnit unit)，   如果获取了锁定立即返回true，如果别的线程正持有锁，会等待参数给定的时间，在等待的过程中，如果获取了锁定，就返回true，如果等待超时，返回false；

    d) lockInterruptibly:如果获取了锁定立即返回，如果没有获取锁定，当前线程处于休眠状态，直到或者锁定，或者当前线程被别的线程中断。