Hi,<div><br></div><div>I am recently working with IDC in Barrelfish, using the API generated by Flounder. I found that I need </div><div>to use a separate polling thread to poll the waitset, so that my call backs can get called. </div>
<div><br></div><div>For example, when sending a message: dummy__msg_tx(binding, MKCONT(send_cb, NULL), value)</div><div><br></div><div>Since the send is asynchronous, I can continue to do other stuff after this call. However, I expect that</div>
<div>my send_cb will be called (*interrupt*) once the send is success, which is not the case: I must manually poll the </div><div>binding's waitset using event_dispatch to get send_cb get called.</div><div><br></div>
<div>I now use a separate polling thread to do all this stuff and it works. But I was wondering:</div><div><br></div><div> - Is it designed as this way? Or I don't actually need to poll, just I don't know how...</div>
<div><br></div><div> - If this is the way as designed, then why? This seems not that "event-driven", right?</div><div><br></div><div>Thanks for your reading and forgive me if I asked a stupid question.</div>
<div>
<br></div><div>Regards,</div><div>Jinghao</div><div><br></div><div><br></div>