关于std::mutex的lock/unlock操作与表达式重排的精准疑问

核心结论（基于C++标准与cppreference） #

• std::mutex::lock() 是获取操作（acquire operation）：
  编译器和CPU不能将lock()之后的任何内存访问（比如代码中的expr/expr1）重排到lock()之前执行。
• std::mutex::unlock() 是释放操作（release operation）：
  编译器和CPU不能将unlock()之前的任何内存访问（比如代码中的expr/expr1）重排到unlock()之后执行。

针对实际场景的验证 #

对于你的代码片段：

Mutex.lock();
expr1;
Mutex.unlock();
expr2;

由于unlock()的释放语义，expr1作为unlock()之前的操作，绝对不会被重排到expr2之后，完全满足你对执行顺序的要求。

标准依据说明 #

C++标准明确要求所有合规的互斥实现必须满足获取-释放语义：

• 获取操作（lock）会建立与之前对应释放操作（unlock）的同步关系，同时禁止后续操作向前重排；
• 释放操作（unlock）会确保之前的所有内存修改对后续获取操作可见，同时禁止之前的操作向后重排。

cppreference在std::mutex::lock和std::mutex::unlock的文档中也明确标注了这两种操作的获取/释放语义，这是对标准要求的直接体现，并非自由解读。

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