Fix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 11 May 2015 12:21:34 +0000 (14:21 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 11 May 2015 12:21:34 +0000 (14:21 +0200)
commite7b3175ba8fefbe2fbbf426ac22be509c000febc
tree63bde8f6e04b6ebecd39790704a5eff7a85106c5
parent24475bbf02a3e81ca5d8e0c7d8bfa214e41e9d53
Fix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().

Re-disable dispatcher after returning from
thread_block_and_release_spinlock_disabled() and also fix thread_sem_wait() to
correctly block until semaphore can be acquired.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
lib/barrelfish/thread_sync.c