Race Condition

现代操作系统中，抢占式调度是一个很有意思的话题。

教科书对于抢占式调度的定义比较简单—-抢占式调度中，任务切换动作可以由于优先级变化而触发，而并非仅限于时间片用完或主动放弃CPU（当然，一般而言我们并不认为中断处理是一次严格意义上的抢占操作）。

从直觉上看，抢占式调度必然增加潜在的上下文切换次数，并因为增加了这些开销而降低系统吞吐量。那么，为什么要引入抢占式调度呢？

今年2月底的时候我跟 李逵 发现了一个fork的race，然后我做了一个fix。在当时看来，这个fix并不是很理想（会在进程fork的时候增加两次PROC锁的持放操作），但与有人提出来的另外一种解决方案，也就是利用EVENTHANDLER(9)机制去作callback相比，这个解法没有活锁问题。