proto.lib

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.

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

Tags

#cancellation#async#invariants#cleanup#shielding#transaction

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

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
ConcurrencyTrung bình

Graceful drain worker pool khi shutdown

Khi nhận tín hiệu dừng, worker pool phải trải qua ba pha: ngừng nhận task mới, cho phép task đang chạy hoàn tất trong một deadline, rồi hủy/requeue phần còn lại. Task đang xếp hàng nhưng chưa chạy phải được persist/requeue lại hoặc bỏ đi một cách tường minh, không được âm thầm mất.

#graceful-shutdown#worker-pool#drain#cancellation