自旋锁代替互斥锁的实践

原文地址 译文地址 译者：小鱼儿 校对：梁海舰

自旋锁和互斥锁是多线程程序中的重要概念。 它们被用来锁住一些共享资源， 以防止并发访问这些共享数据时可能导致的数据不一致问题。 但是它们的不同之处在哪里？ 我们应该在什么时候用自旋锁代替互斥锁？

理论分析

从理论上说， 如果一个线程尝试加锁一个互斥锁的时候没有成功， 因为互斥锁已经被锁住了， 这个未获取锁的线程会休眠以使得其它线程可以马上运行。 这个线程会一直休眠， 直到持有锁的线程释放了互斥锁， 休眠的线程才会被唤醒。 如果一个线程尝试获得一个自旋锁的时候没有成功， 该线程会一直尝试加锁直到成功获取锁。 因此它不允许其它线程运行(当然， 操作系统会在该线程所在的时间片用完时， 强制切换到其它线程)。

存在的问题

互斥锁存在的问题是， 线程的休眠和唤醒都是相当昂贵的操作， 它们需要大量的CPU指令， 因此需要花费一些时间。 如果互斥量仅仅被锁住很短的一段时间， 用来使线程休眠和唤醒线程的时间会比该线程睡眠的时间还长， 甚至有可能比不断在自旋锁上轮训的时间还长。自旋锁的问题是， 如果自旋锁被持有的时间过长， 其它尝试获取自旋锁的线程会一直轮训自旋锁的状态， 这将非常浪费CPU的执行时间， 这时候该线程睡眠会是一个更好的选择。

解决方案

在单核/单CPU系统上使用自旋锁是没用的， 因为当线程尝试获取自旋锁不成功的时候会一直尝试， 这会一直占用CPU， 其它线程不可能运行， 因为其他线程不能运行， 这个锁也就不会被解锁。 换句话说， 在单核/单CPU的系统上，自旋锁除了浪费时间没有一点好处。 这时如果这个线程(记为A)可以休眠， 其它线程可以立即运行， 因为其它有可能解锁， 那么线程A可能在唤醒后继续执行。

在多核/多CPU的系统上， 特别是大量的线程只会短时间的持有锁的时候， 在使线程睡眠和唤醒线程上浪费大量的时间， 也许会显著降低程序的运行性能。 使用自旋锁， 线程可以充分利用调度程序分配的时间片(经常阻塞很短的时间， 不用休眠， 然后马上继续它们的工作了)， 以达到更高的处理能力和吞吐量。

实践

因为程序员往往并不能事先知道哪种方案会更好(比如， 不知道运行环境的CPU核的数量)， 操作系统也不知道一段指令是不是针对单核或者多核环境下做过优化， 所以大部分操作系统并不严格区分互斥锁和自旋锁。 实际上， 绝大部分现代的操作系统采用的是混合型互斥锁(hybrid mutexes)和混合型自旋锁(hybrid spinlocks)。 它们是什么意思呢？

混合型互斥锁， 在多核系统上起初表现的像自旋锁一样， 如果一个线程不能获取互斥锁， 它不会马上被切换为休眠状态， 因为互斥量可能很快就被解锁， 所以这种机制会表现的像自旋锁一样。 只有在一段时间以后(或者尝试一定次数，或者其他指标)还不能获取锁， 它就会被切换为休眠状态。 如果运行在单核/单CPU上， 这种机制将不会自旋(就像上面解释的， 这种情况自旋没有什么好处)。

混合型自旋锁， 起初表现的和正常自旋锁一样， 但是为了避免浪费大量的CPU时间， 会有一个折中的策略。 这种机制不会把线程切换到休眠态(既然想要使用自旋锁， 那么你并不希望这种情况发生)， 也许会决定放弃这个线程的执行(马上放弃或者等一段时间)并允许其他线程运行， 这样提高了自旋锁被解锁的可能性(大多数情况， 线程之间的切换操作比使线程休眠而后唤醒它要昂贵， 尽管那不是很明显)。

总结

如果对选择哪种方案感到疑惑， 那就使用互斥锁吧， 并且大多数现代的操作系统都允许在获取锁的时候自旋一段时间(混合型互斥锁)。 只有在一定条件下使用自旋锁才可以提高性能， 事实上， 你现在在做的项目可能没有一个能在通过自旋锁提高性能。 也许你考虑使用你自己定义的”锁对象”， 它可以在内部使用互斥锁或者自旋锁(例如: 在创建锁对象时， 用哪种机制是可配置的)， 刚开始在所有的地方都是用互斥锁， 如果你认为在有些地方用自旋锁确实可以提高性能， 你可以试试， 并且比较两种情况的结果(使用一些性能评测工具)， 但一定要在单核和多核环境上测试之后再下结论(如果你的代码是夸平台的， 也要尽可能在不同的平台上测试下)。

文章转自 并发编程网-ifeve.com

看完你就明白的锁系列之自旋锁 在上一篇文章 看完你就应该能明白的悲观锁和乐观锁 中我们已经学习到了什么是悲观锁和乐观锁、悲观锁和乐观锁的实现、优缺点分别是什么。其中乐观锁的实现之一 CAS 算法中提到了一个自旋锁的概念，为了全面理解 CAS 算法就首先需要了解一下自旋锁 是什么，自旋锁的适用场景和优缺点分别是什么，别着急，下面为你一一列举。
Linux系统编程-(pthread)线程通信(自旋锁) 自旋锁不管是内核编程，还是应用层编程都会用到；自旋锁和互斥量类似，它不是通过休眠使进程阻塞，而是在获取锁之前一直处于忙等（也就叫自旋）状态。
Linux系统编程-(pthread)线程通信(读写锁) **读写锁与互斥锁类似，读写锁比互斥锁有更高的并行性，读写锁特点如下:** ​ 1. 读写锁有三种状态，读模式下加锁（共享）、写模式下加锁（独占）以及不加锁。 ​ 2. 一次只有一个线程可以占有写模式下的读写锁；但是多个线程可以同时占有读模式下的读写锁。 ​ 3. 读写锁在写加锁状态时，其他试图以写状态加锁的线程都会被阻塞。读写锁在读加锁状态时，如果有线程希望以写模式加锁时，必须阻塞，直到所有线程释放锁。 ​ 4. 当读写锁以读模式加锁时，如果有线程试图以写模式对其加锁，那么读写锁会阻塞随后的读模式锁请求，以避免读锁长期占用，而写锁得不到请求。
面试官：你说说互斥锁、自旋锁、读写锁、悲观锁、乐观锁的应用场景？（二） 生活中用到的锁，用途都比较简单粗暴，上锁基本是为了防止外人进来、电动车被偷等等。 但生活中也不是没有 BUG 的，比如加锁的电动车在「广西 - 窃·格瓦拉」面前，锁就是形同虚设，只要他愿意，他就可以轻轻松松地把你电动车给「顺走」，不然打工怎么会是他这辈子不可能的事情呢？牛逼之人，必有牛逼之处。