proto.lib

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.

ConcurrencyTrung bình2026-07-07
Coroutines - Stackful vs Stackless

Tags

#coroutines#async-await#cooperative-multitasking#state-machine#scheduler

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

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
ConcurrencyNâng cao

Giữ Lock Qua Await: deadlock chỉ có ở async code

Một task khoá mutex rồi await bên trong vùng critical section, khiến lock bị giữ trong lúc task đang tạm dừng; nếu một task khác trên cùng runtime chờ lock đó, và công việc được await lại cần chính task đang bị chặn (hoặc worker duy nhất của runtime) để hoàn tất, hệ thống đứng im vĩnh viễn.

#async-await#mutex#deadlock#critical-section
ConcurrencyNâng cao

Sync-over-Async Deadlock: block một luồng pool để chờ chính pool đó

Gọi .Result/.get()/block_on bên trong request handler để chờ đồng bộ một tác vụ bất đồng bộ sẽ giữ chết một luồng worker, trong khi continuation của tác vụ đó lại phải xếp hàng chờ MỘT luồng worker khác trong cùng pool để chạy tiếp; nếu pool cạn luồng, không ai hoàn tất được gì — dịch vụ deadlock hoàn toàn dù CPU gần như rảnh.

#deadlock#thread-pool#async-await#blocking