summaryrefslogtreecommitdiff
path: root/show1
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2019-07-06 16:38:41 -0400
committerFrans Kaashoek <[email protected]>2019-07-06 16:38:41 -0400
commitdabbc348bc4edab522901d8473acaabe276cdc45 (patch)
treea46c2e0a275ad9ca48898b23026f131fac85c086 /show1
parentbe88befed702f7bcbf65212a9dcf9456a7bd2ae1 (diff)
downloadxv6-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 'show1')
0 files changed, 0 insertions, 0 deletions