proto.lib

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.

ConcurrencyNâng cao2026-08-24
await biên dịch thành gì: State Machine ẩn

Tags

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

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

ConcurrencyTrung bình

Coroutines - Stackful vs Stackless

Coroutine tạm dừng tại điểm yield/await và tiếp tục sau đó, cho phép đa nhiệm hợp tác trên một thread; so sánh coroutine có stack riêng với coroutine không stack dạng state machine.

#coroutines#async-await#cooperative-multitasking#state-machine
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