锁
悲观锁、乐观锁
悲观锁:
每次对数据的操作,都会担心数据被修改,所以在每次操作时都需要加锁,只有获取锁的线程才能操作该数据,操作该数据的其他线程就会被阻塞(synchronized锁就是悲观锁的体现)
使用场景:写多读少
乐观锁:
每次对数据的操作,都不会担心数据被修改,当对数据进行读取操作,不需要进行加锁,当更新数据时,需要判断数据是否被修改,未被修改时,则可以直接更新(cas:compare and swap)
使用场景:读多写少
悲观锁的缺点:
悲观锁的使用需要不断加锁、释放锁,会引起线程上下文切换和延时调度,会影响系统性能。
未获取锁的线程会被阻塞住。
CAS:compare and swap
Java中通过循环CAS的方式来实现原子操作
CAS有三个操作,内存值V,旧的预期值A,要修改的值B,当且仅当预期值A和内存值V相同时,将内存值V的内容修改为B,否则什么也不做
两步操作:
1.读取内存V的值为A
2.当A和内存值V相同时,将内存值V的内容修改为B,否则循环第一步
CAS劣势:
1.自旋时间长开销大
2.只能保证一个共享变量的原子操作
3.ABA问题(解决:版本号)
AQS
AQS中的state:
state = 0:锁是空闲状态
state > 0:锁被占用
state < 0:溢出
重入锁
重入锁的实现:
当前线程每获取一次锁就进行+1操作,每次释放锁对state减一,当state=0时才是真正释放锁。
公平性锁和非公平性锁
二者主要在lock方法实现上不同
区别点:
NonFairSync:
1.第一次通过CAS强制抢锁,抢锁失败则再次尝试性抢锁
2.第二次尝试性抢锁,首先判断锁是否空闲(state=0),是则直接CAS来获取锁,获取成功则修改state,且将当前线程计入AQS中,成功返回;在判断锁占用的情况下,占用锁的线程是当前线程,则直接修改state,成功返回;
以上都不满足,失败返回
3.若失败返回,则当前线程未获取到锁,则将线程加入AQS中的队列
FairSync:
1.尝试性获取锁,若锁未被占用,判断当前线程是否满足条件(AQS队列为空或者当前线程处于AQS队列的队头),修改state,将当前线程记录到锁上,成功返回;若锁被占用,且是当前线程占用锁,则修改state,成功返回;
若以上都不满足,则失败返回
2.若未获取到锁,将线程加入AQS队列
volatile和synchronized区别
volatile只能保证可见性,不能保证原子性
synchronized既保证可见性也能保证原子性,但是效率相对要比volatile低得多,synchronized可重入
volatile关键字:
轻量级的线程同步关键字
临界区、临界资源
同步:同一时刻只能有一个线程对资源进行访问
修饰变量
volatile关键字作用:
写过程:
1.将修改后的内容写到cache(工作内存)中,当前变量是volatile修饰的变量则会立即写回主内存
2.其他线程的工作内存检测总线(一致性协议)上变量有被修改,则将工作内存的当前变量置为无效
读过程:
其他线程在读取时,在自己工作内存中先检测该变量是否有效,有效(当前变量其他线程未做修改)时则直接使用工作内存中内容;无效(其他线程对该变量做了修改)时则直接到主内存读取最新的内容到工作内存
volatile特征:
1.内存可见性:对于线程共享变量,一个线程的修改,另一个线程可以直接获取到修改后的值
2.禁止指令的重排序
synchronized关键字:
线程安全,提供同步机制
synchronized的使用:
1.修饰代码块:作用范围就是代码块
public static void SynObj(){
Object o = new Object();
synchronized(o){
//todo
}
}
2.修饰普通方法,作用于对象
public synchronized void comMethod(){
//todo
}
3.修饰静态方法,作用于当前类
public synchronized static void staMethod(){
//todo
}
synchronized修饰代码块,底层提供monitorEnter和monitorExit来达到获取锁和释放锁的过程
synchronized修饰普通方法、静态方法,不是通过monitorEnter和monitorExit机制来处理,而是flag上有ACC_SYNCHRONIZED的标识
底层都是通过获取monitor对象来获取锁,monitor对象是由操作系统提供的mutex锁机制来完成线程获取对象和释放对象
虚拟内存
虚拟内存如何寻址?
CPU生成虚拟地址(VA),随后通过MMU硬件(位于CPU芯片内),进行地址翻译,按照一定的规则去主存中对应的页表项并返回给MMU,MMU据此构造实际的物理地址并去访问主存,主存返回数据给处理器。