# Transactions / State / Concurrency > Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or… Page: Ontology · Lexicon Canonical: https://banes-lab.com/ontology/lexicon#lexicon-category-transactions-state-concurrency Listed in [Ontology · Lexicon](https://banes-lab.com/api/pages/ontology/lexicon.md), after [Taxonomy / Classification / Naming](https://banes-lab.com/ontology/lexicon/lexicon-category-taxonomy-classification-naming.md). Every term in this category is listed as one record, with its kind, its definition and its aliases, the principles whose relations name it, the principle or contract that carries the same name where one exists, and the layer its category belongs to. A tag category also gives each term an example, which is the file the tag places or the rename from a refused word onto a covering tag. ### Ad-Hoc Lock Ordering - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Ordering lock acquisition by hand-reasoning rather than a proven scheme, inviting deadlock. Referenced by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) How it is checked Checked by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### All-or-Nothing State Change - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to apply a set of changes so that either all of them take effect or none do. Referenced by [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) How it is checked Checked by [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### BASE/Eventual Consistency - Kind: [model](https://banes-lab.com/records/kind/model.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition A consistency model favoring availability and soft state, letting replicas converge over time rather than staying strongly consistent. Referenced by [ACID](https://banes-lab.com/records/architecture/acid.md) How it is checked Checked by the tension resolution with acid Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Blind Overwrite - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Writing over another actor's update without checking whether the data changed first, silently losing it. Referenced by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) How it is checked Checked by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Concurrency Correctness - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which concurrent flows produce correct results free of races and lost updates, for example because each unit's state is isolated. Aliases Concurrency Safety Contract [Concurrency Correctness](https://banes-lab.com/records/algorithms/concurrency-correctness.md) Referenced by [State Isolation](https://banes-lab.com/records/architecture/state-isolation.md), [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Distinct from [Deadlock Freedom](https://banes-lab.com/records/lexicon/deadlock-freedom.md): Concurrency correctness is concurrent flows producing correct results, while deadlock freedom is those flows never halting for good. How it is checked Checked by [State Isolation](https://banes-lab.com/records/architecture/state-isolation.md), [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Concurrent-Flow Modeling - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to model concurrent token flow explicitly so its behavior can be analyzed. Referenced by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Distinct from [Reachability and Deadlock Analysis](https://banes-lab.com/records/lexicon/reachability-and-deadlock-analysis.md): Concurrent-flow modeling builds the explicit model of token flow, while reachability analysis examines which states that model can reach. How it is checked Checked by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Conflict Detection - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to detect that data changed since it was read, so a conflicting write can be rejected. Referenced by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) How it is checked Checked by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Consistency Rules - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The requirement that the invariants a transaction must preserve be defined for its scope. Referenced by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) How it is checked Checked by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Coordinated Persistence - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to commit a set of related changes together as one atomic unit of work. Referenced by [Unit of Work Pattern](https://banes-lab.com/records/architecture/unit-of-work-pattern.md) How it is checked Checked by [Unit of Work Pattern](https://banes-lab.com/records/architecture/unit-of-work-pattern.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Data Sharing - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which strictly isolating state limits components from directly sharing data. Referenced by [State Isolation](https://banes-lab.com/records/architecture/state-isolation.md) How it is checked Checked by the tension resolution with state-isolation Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Deadlock Freedom - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which a concurrent design is provably free of states where progress halts permanently, which acquiring several locks pessimistically puts at risk. Aliases Deadlocks Referenced by [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md), [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Distinct from [Lock-Free Throughput](https://banes-lab.com/records/lexicon/lock-free-throughput.md): Deadlock freedom is never halting for good, while lock-free throughput is sustaining speed by not holding locks at all. How it is checked Checked by the tension resolution with pessimistic-locking, [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Dirty Reads/Writes - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Reading or overwriting another transaction's uncommitted changes, so a rollback leaves corrupt data. Referenced by [Isolation](https://banes-lab.com/records/architecture/isolation.md) How it is checked Checked by [Isolation](https://banes-lab.com/records/architecture/isolation.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Distributed Availability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which insisting on strong transactional consistency reduces availability across a distributed system. Referenced by [ACID](https://banes-lab.com/records/architecture/acid.md) How it is checked Checked by the tension resolution with acid Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Distributed Scalability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which enforcing atomic transactions across nodes limits how far a system can scale out. Referenced by [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) How it is checked Checked by the tension resolution with atomicity Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Durability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which committed data survives crashes and is never lost once acknowledged. Referenced by [ACID](https://banes-lab.com/records/architecture/acid.md) How it is checked Checked by [ACID](https://banes-lab.com/records/architecture/acid.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Effect Boundaries - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The requirement that side effects be confined to explicit boundaries rather than scattered through pure logic. Referenced by [Controlled Side Effects](https://banes-lab.com/records/architecture/controlled-side-effects.md) How it is checked Checked by [Controlled Side Effects](https://banes-lab.com/records/architecture/controlled-side-effects.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Hidden Distributed Transaction - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition A transaction that silently spans service boundaries, coupling systems that should commit independently. Referenced by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) How it is checked Checked by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Idempotency Key or Deterministic Operation - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The requirement that an operation carry a deduplication key or be deterministic so repeating it is safe. Referenced by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) How it is checked Checked by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Inconsistent Replicas/Models - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Replicas or models that disagree on the same data, so reads return conflicting answers. Referenced by [Consistency](https://banes-lab.com/records/architecture/consistency.md) How it is checked Checked by [Consistency](https://banes-lab.com/records/architecture/consistency.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Large Transaction Scope - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which widening a transaction to cover more work increases contention and failure surface. Referenced by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) How it is checked Checked by the tension resolution with transaction-boundary Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Lock Ownership - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The requirement that a lock be exclusively held by one actor for the duration of a critical section. Referenced by [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md) How it is checked Checked by [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Lock-Free Throughput - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which a design sustains high throughput by coordinating concurrent access without holding locks. Referenced by [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md) How it is checked Checked by the tension resolution with pessimistic-locking Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Modeling Overhead - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which formally modeling concurrency as a net adds effort over writing the code directly. Referenced by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) How it is checked Checked by the tension resolution with petri-nets Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Non-Repeatable Side Effects - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Side effects whose repetition changes the outcome, so retrying an operation double-applies them. Referenced by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) How it is checked Checked by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Partial Commit - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Committing only some of a multi-step change after a failure, leaving state half-updated and inconsistent. Referenced by [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) How it is checked Checked by [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Performance Optimization - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which pushing side effects to the edges can forgo in-place optimizations that mutate for speed. Referenced by [Controlled Side Effects](https://banes-lab.com/records/architecture/controlled-side-effects.md) How it is checked Checked by the tension resolution with controlled-side-effects Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Places and Transitions - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The requirement that a modeled system be expressed as places holding tokens and transitions that move them. Referenced by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) How it is checked Checked by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Pure Core / Imperative Shell - Kind: [pattern](https://banes-lab.com/records/kind/pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition An arrangement that keeps decision logic pure and pushes all side effects to a thin outer shell. Referenced by [Controlled Side Effects](https://banes-lab.com/records/architecture/controlled-side-effects.md) How it is checked Checked by [Controlled Side Effects](https://banes-lab.com/records/architecture/controlled-side-effects.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Reachability and Deadlock Analysis - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to analyze which states a concurrent model can reach and whether any of them deadlock. Referenced by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) How it is checked Checked by [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Reliable State - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to trust that stored state always satisfies its invariants. Referenced by [Consistency](https://banes-lab.com/records/architecture/consistency.md) How it is checked Checked by [Consistency](https://banes-lab.com/records/architecture/consistency.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Repository Complexity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which coordinating saves through a unit of work adds indirection to the persistence layer. Referenced by [Unit of Work Pattern](https://banes-lab.com/records/architecture/unit-of-work-pattern.md) How it is checked Checked by the tension resolution with unit-of-work-pattern Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Retry Complexity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which rejecting conflicting writes pushes retry-and-merge logic onto callers. Referenced by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) How it is checked Checked by the tension resolution with optimistic-locking Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Safe Concurrent Operations - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to run concurrent transactions without their intermediate states interfering. Referenced by [Isolation](https://banes-lab.com/records/architecture/isolation.md) How it is checked Checked by [Isolation](https://banes-lab.com/records/architecture/isolation.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Safe Parallel Mutation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to let multiple actors mutate shared state in parallel without corrupting it. Referenced by [Concurrency Control](https://banes-lab.com/records/architecture/concurrency-control.md) How it is checked Checked by [Concurrency Control](https://banes-lab.com/records/architecture/concurrency-control.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Safe Retries - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to retry an operation without fear of duplicating its effects. Referenced by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) How it is checked Checked by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Safe State Mutation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to mutate state within a bounded transaction so partial failures cannot corrupt it. Referenced by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) How it is checked Checked by [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Scattered Save Calls - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition Persisting related changes through many independent save calls, so a mid-sequence failure leaves partial state. Referenced by [Unit of Work Pattern](https://banes-lab.com/records/architecture/unit-of-work-pattern.md) How it is checked Checked by [Unit of Work Pattern](https://banes-lab.com/records/architecture/unit-of-work-pattern.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Shared State Identification - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The requirement that all state shared between concurrent actors be identified before it is guarded. Referenced by [Concurrency Control](https://banes-lab.com/records/architecture/concurrency-control.md) How it is checked Checked by [Concurrency Control](https://banes-lab.com/records/architecture/concurrency-control.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### State Tracking - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which making operations idempotent requires tracking processed keys or prior state. Referenced by [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) How it is checked Checked by the tension resolution with idempotency Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Strong Conflict Prevention - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to prevent conflicting updates by locking data before it is modified. Referenced by [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md) How it is checked Checked by [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Strong Transactional Guarantees - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The ability to guarantee that a group of operations is atomic, consistent, isolated, and durable. Referenced by [ACID](https://banes-lab.com/records/architecture/acid.md) How it is checked Checked by [ACID](https://banes-lab.com/records/architecture/acid.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ### Version Field - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition A field on a record whose value changes on each write, used to detect concurrent modification. Referenced by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) How it is checked Checked by [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) Population The term's definition and every architecture edge that names the term Freshness A verdict stands until the definition, the term's kind or an edge that names it changes Refusal The resolution gate fails an edge that resolves to no term, and a definition that opens as another kind Observation The resolution validator's pass over every edge target and every definition opening Evidence Watched to fire and to accept: a suite plants a term no edge names, a dangling dependency and a second check home, and the bundled terms pass Authoritative side The term record, which every edge that names the term cites Depends on Not answered Shape it refuses Not answered ## Links to - [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) - [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md) - [capability](https://banes-lab.com/records/kind/capability.md) - [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) - [model](https://banes-lab.com/records/kind/model.md) - [ACID](https://banes-lab.com/records/architecture/acid.md) - [Optimistic Locking](https://banes-lab.com/records/architecture/optimistic-locking.md) - [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - [Concurrency Correctness](https://banes-lab.com/records/algorithms/concurrency-correctness.md) - [State Isolation](https://banes-lab.com/records/architecture/state-isolation.md) - [Deadlock Freedom](https://banes-lab.com/records/lexicon/deadlock-freedom.md) - [Reachability and Deadlock Analysis](https://banes-lab.com/records/lexicon/reachability-and-deadlock-analysis.md) - [constraint](https://banes-lab.com/records/kind/constraint.md) - [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md) - [Unit of Work Pattern](https://banes-lab.com/records/architecture/unit-of-work-pattern.md) - [Pessimistic Locking](https://banes-lab.com/records/architecture/pessimistic-locking.md) - [Lock-Free Throughput](https://banes-lab.com/records/lexicon/lock-free-throughput.md) - [Isolation](https://banes-lab.com/records/architecture/isolation.md) - [Controlled Side Effects](https://banes-lab.com/records/architecture/controlled-side-effects.md) - [Idempotency](https://banes-lab.com/records/architecture/idempotency.md) - [Consistency](https://banes-lab.com/records/architecture/consistency.md) - [pattern](https://banes-lab.com/records/kind/pattern.md) - [Concurrency Control](https://banes-lab.com/records/architecture/concurrency-control.md) - [artifact](https://banes-lab.com/records/kind/artifact.md)