共享存储器通信方式下的多处理器编程技术。
可计算性理论：理解异步并发环境中的可计算问题。
安全性：不好的事情绝不会发生。
活性：一个特定的好的事件一定会发生。
确保一个时刻只允许一个线程执行特定代码段的问题称为互斥问题。
啤酒瓶罐的例子——中断——wait()和notifyAll()
旗子的例子
无死锁：
无饥饿：
等待：互斥的本质就是等待
中断：wait()和notifyAll()的本质就是中断
两个线程之间的互斥问题能够通过两个1比特变量来解决，每个变量只能被一个线程写，由另一个线程读。
生产者-消费者问题
读者-写者问题
应最小化串行代码的粒度