1共享数据与临界区
闭卷重建共享数据与临界区的对象、状态、事件、不变量与一个失败反例。
嵌入式系统与实时编程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2互斥量与优先级反转
闭卷重建互斥量与优先级反转的对象、状态、事件、不变量与一个失败反例。
3信号量与事件标志
闭卷重建信号量与事件标志的对象、状态、事件、不变量与一个失败反例。
4消息队列与所有权转移
闭卷重建消息队列与所有权转移的对象、状态、事件、不变量与一个失败反例。
5死锁与阻塞预算
闭卷重建死锁与阻塞预算的对象、状态、事件、不变量与一个失败反例。
6实验：优先级继承模拟
闭卷重建实验：优先级继承模拟的对象、状态、事件、不变量与一个失败反例。
7实验：有界消息队列
闭卷重建实验：有界消息队列的对象、状态、事件、不变量与一个失败反例。