simplify out-of-band cap transfer to avoid asynchronously reporting errors back to...
authorAndrew Baumann <andrew.baumann@microsoft.com>
Mon, 23 Jan 2012 21:32:56 +0000 (13:32 -0800)
committerAndrew Baumann <andrew.baumann@microsoft.com>
Mon, 23 Jan 2012 21:32:56 +0000 (13:32 -0800)
commit38d67cc4af1e8c969e298867d34952c7ed25e6a2
tree95f7e36be602f39f42047187534e343e3c869440
parent74e7dab140384a5780f94a72a388565bc8c365f0
simplify out-of-band cap transfer to avoid asynchronously reporting errors back to the sender

As discussed on the mailing list (10.01.2012 "Proposed change to
out-of-band cap transfer"), this change changes the semantics so that
an error in delivery of the cap is reported to the receiver (rather
than asynchronously to the sender) along with a NULL capref. This
simplifies the implementation within the monitor, and results in saner
error handling on both sides.
if/intermon.if
if/monitor.if
include/barrelfish/monitor_client.h
lib/barrelfish/monitor_client.c
lib/barrelfish/multihop_chan.c
tools/flounder/Multihop.hs
tools/flounder/UMPCommon.hs
usr/monitor/inter.c
usr/monitor/monitor_server.c
usr/monitor/multihop_support.c