1交错与竞态
闭卷推导交错与竞态的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2原子性和线性化点
闭卷推导原子性和线性化点的结构、状态与反例。
3锁与死锁
闭卷推导锁与死锁的结构、状态与反例。
4消息传递与Actor
闭卷推导消息传递与Actor的结构、状态与反例。
5Future与结构化并发
闭卷推导Future与结构化并发的结构、状态与反例。
6效应与处理器
闭卷推导效应与处理器的结构、状态与反例。
7确定性并发实验
闭卷推导确定性并发实验的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。