SCP pagefaults can block
authorBarret Rhoden <brho@cs.berkeley.edu>
Sun, 9 Feb 2014 04:58:26 +0000 (20:58 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 9 Feb 2014 07:23:00 +0000 (23:23 -0800)
commita8ba2021167177fa6e9a91fac3ab84252d27c7ea
treed51212eb04dca9ec9eb8ea068a7f0400721600e6
parented208ddd57d737093ce07cd6d5f1c2e8ecbbfc46
SCP pagefaults can block

MCPs (even uthreads) still cannot have pagefault handlers that block.
For SCPs, the potential blocking point is treated similar to a yield,
such that if we block, then smp_idle() won't restart the SCP.
kern/arch/x86/trap64.c
kern/src/mm.c
kern/src/page_alloc.c