Models¶
Covers Actor Model, CSP, Message Passing, Shared Memory, and STM.
Topics¶
| Topic | What it covers |
|---|---|
| Actor Model | An actor owns state, processes one message at a time, and communicates only by messages. |
| CSP | CSP builds concurrent systems from sequential processes that synchronize through channels. |
| Message Passing | Components exchange explicit messages instead of changing the same state. |
| Shared Memory | Threads communicate by reading and changing the same memory; synchronization makes those changes safe and visible. |
| STM | STM groups memory changes into transactions that commit together or retry after conflict. |