§8. Конкурентность и асинхронные цепочки

В этой главе

8.1 Модель исполнения	Единица исполнения — задача
8.2 Точки приостановки	Задача может уступить поток только в точках приостановки
8.3 Task	Task<T, E> — ленивое вычисление.
8.4 Цепочки	Цепочка связывает асинхронные шаги так, что выполняется либо вся цепочка, либо возвращается первая необработанная ошибка.
8.5 Структурная конкурентность	spawn допустим только лексически внутри scope { …
8.6 Отмена и дедлайны	Отмена кооперативная
8.7 Каналы и select	tx.send(x) приостанавливается при заполненном буфере; cap
8.8 Локальные акторы	Сообщения обрабатываются строго по одному в порядке поступления от каждого отправителя.
8.9 Программная транзакционная память	atomic { … } выполняет тело как сериализуемую транзакцию над TVar.

Исходник: docs/spec/oxl-standard.md