Lamport: sequential consistency for multiprocessors

What changed

Defined sequential consistency and sufficient ordering requirements for multiprocess execution.

Scientific scope

The record is Lamport's sole-author 1979 IEEE Transactions on Computers note. It does not imply that all hardware implements sequential consistency or absorb later weak-memory models, cache-coherence protocols and language memory models.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Lamport's sole-author 1979 IEEE Transactions on Computers note. It does not imply that all hardware implements sequential consistency or absorb later weak-memory models, cache-coherence protocols and language memory models.

Contributors

• Leslie Lamport · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Microsoft-hosted full text of Lamport multiprocessor paper
• IEEE DOI for Lamport multiprocessor paper

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction