mt-waitset: adding masking of channels so a thread won't handle two messages at the...
authorAdam Turowski <adam.turowski@inf.ethz.ch>
Tue, 20 Sep 2016 09:54:51 +0000 (11:54 +0200)
committerAdam Turowski <adam.turowski@inf.ethz.ch>
Tue, 20 Sep 2016 09:54:51 +0000 (11:54 +0200)
commitb0e04368bb148daeef031ed5130b326a789be31a
treed93f718267037ffbda52d68d28c06d5438269bec
parentc8e80109fae0fb63ff8be165b3d16d512efa0fac
mt-waitset: adding masking of channels so a thread won't handle two messages at the same time

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
12 files changed:
if/mt_waitset.if
include/barrelfish/threads.h
include/barrelfish/ump_endpoint.h
include/barrelfish/waitset.h
include/flounder/flounder_support_ump.h
lib/barrelfish/flounder_support.c
lib/barrelfish/include/threads_priv.h
lib/barrelfish/threads.c
lib/barrelfish/ump_endpoint.c
lib/barrelfish/waitset.c
tools/flounder/BackendCommon.hs
usr/tests/mt_waitset/main.c