作用
- 线程互斥访问
- 共享变量修改及时可见
- 解决重排序
用法
原理
代码块同步
- 线程已经拥有monitor,则再次进入由monitor保护的代码块时,直接进入继续执行,进入数+1即可,退出代码块是也不释放锁,进入数-1即可,直到退出所有进入的代码块(进入数=0)时才释放monitor
- monitor&对象 一对一,monitor与对象状态无内在关联,获得某对象对应的monitor不能阻止其他线程访问该对象
方法同步
方法+ACC_SYNCHRONIZED标识符
JVM检查该标识符是否被设置,如果设置,则先获取monitor再执行方法体,执行完毕释放monitor。无需字节码。
优化
监视器锁monitor(重量级锁)依赖于底层操作系统的Mutex Lock实现
系统实现线程切换需要在用户态和核心态之间转换,成本高时间长效率低
无锁状态->偏向锁状态->轻量级锁状态->重量级锁状态
增加了锁升级,在竞争激烈时,效率降低
轻量级锁CAS失败,自旋获取锁,cpu消耗大。
设置自旋次数,超出次数即阻塞,若自旋成功则下次自旋次数增加,失败则下次自旋次数减少
多个连续加锁加锁合并为一次,减少内核态和用户态的切换
StringBuffer str;
str.append("xxx");
str.append("xxx");
str.append("xxx");
...
用逃逸技术判断一段代码中,堆上的数据不会逃逸出当前线程,则认为代码线程安全,不必加锁
main(){
for(int i = 0; i <1000; i++){
test.append("a", "b");
}
}
//局部变量,不会逃逸,无需加锁
public static void append(String a, String b){
StringBuffer str;
str.append(a).append(b);
}