Multi-threaded waitsets, tokens added to IPC messages.
authorAdam Turowski <adam.turowski@inf.ethz.ch>
Tue, 26 Jul 2016 08:22:50 +0000 (10:22 +0200)
committerAdam Turowski <adam.turowski@inf.ethz.ch>
Tue, 26 Jul 2016 08:22:50 +0000 (10:22 +0200)
commitd328987d7cfe0e7ff830187c562791d2fe83d925
tree412b1baaf7dfd32def74c07cb7ddb78e82600f17
parent5ce0589332e3dc03b0f491eafe18a988790db229
Multi-threaded waitsets, tokens added to IPC messages.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
24 files changed:
include/barrelfish/barrelfish.h
include/barrelfish/dispatcher.h
include/barrelfish/lmp_chan.h
include/barrelfish/threads.h
include/barrelfish/ump_chan.h
include/barrelfish/ump_endpoint.h
include/barrelfish/ump_impl.h
include/barrelfish/waitset.h
include/barrelfish_kpi/dispatcher_shared.h
include/flounder/flounder.h
include/flounder/flounder_support.h
include/flounder/flounder_support_lmp.h
include/flounder/flounder_support_ump.h
lib/barrelfish/dispatch.c
lib/barrelfish/flounder_support.c
lib/barrelfish/include/threads_priv.h
lib/barrelfish/include/waitset_chan_priv.h
lib/barrelfish/lmp_chan.c
lib/barrelfish/lmp_endpoints.c
lib/barrelfish/multihop_chan.c
lib/barrelfish/threads.c
lib/barrelfish/ump_chan.c
lib/barrelfish/ump_endpoint.c
lib/barrelfish/waitset.c