**操作系统内核中的自旋锁实现**：利用计算机系统状态机的视角，操作系统内核中的自旋锁不仅要实现处理器间的互斥，还要正确处理中断，以及锁的嵌套。当多个需求叠加时，作出一个正确的实现就不再显然。