Giters

robur-coop / miou

A simple scheduler for OCaml 5

Home Page:https://docs.osau.re/miou/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Make the interdomain pipe non-blocking

haesbaert opened this issue · comments

commented

Heya, the fix in 29cb3d0 is odd.

You can just make the pipe non-blocking, and if write returns EAGAIN, you ignore (there's pending stuff), you don't need the interrupted thing at all.

Just a suggestion, unless I missed something.

commented

the pipe non-blocking, and if write returns EAGAIN

Ah yes, it can save an atomic and delay everything to the system, I will try to propose something soon. Thanks for your report 👍.