Ben Gras bd2ddd5fd4 after enqueue()ing a process, only pick_proc() a new one if the current ...

process is not PREEMPTIBLE (or it's not ready, or there isn't a current
process yet). This fixes a case where a process that isn't
PREEMPTIBLE actually gets preempted. (This solves a race condition
between CLOCK and SYSTEM.)

2007-03-21 09:45:01 +00:00

29 KiB

Executable File

Raw Blame History

View Raw