projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a9b05a) | patch
Don't destroy current thread's pagedir before activating a different
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 2 Sep 2004 21:03:03 +0000 (21:03 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 2 Sep 2004 21:03:03 +0000 (21:03 +0000)
commit349cc721b17effa62c8b18a7dccc5defc44472d3
tree7d36ed0985b1ab08a29971bef8f9925f1bb0cc45tree | snapshot
parent4a9b05ada4832f3afd7822ee5d002c3827ea26adcommit | diff
Don't destroy current thread's pagedir before activating a different
one (!).
thread_wake() needs to run with interrupts off.
src/threads/synch.c diff | blob | history
src/threads/thread.c diff | blob | history
src/threads/thread.h diff | blob | history
src/userprog/addrspace.c diff | blob | history
Pintos public repository