FIBER SUPERVISION IN ZIO
summary
ZIO provides lightweight tens of thousands of fibers running on a small thread pool and concrete operations: fork, join, interrupt, ensuring, bracket, race/raceAll and zip, plus STM, refs and promises. The concrete claim is that hierarchical fiber supervision restores fork/join identity and prevents resource leaks; prior approaches (transplantation in RC17) introduces races, while RC18 forced child interruption (safer but breaks identity). Upcoming work adds explicit scopes to get both safety and correct lifetimes. Use high‑level combinators ~90% of the time.
AI-written summary · about
chapters (25)
- 0:00Intro
- 2:40How to run an effect?
- 4:00ZIO Fibers
- 5:37Forking Fibers
- 6:23Implementation
- 8:44Joining Fibers
- 12:09Interrupting Fibers
- 13:17Finalizers
- 15:05Interruptibility
- 17:20Fiber supervision
- 19:00Unsupervised Fibers
- 22:05Fork Join Identity
- 25:19Daemon Fibers
- 26:57Normal Termination
- 28:25Release Candidate 17
- 30:25Explicit Scopes
- 31:05Implications
- 32:24Fiber Club THE FIRST RULE OF FIBER CLUB
- 33:35Common Concurrency Combinators in ZIO
- 34:31Racing effects
- 35:48Parallel computation
- 36:48Using Resources
- 38:52Controlling thread pools
- 40:58Summary
- 42:21zio documentation
