聊一聊volatile关键字的底层原理、synchronized关键字的底层原理

（1）如何使用volatile关键字？它的底层原理是什么？

volatile：保证可见性、有序性，不保证原子性。会插入特定的内存屏障来禁止指令重排序。

底层原理：获取JIT的汇编代码（Java即时编译器，把字节码解释为机器语言发送给处理器），发现volatile多加了lock指令，这个操作相当于一个内存屏障，使得lock指令后的指令不能重排序到内存屏障前的位置。lock前缀的另一层意义是使得本线程工作内存中的volatile变量值立即写入到主内存中，并且使得其它线程共享的该volatile变量无效化，这样其它线程必须重新从主内存中读取变量值。

（2）如何使用synchronized关键字？它的底层原理是什么？

synchronized：保证可见性、有序性、原子性。

可见性：当一个线程对synchronized修饰的代码块或方法进行解锁时，将会把此块或方法内部对共享变量所做的修改刷新到主内存中。其它线程在随后对该synchronized块或方法进行加锁时，会从主内存中读取最新值，从而确保了数据的可见性。

有序性：synchronized确保在任意时刻，最多只有一个线程能够访问被它保护的代码块或方法，从而保证了在并发环境下对共享资源的访问是有序的。

原子性：synchronized通过对临界区的互斥访问，可以保证被保护的代码块或方法作为一个整体被执行，即一次只有一个线程能够执行这部分代码，因此在临界区内对共享变量的操作是原子的。（临界区，只能有一个线程进入并执行的代码区域）

指令重排序：synchronized代码块内部可能发生指令的重排序，虽然有可能进行重排序，后面的指令先执行，但是重排序的最终结果一定是和单线程顺序执行的最终结果相同。

作用：

1、修饰普通方法：作用于当前实例对象，进入同步代码前要获得当前实例对象的锁

2、修饰静态方法：作用于当前类，进入同步代码前要获得当前类的锁，synchronized 关键字加到static静态方法和synchronized(class)代码块上都是是给Class类上锁

3、修饰代码块：指定对象加锁，进入同步代码库前要获得指定对象的锁 

特别注意：

①如果一个线程A调用一个实例对象的非静态 synchronized 方法，而线程B需要调用这个实例对象所属类的静态 synchronized 方法，是允许的，不会发生互斥现象，因为访问静态 synchronized 方法占用的锁是当前类的锁

②尽量不要使用 synchronized(String s) 。由于字符串常量池具有缓冲功能，多个字符串常量可能指向同一个对象，这意味着多个线程可能会竞争同一个锁，容易造成死锁

底层原理：

synchronized同步代码块的实现是通过monitorenter和monitorexit指令，其中monitorenter指令指向同步代码块的开始位置，monitorexit指令则指明同步代码块的结束位置。当执行 monitorenter指令时，线程试图获取锁也就是获取monitor的持有权。（monitor对象存在于每个Java对象的对象头中，synchronized 锁也是通过这种方式获取锁的，所以Java中任意对象可以作为锁）

同步代码块内部包含一个计数器，当计数器为0则可以成功获取，获取后将锁计数器设为1也就是加1。相应的在执行 monitorexit 指令后，将锁计数器设为0也就是减1，表明锁被释放。如果获取对象锁失败，那当前线程就要阻塞等待，直到锁被另外一个线程释放为止。

synchronized 修饰的方法并没有monitorenter、monitorexit指令，取得代之的确实是ACC_SYNCHRONIZED标识，该标识指明了该方法是一个同步方法，JVM通过该 ACC_SYNCHRONIZED标志来辨别一个方法是否声明为同步方法，从而执行相应的同步调用。