proto.lib

Structured Concurrency - Nursery/Scope

Các task con được ràng buộc vào một scope cha; scope chỉ kết thúc khi mọi task con hoàn tất hoặc bị hủy cùng nhau.

ConcurrencyNâng cao2026-07-08
Structured Concurrency - Nursery/Scope

Tags

#structured-concurrency#nursery#scope#cancellation#task-lifecycle

Tài liệu tham khảo

Mở rộng

Animation gốc là một file HTML tự chứa, có thể nhúng lại ở bất kỳ trang nào khác. Mở file gốc

Liên quan

ConcurrencyNâng cao

Select/Race và Cancellation Nhánh Thua

Một select/race hoàn tất theo nhánh về đầu tiên, các nhánh THUA phải bị hủy hoặc drop — nếu nhánh thua đã kịp tiêu thụ một phần tác dụng phụ (ví dụ đã nhận một message từ channel) thì tác dụng phụ đó bị mất âm thầm, nên một race timeout ngây thơ có thể làm rơi message chưa từng được giao.

#select#race#cancellation#cancel-safety
ConcurrencyNâng cao

Cancellation Safety: hủy tác vụ giữa chừng mà không để lại nửa trạng thái

Hủy một tác vụ đang chạy tại một await point có thể để lại thế giới ở trạng thái nửa vời (một dòng đã insert, một file viết nửa chừng, một khoá đã acquire); tác vụ có thể hủy an toàn cần: thực hiện hiệu ứng bên ngoài trong một bước atomic, đăng ký cleanup chạy khi unwind, và có critical section được shield khỏi việc bị hủy — cùng kỷ luật bất biến như một transaction.

#cancellation#async#invariants#cleanup
ConcurrencyNâng cao

await biên dịch thành gì: State Machine ẩn

Trình biên dịch viết lại hàm async thành một state machine — biến cục bộ trở thành field của struct/object, mỗi điểm await là một nhãn resume, và runtime poll/wake nó khi giá trị chờ đã sẵn sàng; đó là lý do một async function không làm gì cho tới khi bị driven.

#async-await#state-machine#compiler-transform#future