1竞态与交错时间线
重建竞态与交错时间线的基线、时间线与成本证据。
并行计算与性能工程 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2互斥锁与锁粒度
重建互斥锁与锁粒度的基线、时间线与成本证据。
3条件变量与谓词
重建条件变量与谓词的基线、时间线与成本证据。
4信号量与屏障
重建信号量与屏障的基线、时间线与成本证据。
5原子读改写与CAS
重建原子读改写与CAS的基线、时间线与成本证据。
6内存顺序与happens-before
重建内存顺序与happens-before的基线、时间线与成本证据。
7并发计数与有界缓冲
重建并发计数与有界缓冲的基线、时间线与成本证据。
第 1 页 · 背面（答案）
机制：固定互斥锁与锁粒度的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交互斥锁与锁粒度的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。
机制：固定竞态与交错时间线的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交竞态与交错时间线的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。
机制：固定信号量与屏障的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交信号量与屏障的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。
机制：固定条件变量与谓词的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交条件变量与谓词的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。
机制：固定内存顺序与happens-before的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交内存顺序与happens-before的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。
机制：固定原子读改写与CAS的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交原子读改写与CAS的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。
机制：固定并发计数与有界缓冲的工作单元、依赖和共享状态，先串行基线，再构造并行时间线与成本模型；实验：提交并发计数与有界缓冲的输入、分区、调度、结果摘要和串并行对照；边界：规模、工作者数、块大小、分布或交错改变时必须重新验证。