互斥锁与CAS的开销对比_cas开销-CSDN博客

本文链接：https://blog.csdn.net/weixin_48460141/article/details/123944815

1. 线程同步方法简介

（1）阻塞同步
- 即采用临界区、互斥量和信号量等互斥资源来保证线程安全，多个线程争夺互斥资源，持有互斥资源的线程得以执行，其他线程进入阻塞状态。
- 在java中该手段是通过synchronized实现的，synchronized编译后会生成monitorenter和monitorexit这两个字节码指令，这两个指令依托于引用类型对象内置的monitor对象，因此synchronized必须指定引用类型变量；需要注意的是，当synchronized修饰于实例方法和静态方法时，不需要显式声明作为锁的对象，特点如下：
- 【1】当synchronized修饰实例方法时，锁住的就是调用该方法的实例对象，未持锁线程使用该对象去调用其他同步了的代码块会被阻塞
- 【2】当synchronized修饰的是静态方法时，锁住的是该类的class对象，未持锁线程调用其他被synchronized修饰的静态方法时会阻塞，但使用实例对象调用被synchronized修饰的实例方法时则受class对象影响
（2）非阻塞同步
- 非阻塞同步也即乐观锁，对于需要同步的代码不进行阻塞，而是照常操作，如果操作过程中没有其他线程争用资源，则操作成功；反之，即发生了冲突，则进行补偿措施，通常采用的补偿措施是再次尝试操作，直至成功
- 非阻塞同步是在硬件指令集发展的基础上实现的，现代指令集新增了可以保证原子性的机器指令cas，该指令包含三个操作数，即保存在线程工作内存的预期值A，要更新的新值B，以及主内存当中的实际值C；执行更新操作时将A与C进行比对，若A与C一致，则将B刷到主存，更新成功；否则，则更新失败，可通过循环的方式继续尝试更新。由于比较并更新的操作是使用原子性的机器指令完成的，这个过程不会被打断，因此是线程安全的

2、两者的开销对比

（1）阻塞同步开销
- 申请互斥资源需要进入到内核态，涉及到用户运行环境到内核运行环境的切换，比较耗费资源
- 互斥同步会涉及到线程的阻塞和切换，在主流jvm中，线程模型是1:1模型，阻塞的是内核线程，同样需要核心态的支持，并且切换线程需要对线程的运行环境进行保存和恢复，同样也是一笔不小的开销
- 需要对锁计数器进行维护，释放锁时也需要检查需要被唤醒的线程
总的来说，采用互斥同步，需要进行用户态到核心态的转换、维护锁记录器和检查阻塞线程，开销很大
（2）非阻塞同步开销
- 首先需要明确cas是在原子机器指令基础上实现的，该机器指令是硬件支持，并不是内核的原语，因此不需要进入内核态
- 非阻塞同步的开销主要来源于进行cas自旋操作时，对cpu的占用，其资源耗费跟随线程数波动