Hello guys, I made a practical guide to Async IO in Zig.
It goes through small runnable examples for Futures, Io.Group , Io.Select , cancellations, Io.Queue , sleep/timers, and Io.Batch . I tried to keep it minimal and practical
Any thoughts or feedback?
It is not accurate to say io.async may not be truly async.
Asynchrony is the possibility that tasks may run in any order, and that if that happens they will still be correct.
io.async running tasks synchronously is well within the technical definition of asynchrony.
Some important things you should have mentioned:
Futures/Groups must eventually be awaited or canceled, not only because they have associated resources that the Io implementation cannot release until it knows you have the result.
But also because an Io implementation is allowed to only start async tasks when you await (cancel obviously lets it skip running it)
A common misconception is that the above deleyed start also applies to concurrent tasks, that is not the case, concurrent tasks will start ASAP. Otherwise they would not be that useful.
Lastly, you should avoid overusing async/concurrent, they have overhead, you would not start a thread just for some trivial math.
(post deleted by author)
Asynchrony did not have a proper definition, even in languages that have async, everyone just had their own interpretation, often created after the fact to describe the languages’ implementation of async.
Zig has clearly stated the terms and definitions it is working with, we ought to use them when talking about zig, and ofc explain these definitions when (commonly) necessary.
