Fixes race with vcore_yield()
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 29 Apr 2013 22:22:58 +0000 (15:22 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 29 Apr 2013 22:22:58 +0000 (15:22 -0700)
commit432eb2171d2e05ed64b6b6a41bc825a85203f1ea
tree30ff4cf14995768a770ef9059817a3962da92805
parent916a32edcc4555c1e2057014c26619686d27ad2c
Fixes race with vcore_yield()

In some scenarios, the kernel would think we wanted <= 0 cores
(negatives triggered the > max_vcores() check), if we were yielding
repeatedly while messages arrived.
kern/include/ros/resource.h
kern/src/process.c
kern/src/schedule.c
user/parlib/uthread.c
user/parlib/vcore.c