图解系统（二）——进程管理（3）锁

---

前言

本章主要讲解锁类型，高并发的场景下，如果选对了合适的锁，则会大大提高系统的性能，否则性能会降低。

多线程访问共享资源的时候，避免不了资源竞争而导致数据错乱的问题，所以我们通常为了解决这一问题，都会在访问共享资源之前加锁。

故加锁的目的为：加锁的目的就是保证共享资源在任意时间里，只有一个线程访问，这样就可以避免多线程导致共享数据错乱的问题。

最常用的就是互斥锁，当然还有很多种不同的锁，比如自旋锁、读写锁、乐观锁等，不同种类的锁自然适用于不同的场景。

针对不同的应用场景，谈一谈「互斥锁、自旋锁、读写锁、乐观锁、悲观锁」的选择和使用。

---

一、锁

1.1 互斥锁（最基础）

互斥锁是一种「独占锁」，比如当线程 A 加锁成功后，此时互斥锁已经被线程 A 独占了，只要线程 A 没有释放手中的锁，线程 B 加锁就会失败，于是就会释放 CPU 让给其他线程，既然线程 B 释放掉了 CPU，自然线程 B 加锁的代码就会被阻塞。也就是说线程B获取互斥锁失败后会休眠

对于互斥锁加锁失败而阻塞的现象，是由操作系统内核实现的。当加锁失败时，内核会将线程置为「睡眠」状态，等到锁被释放后，内核会在合适的时机唤醒线程，当这个线程成功获取到锁后，于是就可以继续执行。

所以，互斥锁加锁失败时，会从用户态陷入到内核态，让内核帮我们切换线程，虽然简化了使用锁的难度，但是存在一定的性能开销成本。

开销成本：会有两次线程上下文切换的成本。
所以，如果你能确定被锁住的代码执行时间小于上下文切换的耗时（上下文切换的耗时大概在几十纳秒到几微秒之间），就不应该用互斥锁，而应该选用自旋锁，否则使用互斥锁。

1.2 自旋锁（最基础）

自旋锁是通过 CPU 提供的 CAS 函数（Compare And Swap），在「用户态」完成加锁和解锁操作，不会主动产生线程上下文切换，所以相比互斥锁来说，会快一些，开销也小一些。也就是说线程B获取自旋锁失败后不会休眠

自旋锁与互斥锁的区别：当加锁失败时，互斥锁用「线程切换」来应对，自旋锁则用「忙等待」来应对。

1.3 读写锁

读写锁适用于能明确区分读操作和写操作的场景。
原理（读者-写者问题）：
写锁是独占锁，因为任何时刻只能有一个线程持有写锁，类似互斥锁和自旋锁；
读锁是共享锁，因为读锁可以被多个线程同时持有。

公平读写锁：比较简单的一种方式是，用队列把获取锁的线程排队，不管是写线程还是读线程都按照先进先出的原则加锁即可，这样读线程仍然可以并发，也不会出现「饥饿」的现象。

1.4 乐观锁和悲观锁

互斥锁、自旋锁、读写锁，都是属于悲观锁。
悲观锁做事比较悲观，它认为多线程同时修改共享资源的概率比较高，于是很容易出现冲突，所以访问共享资源前，先要上锁。

那相反的，如果多线程同时修改共享资源的概率比较低，就可以采用乐观锁。

乐观锁做事比较乐观，它假定冲突的概率很低，它的工作方式是：先修改完共享资源，再验证这段时间内有没有发生冲突，如果没有其他线程在修改资源，那么操作完成，如果发现有其他线程已经修改过这个资源，就放弃本次操作。
共享文档的编辑就是采用的乐观锁。

总结：

乐观锁是先修改同步资源，再验证有没有发生冲突。

悲观锁是修改共享数据前，都要先加锁，防止竞争。

二、一个进程最多可以创建多少个线程？

1. 问题的引出

首先，同样明确Linux操作系统的位数，虚拟地址空间如下图所示：

这个问题跟两个东西有关系：

1 进程的虚拟内存空间上限：因为创建一个线程，操作系统需要为其分配一个栈空间，如果线程数量越多，所需的栈空间就要越大，那么虚拟内存就会占用的越多。

2 系统参数限制：虽然 Linux 并没有内核参数来控制单个进程创建的最大线程个数，但是有系统级别的参数来控制整个系统的最大线程个数。

我们可以执行 ulimit -a 这条命令，查看进程创建线程时默认分配的栈空间大小，比如这台32位的服务器默认分配给线程的栈空间大小为 8M。
在前面我们知道，在 32 位 Linux 系统里，一个进程的虚拟空间是 4G，内核分走了1G，留给用户用的只有 3G。
那么假设创建一个线程需要占用 10M 虚拟内存，总共有 3G 虚拟内存可以使用。于是我们可以算出，最多可以创建差不多 300 个（3G/10M）左右的线程。

三、线程崩溃了，进程也会崩溃吗？答案：会

一般来说如果线程是因为非法访问内存引起的崩溃，那么进程肯定会崩溃，为什么系统要让进程崩溃呢，这主要是因为在进程中，各个线程的地址空间是共享的，既然是共享，那么某个线程对地址的非法访问就会导致内存的不确定性，进而可能会影响到其他线程，这种操作是危险的，操作系统会认为这很可能导致一系列严重的后果，于是干脆让整个进程崩溃

---

总结

加锁的目的是保证共享资源在任意时间里，只有一个线程访问，这样就可以避免多线程导致共享数据错乱的问题。

自旋锁与互斥锁的区别：当加锁失败时，互斥锁用「线程切换」来应对（休眠要锁失败的线程），自旋锁则用「忙等待」来应对（不休眠要锁失败的线程）。