Safer assertions related to __up_sem()
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 6 Jun 2011 20:19:41 +0000 (13:19 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:04 +0000 (17:36 -0700)
commitdaefc82744f10dcf2df60bb75e5b8bad3e5b1d7e
tree96898768f64c48aff8479777f41c2ee1183b0c93
parent199f1327eb90a99a9fdbe95175672edb8087439a
Safer assertions related to __up_sem()

When calling __up_sem(), you can ask it to assert that the list is empty
after signalling one.  This is for code that wants a semaphore of only
one item and wants to put in some 'helpful' asserts.  By having __up_sem
do it, we avoid the temptation to check after waking a kthread, but more
importantly we do the check inside the lock.  Doing otherwise might trip
the assert for the wrong reason.
kern/include/kthread.h
kern/src/alarm.c
kern/src/blockdev.c
kern/src/page_alloc.c
kern/src/testing.c