线程安全与锁优化有哪些？

最新推荐文章于 2024-05-18 18:41:47 发布

See_NUMB

最新推荐文章于 2024-05-18 18:41:47 发布

阅读量388

点赞数

分类专栏： JVM学习笔记文章标签： java

本文链接：https://blog.csdn.net/See_Csdn_/article/details/120014700

版权

13 篇文章 0 订阅

订阅专栏

13. 线程安全和锁优化

在这里插入图片描述

线程安全的简单定义：多个线程同时访问一个对象的时候，如果不考虑线程的交替执行，也不需要进行额外的同步，或者在调用方进行任何其他的协调操作，调用这个对象的行为都可以是得到正确的结果。

按照线程的安全程度进行排列，可以把java语言操作共享数据分为：不可变、绝对线程安全、相对线程安全、线程兼容、线程对立。

同步：多个线程并发访问共享数据的时候，保证同一时刻只有一个线程使用共享数据。
synchronized生成字节码，同步块前后形成monitorenter和monitorexit字节码指令，并使用reference参数指定锁定的对象。
执行monitorenter指令，获取对象锁，成功获取则锁的计数器加一，执行monitorexit计数器减一，计数器为零时释放锁（体现synchronized的可重入性，可以多次进入同步块）。如果没有获取成功，当前线程阻塞等待
ReentrantLock锁：
- 等待可中断，持有锁的线程长期不释放锁，等待的线程可以放弃等待。
- 公平锁，线程按照申请锁的时间顺序排序来一次获得锁。非公平锁，不排队，任何等待的线程都有机会获得锁。synchronized中的锁是非公平锁，ReentrantLock默认是非公平锁。
- 锁绑定多个条件，ReentrantLock可以同时绑定多个Condition对象。
ReentrantLock不一定比synchronized性能高，java虚拟机对synchronized做了很多优化。

乐观锁的实现，认为不会出现问题，先进行操作，最后再检测修改。
CAS
- Unsafe类中，compareAndSwapInt()、compareAndSet()等方法使用了CAS；
- Atomic原子类保证了原子性，调用incrementAndGet()方法，内使用无限循环CAS；
问题：ABA，初次读取和赋值之间的过程可能被其他线程修改，然而CAS并不能发觉，AtomicStampedReference版本控制保证CAS的正确性。

自旋等待避免了线程切换的开销，自旋时间短效果好，自旋时间过长浪费资源。所以自旋次数默认10次，超过未获取锁，挂起线程。
自适应自旋锁，自旋时间通过前一次在同一个锁上的自旋时间及锁的拥有者的状态决定。如果在同一个锁对象上，自旋等待刚刚成功获取过锁，并且持有锁的线程在进行中，可以允许自旋等待更长时间。

对象头
- 运行时数据（MarkWord）：HashCode、GC分代年龄等；
- 指向方法区对象类型数据的指针，如果是数据还保存数组长度；
  $[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ZH9lrUYH-1630382179205)(.\pictures\MarkWord.png)]$
锁升级
- 进入同步代码块，未锁定状态时，在当前栈帧中建立锁记录（Lock Record），用于存储锁对象目前的MarkWord的拷贝（Displace Mark Word）
- 使用CAS把Mark Word更新为指向Lock Record的指针，更新成功表示该线程获取了改对象的锁，并且Mark Word的锁标志转变为00，轻量级锁状态；
- 更新失败，意味着多条线程竞争锁。先检查对象的Mark Word是否指向当前线程的栈帧，如果是，直接进入，否则说明这个对象已经被其他线程抢占了；
- 两条及以上的线程争同一个锁，轻量级锁膨胀为重量级锁，Mark Word指向重量级锁（互斥量）的指针。
轻量级锁，不存在竞争，使用CAS避免了使用互斥量的开销，但存在锁竞争除了互斥量的开销，还有CAS的开销。
乐观锁的实现