{
  "code": null,
  "collection": "architecture",
  "href": "https://banes-lab.com/ontology#architecture-happens-before-relationship",
  "id": "happens-before-relationship",
  "kind": "model",
  "layer": {
    "href": "https://banes-lab.com/ontology/schema#layer-causality-core",
    "json": "https://banes-lab.com/json/records/layer/causality-core",
    "label": "Causality Core",
    "markdown": "https://banes-lab.com/records/layer/causality-core.md",
    "ref": "layer:causality-core"
  },
  "name": "Happens-Before Relationship",
  "ref": "architecture:happens-before-relationship",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-ordering-semantics",
          "json": "https://banes-lab.com/json/records/lexicon/ordering-semantics",
          "label": "Ordering Semantics",
          "markdown": "https://banes-lab.com/records/lexicon/ordering-semantics.md",
          "ref": "lexicon:ordering-semantics"
        }
      ],
      "relation": "requires"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-correctness",
          "json": "https://banes-lab.com/json/records/architecture/correctness",
          "label": "Correctness",
          "markdown": "https://banes-lab.com/records/architecture/correctness.md",
          "ref": "architecture:correctness"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-causal-reasoning",
          "json": "https://banes-lab.com/json/records/lexicon/causal-reasoning",
          "label": "Causal Reasoning",
          "markdown": "https://banes-lab.com/records/lexicon/causal-reasoning.md",
          "ref": "lexicon:causal-reasoning"
        }
      ],
      "relation": "reinforces"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-race-detection",
          "json": "https://banes-lab.com/json/records/lexicon/race-detection",
          "label": "Race Detection",
          "markdown": "https://banes-lab.com/records/lexicon/race-detection.md",
          "ref": "lexicon:race-detection"
        }
      ],
      "relation": "enables"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-race-conditions",
          "json": "https://banes-lab.com/json/records/lexicon/race-conditions",
          "label": "Race Conditions",
          "markdown": "https://banes-lab.com/records/lexicon/race-conditions.md",
          "ref": "lexicon:race-conditions"
        }
      ],
      "relation": "conflicts-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-parallel-execution",
          "json": "https://banes-lab.com/json/records/lexicon/parallel-execution",
          "label": "Parallel Execution",
          "markdown": "https://banes-lab.com/records/lexicon/parallel-execution.md",
          "ref": "lexicon:parallel-execution"
        }
      ],
      "relation": "tensions-with"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#tension-happens-before-relationship-parallel-execution",
          "json": "https://banes-lab.com/json/records/tension/happens-before-relationship-parallel-execution",
          "label": "Happens-Before Relationship / Parallel Execution",
          "markdown": "https://banes-lab.com/records/tension/happens-before-relationship-parallel-execution.md",
          "ref": "tension:happens-before-relationship-parallel-execution"
        }
      ],
      "relation": "tensions"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-race-conditions",
          "json": "https://banes-lab.com/json/records/lexicon/race-conditions",
          "label": "Race Conditions",
          "markdown": "https://banes-lab.com/records/lexicon/race-conditions.md",
          "ref": "lexicon:race-conditions"
        }
      ],
      "relation": "violated-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-apply-concurrency-control",
          "json": "https://banes-lab.com/json/records/lexicon/apply-concurrency-control",
          "label": "Apply Concurrency Control",
          "markdown": "https://banes-lab.com/records/lexicon/apply-concurrency-control.md",
          "ref": "lexicon:apply-concurrency-control"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-make-order-explicit",
          "json": "https://banes-lab.com/json/records/lexicon/make-order-explicit",
          "label": "Make Order Explicit",
          "markdown": "https://banes-lab.com/records/lexicon/make-order-explicit.md",
          "ref": "lexicon:make-order-explicit"
        }
      ],
      "relation": "refactored-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/schema#vocabulary-severity-contextual",
          "json": "https://banes-lab.com/json/records/vocabulary/severity-contextual",
          "label": "contextual",
          "markdown": "https://banes-lab.com/records/vocabulary/severity-contextual.md",
          "ref": "vocabulary:severity-contextual"
        }
      ],
      "relation": "severity"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-category-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/records/architecture-category/causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/records/architecture-category/causality-ordering-distributed-time.md",
          "ref": "architecture-category:causality-ordering-distributed-time"
        }
      ],
      "relation": "category"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology#architecture-hybrid-logical-clocks",
          "json": "https://banes-lab.com/json/records/architecture/hybrid-logical-clocks",
          "label": "Hybrid Logical Clocks",
          "markdown": "https://banes-lab.com/records/architecture/hybrid-logical-clocks.md",
          "ref": "architecture:hybrid-logical-clocks"
        }
      ],
      "relation": "required-by"
    },
    {
      "links": [
        {
          "href": "https://banes-lab.com/disciplined-methodology/collaborate#stating-an-invariant",
          "json": "https://banes-lab.com/json/disciplined-methodology/collaborate/stating-an-invariant",
          "label": "Stating an invariant",
          "markdown": "https://banes-lab.com/disciplined-methodology/collaborate/stating-an-invariant.md",
          "ref": "chapter:/disciplined-methodology/collaborate#stating-an-invariant"
        },
        {
          "href": "https://banes-lab.com/software-architecture/principles#execution-joins-the-halves",
          "json": "https://banes-lab.com/json/software-architecture/principles/execution-joins-the-halves",
          "label": "Execution joins the halves",
          "markdown": "https://banes-lab.com/software-architecture/principles/execution-joins-the-halves.md",
          "ref": "chapter:/software-architecture/principles#execution-joins-the-halves"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-causality-ordering-distributed-time.md",
          "ref": "chapter:/ontology#architecture-category-causality-ordering-distributed-time"
        },
        {
          "href": "https://banes-lab.com/ontology#architecture-category-correctness-determinism-verification",
          "json": "https://banes-lab.com/json/ontology/principles/architecture-category-correctness-determinism-verification",
          "label": "Correctness / Determinism / Verification",
          "markdown": "https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md",
          "ref": "chapter:/ontology#architecture-category-correctness-determinism-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-behavioral-patterns",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-behavioral-patterns",
          "label": "Behavioral Patterns",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-behavioral-patterns.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-behavioral-patterns"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-causality-ordering-distributed-time",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-causality-ordering-distributed-time",
          "label": "Causality / Ordering / Distributed Time",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-causality-ordering-distributed-time.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-causality-ordering-distributed-time"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-core-vocabulary",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-core-vocabulary",
          "label": "Core Vocabulary",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-core-vocabulary.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-core-vocabulary"
        },
        {
          "href": "https://banes-lab.com/ontology/lexicon#lexicon-category-transactions-state-concurrency",
          "json": "https://banes-lab.com/json/ontology/lexicon/lexicon-category-transactions-state-concurrency",
          "label": "Transactions / State / Concurrency",
          "markdown": "https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md",
          "ref": "chapter:/ontology/lexicon#lexicon-category-transactions-state-concurrency"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-vocabulary-severity",
          "json": "https://banes-lab.com/json/ontology/schema/the-vocabulary-severity",
          "label": "Severity levels",
          "markdown": "https://banes-lab.com/ontology/schema/the-vocabulary-severity.md",
          "ref": "chapter:/ontology/schema#the-vocabulary-severity"
        },
        {
          "href": "https://banes-lab.com/ontology/schema#the-resolutions",
          "json": "https://banes-lab.com/json/ontology/schema/the-resolutions",
          "label": "The resolutions",
          "markdown": "https://banes-lab.com/ontology/schema/the-resolutions.md",
          "ref": "chapter:/ontology/schema#the-resolutions"
        }
      ],
      "relation": "linked-from"
    }
  ],
  "summary": "A conceptual representation of the partial order in which one operation is known to precede another.",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology#architecture-event-ordering",
      "json": "https://banes-lab.com/json/records/architecture/event-ordering",
      "label": "Event Ordering",
      "markdown": "https://banes-lab.com/records/architecture/event-ordering.md",
      "ref": "architecture:event-ordering"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology#architecture-causal-consistency",
      "json": "https://banes-lab.com/json/records/architecture/causal-consistency",
      "label": "Causal Consistency",
      "markdown": "https://banes-lab.com/records/architecture/causal-consistency.md",
      "ref": "architecture:causal-consistency"
    }
  },
  "up": {
    "href": null,
    "json": "https://banes-lab.com/json/api/records/architecture",
    "label": "Architecture principles",
    "markdown": "https://banes-lab.com/api/records/architecture.md",
    "ref": "api:records/architecture"
  },
  "aliases": [],
  "exemplar": {
    "after": "const a = { id: \"a\", ordinal: 1 };\nconst b = { id: \"b\", ordinal: 2, after: [a.id] };\nassert(happensBefore(a, b));",
    "before": "const a = { id: \"a\", at: Date.now() };\nconst b = { id: \"b\", at: Date.now() };",
    "lang": "ts",
    "medium": "code"
  },
  "formedBy": null,
  "scope": [
    "concurrency",
    "distributed events"
  ],
  "severity": "contextual"
}