In [1]:
from mosaic import *
OS2023(7)

7. 并发控制：互斥¶

Changelog & 反馈

  • 修复了 rvemu.c 中的 sext bug (感谢报告的同学；但我找不到消息记录了 😂)
  • M2 & Online Judge 上线
  • Model checker 阅读体验提升：能够正确显示线程/进程名/进程终止

背景回顾：互斥 (Peterson 算法)：为了掌控并发程序的复杂行为，使程序退回到 “串行执行” 的 lock & unlock。

本讲内容：现代多处理器系统上的互斥实现：

  • 互斥问题的定义和假设
  • 自旋锁
  • 互斥锁和 Futex
In [2]:
slideshow('7.1')
In [3]:
slideshow('7.2')
In [4]:
model('m/spinlock.py', check=True)