Tag
message-passing
- Jun 15, 2026 Mailbox Semantics and Ordering Guarantees in the Actor Model Why an actor mailbox orders messages only per sender pair, what selective receive costs in queue scans, and how an unbounded mailbox becomes the model's characteristic failure. programming languages
- Apr 2, 2026 Rendezvous and Buffering in CSP-Style Channels How an unbuffered channel makes send and receive a single synchronisation event, what a buffer actually buys, and why a blocked channel turns into a deadlock instead of an error. programming languages
- Feb 16, 2026 Actor Mailboxes, Supervision, and the Limits of Location Transparency An actor owns its state and processes one message at a time, which removes data races but not unbounded queues. How supervision trees, delivery guarantees, and selective receive shape real behaviour. software architecture
- Nov 14, 2025 Happens-Before and the Scalar Logical Clock How Lamport replaced physical time with a partial order defined by message passing, why one integer per process suffices for that order, and what the integer provably cannot tell you. distributed systems
- Feb 12, 2025 Message Matching: Tags, Ordering, and the Deadlock in Naive Exchange How a receive identifies its message, what the non-overtaking rule does and does not guarantee, and why a ring exchange deadlocks only above a size threshold. scientific computing
- Aug 9, 2024 Belief Propagation on Trees and Why Loopy Message Passing Fails How sum-product messages re-derive exact marginals on a tree, and what a fixed point on a graph with cycles does and does not guarantee. machine learning