# Shared State Identification

> The requirement that all state shared between concurrent actors be identified before it is guarded.

Record: `lexicon:shared-state-identification`
Kind: constraint
Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-shared-state-identification

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Safe Parallel Mutation](https://banes-lab.com/records/lexicon/safe-parallel-mutation.md) and before [Blind Overwrite](https://banes-lab.com/records/lexicon/blind-overwrite.md).

## Category

- [Transactions / State / Concurrency](https://banes-lab.com/records/lexicon-category/transactions-state-concurrency.md)

## Required by

- [Concurrency Control](https://banes-lab.com/records/architecture/concurrency-control.md)

## Linked from

- [Transactions / State / Concurrency](https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md)
