# 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#lex-category-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 contract that carries the same name where one exists, and the layer its category belongs to. ### 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/lex-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/arch/petri-nets.md) ### 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/lex-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/arch/atomicity.md) ### BASE/Eventual Consistency - Kind: [model](https://banes-lab.com/records/kind/model.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/acid.md) ### Blind Overwrite - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/optimistic-locking.md) ### Concurrency Correctness - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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. Contract [Concurrency Correctness](https://banes-lab.com/records/algo/concurrency-correctness.md) Referenced by [Petri Nets](https://banes-lab.com/records/arch/petri-nets.md) ### Concurrency Safety - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which isolating state per unit keeps concurrent execution free of races. Referenced by [State Isolation](https://banes-lab.com/records/arch/state-isolation.md) ### Concurrent-Flow Modeling - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/petri-nets.md) ### Conflict Detection - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/optimistic-locking.md) ### Consistency Rules - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/transaction-boundary.md) ### Coordinated Persistence - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/unit-of-work-pattern.md) ### Data Sharing - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/state-isolation.md) ### Deadlock Freedom - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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. Referenced by [Petri Nets](https://banes-lab.com/records/arch/petri-nets.md) ### Deadlocks - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-category-transactions-state-concurrency.md) - Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md) Details Definition The degree to which acquiring multiple locks pessimistically risks two holders waiting on each other forever. Referenced by [Pessimistic Locking](https://banes-lab.com/records/arch/pessimistic-locking.md) ### 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/lex-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/arch/isolation.md) ### Distributed Availability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/acid.md) ### Distributed Scalability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/atomicity.md) ### Durability - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/acid.md) ### Effect Boundaries - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/controlled-side-effects.md) ### 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/lex-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/arch/transaction-boundary.md) ### 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/lex-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/arch/idempotency.md) ### 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/lex-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/arch/consistency.md) ### 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/lex-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/arch/transaction-boundary.md) ### Lock Ownership - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/pessimistic-locking.md) ### 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/lex-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/arch/pessimistic-locking.md) ### Modeling Overhead - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/petri-nets.md) ### 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/lex-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/arch/idempotency.md) ### Partial Commit - Kind: [anti-pattern](https://banes-lab.com/records/kind/anti-pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/atomicity.md) ### Performance Optimization - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/controlled-side-effects.md) ### Places and Transitions - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/petri-nets.md) ### Pure Core / Imperative Shell - Kind: [pattern](https://banes-lab.com/records/kind/pattern.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/controlled-side-effects.md) ### Reachability and Deadlock Analysis - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/petri-nets.md) ### Reliable State - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/consistency.md) ### Repository Complexity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/unit-of-work-pattern.md) ### Retry Complexity - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/optimistic-locking.md) ### Safe Concurrent Operations - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/isolation.md) ### Safe Parallel Mutation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/concurrency-control.md) ### Safe Retries - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/idempotency.md) ### Safe State Mutation - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/transaction-boundary.md) ### 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/lex-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/arch/unit-of-work-pattern.md) ### Shared State Identification - Kind: [constraint](https://banes-lab.com/records/kind/constraint.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/concurrency-control.md) ### State Tracking - Kind: [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/idempotency.md) ### Strong Conflict Prevention - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/pessimistic-locking.md) ### Strong Transactional Guarantees - Kind: [capability](https://banes-lab.com/records/kind/capability.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/acid.md) ### Version Field - Kind: [artifact](https://banes-lab.com/records/kind/artifact.md) - Category: [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lex-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/arch/optimistic-locking.md) ## 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/arch/petri-nets.md) - [capability](https://banes-lab.com/records/kind/capability.md) - [Atomicity](https://banes-lab.com/records/arch/atomicity.md) - [model](https://banes-lab.com/records/kind/model.md) - [ACID](https://banes-lab.com/records/arch/acid.md) - [Optimistic Locking](https://banes-lab.com/records/arch/optimistic-locking.md) - [quality-attribute](https://banes-lab.com/records/kind/quality-attribute.md) - [Concurrency Correctness](https://banes-lab.com/records/algo/concurrency-correctness.md) - [State Isolation](https://banes-lab.com/records/arch/state-isolation.md) - [constraint](https://banes-lab.com/records/kind/constraint.md) - [Transaction Boundary](https://banes-lab.com/records/arch/transaction-boundary.md) - [Unit of Work Pattern](https://banes-lab.com/records/arch/unit-of-work-pattern.md) - [Pessimistic Locking](https://banes-lab.com/records/arch/pessimistic-locking.md) - [Isolation](https://banes-lab.com/records/arch/isolation.md) - [Controlled Side Effects](https://banes-lab.com/records/arch/controlled-side-effects.md) - [Idempotency](https://banes-lab.com/records/arch/idempotency.md) - [Consistency](https://banes-lab.com/records/arch/consistency.md) - [pattern](https://banes-lab.com/records/kind/pattern.md) - [Concurrency Control](https://banes-lab.com/records/arch/concurrency-control.md) - [artifact](https://banes-lab.com/records/kind/artifact.md)