I have another question about the runtime. I believe it was mentioned in the talk that there would be work-stealing between the domains. But how can we have any work-stealing when the fibers are integrated deeply inside the domains' local heaps?
On Mon, Sep 8, 2014 at 5:56 PM, Anil Madhavapeddy <anil@recoil.org> wrote:
Indeed, our fiber model is compatible with filesystem I/O, but does not
*mandate* that implementations support threads if a better-than-POSIX
model is available on the target operating system. Async I/O works fine
on Windows for instance, and does not require a thread-per-operation.
I fully agree with this point! The trick is to take the view from fibers and down rather than from a (specific) kernel and up. And you can easily make this run asynchronously on systems where it is really possible to do so.