高竞争环境下长路径锁算法优势及禁用parking策略原因探究

一、MCS锁对比Spinlock：高竞争下的性能差距根源 #

Spinlock的核心缺陷在于：所有等待线程都会自旋同一个共享锁变量，这个变量所在的缓存行被所有竞争线程的核心加载。一旦锁被释放（某线程修改锁变量），其他所有核心的对应缓存行都会立即失效，每个线程都得重新从内存加载锁变量——这就是引发总线带宽耗尽的缓存风暴，直接导致性能暴跌。

而MCS锁的高效性远不止“本地自旋”这一点：

• 无共享自旋变量：每个等待线程自旋的是自身节点中的locked字段，这个字段属于线程本地缓存行，其他线程的操作不会触发它的缓存失效，从根源上避免了缓存风暴，总线流量大幅降低。
• 链式精准通知：MCS锁通过链表管理等待线程，锁释放时直接通知链表中的下一个线程，无需修改全局变量，彻底消除了全局竞争点。
• 天然公平性：线程按排队顺序获取锁，不会出现单个线程长期抢占锁的饥饿情况，在高竞争下能保证资源利用的均衡性。

二、分层锁（如AHMCS）的高效逻辑 #

分层锁的核心思路是拆分竞争范围：把线程划分为多个分组，组内使用轻量锁，组之间共享一个全局锁。高竞争场景下，全局锁的竞争被分散到各个组内，每个组的竞争线程数量减少，缓存失效的影响范围也随之缩小。同时，组内的轻量锁可以充分利用本地缓存的优势，组间全局锁的竞争频率大幅降低，整体吞吐量自然提升。

三、高竞争场景为何要避免parking等待策略 #

parking机制是让线程放弃CPU、进入内核等待队列，直到锁释放时被唤醒。在高竞争场景下，这个模式的问题非常明显：

• 上下文切换开销过大：parking和唤醒需要在用户态与内核态之间切换，涉及上下文保存、调度器调度等操作，开销远大于用户态自旋。而高竞争下锁的持有时间通常很短，线程可能刚进入等待状态就被唤醒，反而浪费了大量切换成本。
• 调度延迟不可控：高竞争时等待队列会很长，调度器唤醒线程的延迟会显著增加，导致锁资源空闲时没有线程及时获取，降低了资源利用率。

对于高竞争场景，依赖本地自旋（如MCS锁）或分层机制（如AHMCS锁）的锁算法非常适用（参见2.1.2节）。应尽可能避免轻量锁算法（如Spinlock）及采用parking等待策略的锁算法。——来自文献

内容的提问来源于stack exchange，提问作者拉克克