parlib: Use better fake mutexes for thread0
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 20 Jan 2017 22:12:30 +0000 (17:12 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 20 Jan 2017 22:12:30 +0000 (17:12 -0500)
commita22c8489859259dc05653083ff25a6efea91e8c5
tree638d2d493a1736c7a34b9b13bac5e4bf941aebe5
parent4a874b08a5771c30179a0f6cc9a30c40eec1c0fc
parlib: Use better fake mutexes for thread0

The thread0 scheduler has only one thread, but we should have at least a
little blob for mutexes so that we can catch problems.  Any code in a
thread0 scheduler that tries to lock the same mutex twice ought to be a
deadlock bug (or VC ctx trying to sleep).

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/thread0_sched.c