好消息

终于可以实现正确的 1 + 1 了！

• 自旋锁 spin_lock, spin_unlock
• 互斥锁 mutex_lock, mutex_unlock

lock(&lock);
sum++;
// 任意代码
unlock(&lock);

坏消息

互斥似乎还不够

• 互斥实现了原子性：$A \to B$ 或 $B \to A$
• 但没有给我们确定性：$A \to B$

理解并发的方法

• 线程 = 我们自己
• 共享内存 = 物理空间