]> Zhao Yanbai Git Server - minix.git/commit
kernel: new DEBUG_RACE option. try to provoke race conditions between processes.
authorBen Gras <ben@minix3.org>
Sat, 8 May 2010 18:00:03 +0000 (18:00 +0000)
committerBen Gras <ben@minix3.org>
Sat, 8 May 2010 18:00:03 +0000 (18:00 +0000)
commita1636b85b7381ac17fd593aa8db59a7487a1fbea
treedf5d76292da1f6d63ce69d4a1777a754c18068a4
parentd5a0af826a796d6491c760f517320c6b92d6e1ce
kernel: new DEBUG_RACE option. try to provoke race conditions between processes.

it does this by
  - making all processes interruptible by running out of quantum
  - giving all processes a single tick of quantum
  - picking a random runnable process instead of in order, and
    from a single pool of runnable processes (no priorities)

This together with very high HZ values currently provokes some race conditions
seen earlier only when running with SMP.
kernel/clock.c
kernel/debug.h
kernel/proc.c