summaryrefslogtreecommitdiff
path: root/user/rm.c
diff options
context:
space:
mode:
Maybe fix two races identified by rtm (thx!):
- during exit(), hold p's parent lock and p's lock across all changes to p and its parent (e.g., reparenting and wakeup1). the lock ordering between concurrent exits of children, parent, and great parent might work out because processes form a tree. - in wakeup1() test and set p->state atomically by asking caller to have p locked. a correctness proof would be desirable.
Diffstat (limited to 'user/rm.c')
0 files changed, 0 insertions, 0 deletions