Synchronization of nested atomic actions

Anand R Tripathi, Zine Attia El Hili

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

The concept of atomic actions has been a useful and powerful abstraction in designing concurrent and fault‐tolerant systems. Nested atomic actions are used in hierarchically structured systems where an atomic action may itself be composed of other atomic actions. This paper presents a semaphore‐based protocol for synchronizing a set of concurrently executing nested atomic actions. The approach followed consists of first designing a protocol for synchronizing non‐nested actions, and then extending it to the nested case. The paper also details the difficulties involved in integrating deadlock resolution algorithms into the synchronization protocol. Both deadlock‐prevention and deadlock‐detection schemes for handling deadlocks are discussed.

Original languageEnglish (US)
Pages (from-to)773-798
Number of pages26
JournalSoftware: Practice and Experience
Volume20
Issue number8
DOIs
StatePublished - Aug 1990

Keywords

  • Atomic actions
  • Concurrency control
  • Distributed systems
  • Operating systems
  • Synchronization
  • Transaction management

Fingerprint Dive into the research topics of 'Synchronization of nested atomic actions'. Together they form a unique fingerprint.

Cite this