Evaluating synchronization mechanisms

In recent years, many high-level synchronization constructs have been proposed. Each claims to satisfy criteria such as expressive power, ease of use, and modifiability. Because these terms are so imprecise, we have no good methods for evaluating how well these mechanisms actually meet such requirements. This paper presents a methodology for performing such an evaluation. Synchronization problems are categorized according to some basic properties, and this categorization is used in formulating more precise definitions of the criteria mentioned, and in devising techniques for assessing how well those criteria are met.

[1]  T. Bloom.  SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE , 1979 .

[2]  Roy H. Campbell,et al.  The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[3]  Bruce K. Haddon.  Nested monitor calls , 1977, OPSR.

[4]  N. S. Barnett,et al.  Private communication , 1969 .

[5]  A. Nico Habermann,et al.  Towards the construction of verifiable software systems , 1976, Conference on Data: Abstraction, Definition and Structure.

[6]  David Lorge Parnas,et al.  Concurrent control with “readers” and “writers” , 1971, CACM.

[7]  Andrew M. Lister.  The problem of nested monitor calls , 1977, OPSR.

[8]  A. N. Habermann,et al.  Towards the construction of verifiable software systems , 1976, SIGMOD 1976.

[9]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[10]  Carl Hewitt,et al.  Specification and Proof Techniques for Serializers , 1979, IEEE Transactions on Software Engineering.

[11]  Craig Schaffert,et al.  Abstraction mechanisms in CLU , 1977, Commun. ACM.

[12]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[13]  John H. Howard.  Signaling in monitors , 1976, ICSE '76.

[14]  Stanley A. Kurzban,et al.  Operating systems principles , 1975 .

[15]  M. S. Laventhal.  SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS , 1978 .

[16]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.