
仔细看这段带码tiket不可能为负数对吧
但是 一句tickt--会被操作系统翻译成这3句话,所以tiket--不是原子的这条语句。

假设我们这时候有俩个线程1,2,且票数只有1,当线程1在执行tickt>0这条语句时,首先操作系统会把tiket放入cpu内的寄存器里,当正准备进行tiket>0的计算也就是步骤2的时候该线程的时间片到了被OS切换到线程2,切换时候,cpu里的寄存器的值会保存在线程的上下文中也就是把tiket =1 保存在该线程的结构里的寄存器中,当线程2执行完tiket--后,tiket变为0,切换回线程1,线程1把自己结构的保存tiket的寄存器的值恢复到寄存器中,这时候cpu计算tiket大于0,再ticket--就变为了负数。
本文通过一个具体例子解释了为什么某些操作并非原子性的。特别是在多线程环境下,简单的递减操作可能会导致竞态条件,使得原本不可为负的变量变为负数。
3082

被折叠的 条评论
为什么被折叠?



