An axiomatic definition of synchronization primitives

@article{Martin1981AnAD,
  title={An axiomatic definition of synchronization primitives},
  author={Alain J. Martin},
  journal={Acta Informatica},
  year={1981},
  volume={16},
  pages={219-235}
}
SummaryThe semantics of a pair of synchronization primitives is characterized by three fundamental axioms: boundedness, progress, and fairness. The class of primitives fulfilling the three axioms is semantically defined. Unbuffered communication primitives, the symmetrical P and V operations, and the usual P and V operations are proved to be the three instances of this class. The definitions obtained are used to prove a series of basic theorems on mutual exclusion, producer-consumer coupling… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-7 OF 7 REFERENCES

Communicating Sequential Processes

C. A. R. Hoare
  • Commun. ACM
  • 1978
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

A class of allocation strategies inducing bounded delays only

E. W. Dijkstra
  • Proc. S.J.C.C., pp. 933-936
  • 1972
VIEW 2 EXCERPTS