diff options
author | Frans Kaashoek <[email protected]> | 2019-07-06 16:38:41 -0400 |
---|---|---|
committer | Frans Kaashoek <[email protected]> | 2019-07-06 16:38:41 -0400 |
commit | dabbc348bc4edab522901d8473acaabe276cdc45 (patch) | |
tree | a46c2e0a275ad9ca48898b23026f131fac85c086 /TRICKS | |
parent | be88befed702f7bcbf65212a9dcf9456a7bd2ae1 (diff) | |
download | xv6-labs-dabbc348bc4edab522901d8473acaabe276cdc45.tar.gz xv6-labs-dabbc348bc4edab522901d8473acaabe276cdc45.tar.bz2 xv6-labs-dabbc348bc4edab522901d8473acaabe276cdc45.zip |
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 'TRICKS')
0 files changed, 0 insertions, 0 deletions