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