Write Barrier

Kind: mechanism

Layer: Execution Core

Record: architecture:write-barrier

Severity: contextual

Scope: surface, concurrency

Canonical: Ontology

A mechanism that lets a planned exclusive write to a shared surface proceed only once every peer is observed parked, beside a compare-and-swap that covers every other write.

Listed in Architecture principles, after Declared Subject and before Operand-Free Outcome Surface.

Requires

• Coordination Surface

Reinforces

• Optimistic Locking

Enables

• Single-Writer Coordination

Conflicts with

• Lost Update

Violated by

• Whole-Surface Rewrite

Refactored by

• Hold the Barrier for Planned Writes
• Optimistic Locking

Expressed by

• refusal_line

Severity

• contextual

Category

• Coordination Surfaces

Linked from

• Verify the verifier
• Anti-patterns
• Transactions / State / Concurrency
• Control / Coordination / Centralization
• Coordination Surfaces
• Severity levels

in this codebase

• models/coordination.model.md