锁之前/之后的代码总是串行执行？

问题描述

CodeBlockA;

Lock;
CodeBlockB;
Unlock;

CodeBlockC

代码块可能包含很多代码，以它为一个单元即可。

CodeBlockA CodeBlockB CodeBlockC 是否总是串行执行？锁是如何实现的？

解决方法

现在，我不知道其他系统，但在 linux 上是这样的：

pthreads

在 NPTL 中，线程同步原语（互斥锁、线程连接等）是使用 Linux futex(2) 系统调用实现的。

futex

执行请求阻塞线程的futex操作时， 仅当 futex 字具有以下值时，内核才会阻塞 提供的调用线程（作为 futex() 调用）作为 futex 字的期望值。这 加载 futex 字的值，该值的比较 与预期值，实际阻塞将发生 原子地并且将相对于并发完全排序 其他线程对同一个 futex 字执行的操作。 因此，futex 字用于连接同步 用户空间由内核执行阻塞。 类似于原子比较和交换操作 可能会改变共享内存，通过 futex 阻塞是一个 原子比较和块操作。

C - mtx_lock

之前在同一个互斥锁上调用 mtx_unlock 与这个操作同步，并且任何给定互斥锁上的所有锁定/解锁操作形成一个单一的全序（类似于原子的修改顺序）

C Standard n2596

7.26.4 互斥函数

为了确定是否存在数据争用，锁定和解锁操作表现为 原子操作。特定互斥锁上的所有锁定和解锁操作都发生在某个特定的 总订单。

注意这个总顺序可以看作是互斥量的修改顺序。