Lin博客

2008年，Russ Cox提交的初版Mutex的代码如下：

// CAS操作，当时还没有抽象出atomic包
func cas(val *int32, old, new int32) bool
func semacquire(*int32)
func semrelease(*int32)

// 互斥锁的结构，包含两个字段
type Mute

因为并发编程中有竞争条件和数据竞争的问题，我们才需要将代码片段设定为临界区，通过使用Mutex等同步原语将临界区保护起来。接下来，我们来熟悉Go标准库的Mutex 的使用方法，看看它是如何保护临界区，解决竞争条件和数据竞争的问题的。

有时候，我们很清楚地知道临界区或者共享资源，能主动地发现数据竞争问题；但是有时候，数据竞争问题却不那么容易被发现，比如下面这段代码，你认为有数据竞争

竞争条件和数据竞争是两个相关的概念，它们都涉及多线程环境中的数据竞争。但是，它们也有如下一些重要的区别。

• 竞争条件：指的是在多线程环境中，由于操作顺序的不确定性导致的程序执行结果的不确定性。例如，如果两个线程同时对同一个变量进行读／写操作，那么它们的执行顺序将会对最终的结果产生影响。这就是竞争条件。外部时序或排序的非确定性会产生竞争条件；典型的示例包括上下文切换、操作系统信号、多处理器上的内存操作和硬件中断等。竞争