Comments on 'Critical Races in Ada Programs'

Authors:
Carole M. McNamee;Ronald A. Olsson
Affiliations:
Univ. of California, Davis;Univ. of California, Davis
Venue:
IEEE Transactions on Software Engineering
Year:
1990

Citing 10
Cited 0

Concurrent C

Software—Practice & Experience
A review of Ada tasking

A review of Ada tasking
Rendezvous Facilities: Concurrent C and the Ada Language

IEEE Transactions on Software Engineering
Critical Races in Ada Programs

IEEE Transactions on Software Engineering
Concepts and Notations for Concurrent Programming

ACM Computing Surveys (CSUR)
Synchronizing Resources

ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed processes: a concurrent programming concept

Communications of the ACM
Limitations of synchronous communication with static process structure in languages for distributed computing

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Evaluating synchronization mechanisms

SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Synchronizing Resources

Synchronizing Resources

Quantified Score

Hi-index	0.00

Visualization

Abstract

Comments are made on the above named work by G.M. Karam, C.M. Stanczyk, and G.W. Bond, in which the semantics of the Ada rendezvous mechanism are discussed in terms of the critical race problem and a method is proposed for designing critical race-free programs. It is noted that this problem has been well described and numerous solutions have been presented in the literature during the past ten years (1980-90).