1设备寄存器与驱动边界
闭卷重建设备寄存器与驱动边界的对象、状态、事件、不变量与一个失败反例。
计算机系统导论与体系结构实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2轮询与中断
闭卷重建轮询与中断的对象、状态、事件、不变量与一个失败反例。
3中断现场保存
闭卷重建中断现场保存的对象、状态、事件、不变量与一个失败反例。
4DMA描述符
闭卷重建DMA描述符的对象、状态、事件、不变量与一个失败反例。
5内存映射I/O
闭卷重建内存映射I/O的对象、状态、事件、不变量与一个失败反例。
6IOMMU与设备隔离
闭卷重建IOMMU与设备隔离的对象、状态、事件、不变量与一个失败反例。
7I/O事件模拟实验
闭卷重建I/O事件模拟实验的对象、状态、事件、不变量与一个失败反例。