Linearizability: a correctness condition for concurrent objects

Herlihy, M., & Wing, J. (1990). Linearizability: a correctness condition for concurrent objects.

Type

Journal article

Intellectual base

Primary research

Year

1990

Link

https://doi.org/10.1145/78969.78972 not authoritativeverified

Cited by

1 citation across 1 artifact.

Mechanisms

• Deterministic State-Machine Application
  • The guarding discipline is to keep every nondeterministic input inside the decided command, version the application logic, and fence external effects — treating linearizability

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:641d2bcb011c · see in the full table