Jump to content

Atomic semantics

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 79.123.87.12 (talk) at 20:39, 11 December 2014 (Revert. Most of teh new content would be totally incomprehensible to a general reader of Wikipedia, without detailed background knowledge.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Atomic semantics is a term which describes the guarantees provided by a data register shared by several processors in a parallel machine or in a network of computers working together.

Atomic semantics are defined for a variable with a single writer but multiple readers. These semantics are very strong: they guarantee that the read and write operations to the variable behave exactly as if they happened instantaneously in some point in time which is within the actual time where the operation took place.

See also

References

  • Atomic semantics are defined formally in Lamport's "On Interprocess Communication" Distributed Computing 1, 2 (1986), 77-101. (Also appeared as SRC Research Report 8).
Retrieved from "https://en.wikipedia.org/w/index.php?title=Atomic_semantics&oldid=637673590"