第11章笔记：并发语义与效应

联系

• 交错与竞态：写出结构、语义状态、反例和测试。
• 原子性和线性化点：写出结构、语义状态、反例和测试。
• 锁与死锁：写出结构、语义状态、反例和测试。
• 消息传递与Actor：写出结构、语义状态、反例和测试。
• Future与结构化并发：写出结构、语义状态、反例和测试。
• 效应与处理器：写出结构、语义状态、反例和测试。
• 确定性并发实验：写出结构、语义状态、反例和测试。

练习

以交错与竞态为输入，一直推进到确定性并发实验，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第11章笔记：并发语义与效应

联系

• 交错与竞态：写出结构、语义状态、反例和测试。
• 原子性和线性化点：写出结构、语义状态、反例和测试。
• 锁与死锁：写出结构、语义状态、反例和测试。
• 消息传递与Actor：写出结构、语义状态、反例和测试。
• Future与结构化并发：写出结构、语义状态、反例和测试。
• 效应与处理器：写出结构、语义状态、反例和测试。
• 确定性并发实验：写出结构、语义状态、反例和测试。

练习

以交错与竞态为输入，一直推进到确定性并发实验，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第11章笔记：并发语义与效应

联系

• 交错与竞态：写出结构、语义状态、反例和测试。
• 原子性和线性化点：写出结构、语义状态、反例和测试。
• 锁与死锁：写出结构、语义状态、反例和测试。
• 消息传递与Actor：写出结构、语义状态、反例和测试。
• Future与结构化并发：写出结构、语义状态、反例和测试。
• 效应与处理器：写出结构、语义状态、反例和测试。
• 确定性并发实验：写出结构、语义状态、反例和测试。

练习

以交错与竞态为输入，一直推进到确定性并发实验，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。