Communicating Sequential Processes¶
CSP builds concurrent systems from sequential processes that synchronize through channels.
flowchart LR
J[Junior: process and channel] --> M[Middle: select and cancel] --> S[Senior: prove liveness] --> P[Professional: runtime and algebra]
flowchart LR
Read -->|records| Transform -->|clean rows| Write
| Level | Guide | You are done when |
|---|---|---|
| Junior | Start | You can connect independent stages. |
| Middle | Apply | You can implement cancellation and backpressure. |
| Senior | Operate | You can prevent leaks, deadlock, and starvation. |
| Professional | Design | You can reason about CSP semantics and runtimes. |
Practice rule: Every channel needs an owner, capacity, close rule, and cancellation path.