nova: replacement of generic Genode spinlock

Turn Genode user-level spinlock into a user-level "helpinglock". This requires
support by the kernel introduced with kernel branch r5.

The commit avoids live-locks when multiple threads with SCs on different
priority levels compete for the same user-level Genode "spinlock".

Issue #986
This commit is contained in:
Alexander Boettcher
2014-02-14 12:24:01 +01:00
committed by Christian Helmuth
parent bfa3053e62
commit 9ae441e469
6 changed files with 107 additions and 4 deletions

View File

@ -25,6 +25,7 @@ SRC_CC += thread/context_allocator.cc env/utcb.cc
SRC_CC += lock/cmpxchg.cc
INC_DIR += $(REP_DIR)/src/base/lock
INC_DIR += $(BASE_DIR)/src/base/lock
INC_DIR += $(BASE_DIR)/src/base/thread
INC_DIR += $(REP_DIR)/include/codezero/dummies