Tag
guards
- Oct 8, 2025 Deoptimization and Frame State Reconstruction What must be rebuilt when compiled code abandons a speculative assumption, how the compiler describes frame state at each guard, and why the metadata is the expensive part of the mechanism. language runtimes
- Mar 27, 2025 Speculative Inlining and Guard Placement How an optimizing JIT inlines a callee it cannot prove is the right target, what the guard costs, and why the number of guards rather than the amount of inlining sets the limit. language runtimes
- Mar 26, 2024 Specifying Behaviour as a State Machine with Guards Why a transition table beats prose for event-driven behaviour, how guards resolve overlapping transitions, and what unreachable states reveal about a specification. software engineering
- Feb 1, 2024 Idempotency Keys and Command Resources That Cannot Be Described Declaratively Why some operations cannot be expressed as desired state, how guard and sentinel patterns approximate idempotence, and why the approximation leaks under concurrency. devops