你可以假设指令内部是无法被打断的,但指令间会被打断然后画两个同样的程序在两侧,在赋值前后进行打断你会发现如果A程序在if后,修改值前被打断,则B程序也会认为目前可以运行并运行,即不互斥由于A和B都积极修改turn值,所以不会造成死锁