[Barrelfish-users] ipi_notify_alloc fail: FLOUNDER_ERR_TX_BUSY

[Simon Peter]

> Do you have any ideas about why the b->tx_vtbl_ipi_alloc_notify_request
> (line 69, file /lib/barrelfish/arch/x86/ipi_notify.c) would fail with
> TX_BUSY error? I saw a immediate assert on this result, does it mean the
> request operation is not supposed to fail at all? If not, can I just
> detect the TX_BUSY error and do a register_send to make it more robust?

You should be able to do that. It's probably just an overlooked case 
where we don't yet handle busy channels. Your suggested register_send() 
should do the trick.

Simon