Encyclopedia > Regular semantics

  Article Content

Regular semantics

Regular 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 formally in Lamport's "On Interprocess Communication" Distributed Computing 1, 2 (1986), 77-101. (Also appeared as SRC Research Report 8).

Regular semantics are defined for a variable with a single writer but multiple readers. These semantics are stronger than safe semantics but weaker than atomic semantics: they guarantee that there is a total order to the write operations which is consistent with real-time and that read operations return either the value of the last completed write or that of one of the writes which are concurrent with the read.

see also: Atomic semantics and Safe semantics

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Ocean Beach, New York

... The per capita income for the village is $28,782. 11.5% of the population and 15.2% of families are below the poverty line. Out of the total people living in ...

This page was created in 23.2 ms