Lock
作用:显式加锁
原理
(1)通过同步器AQS(AbstractQueuedSynchronized类)来实现的,AQS根本上是通过一个双向队列来实现的
(2)线程构造成一个节点,一个线程先尝试获得锁,如果获取锁失败,就将该线程加到队列尾部
(3)非公平锁的lock方法,调用的sync(NonfairSync和fairSync的父类)的lock方法
public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}
// ReentrantLock的lock方法
public void lock() {
sync.lock();
}
ReentrantLock
可重入锁是Lock接口的一个重要实现类。所谓可重入锁即线程在执行某个方法时已经持有了这个锁,那么线程在执行另一个方法时也持有该锁。首先我们来看看加锁方法lock的实现
public void lock() {
sync.lock();
}
sync是ReentrantLock中静态内部接口Sync的实例对象。在ReentrantLock中提供了两种Sync的具体实现,FairSync与NonfairSync。故名思意,两种不同的Sync分别用于公平锁和非公平锁。
Synchronized
原理
(1)synchronized关键字是通过字节码指令来实现的
(2)synchronized关键字编译后会在同步块前后形成monitorenter和monitorexit两个字节码指令
(3)执行monitorenter指令时需要先获得对象的锁(每个对象有一个监视器锁monitor),如果这个对象没被锁或者当前线程已经获得此锁(也就是重入锁),那么锁的计数器+1。如果获取失败,那么当前线程阻塞,直到锁被对另一个线程释放
(4)执行monitorexit指令时,计数器减一,当为0的时候锁释放
volatile
作用:保证变量对所有的线程的可见性,当一个线程修改了这个变量的值,其他线程可以立即知道这个新值(之所以有可见性的问题,是因为java的内存模型)
原理:
(1)所有变量都存在主内存,每条线程有自己的工作内存,工作内存保存了被该线程使用的变量的主内存副本拷贝
(2)线程对变量的所有操作都必须在工作内存中进行,不能直接读写主内存的变量,也就是必须先通过工作内存
(3)一个线程不能访问另一个线程的工作内存
(4)volatile保证了变量更新的时候能够立即同步到主内存,使用变量的时候能立即从主内存刷新到工作内存,这样就保证了变量的可见性
(5)实际上是通过内存屏障来实现的。语义上,内存屏障之前的所有写操作都要写入内存;内存屏障之后的读操作都可以获得同步屏障之前的写操作的结果。