DocumentCode :
1248730
Title :
Comments on "Critical races in Ada programs
Author :
McNamee, Carole M. ; Olsson, Ronald A.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Davis, CA, USA
Volume :
16
Issue :
12
fYear :
1990
Firstpage :
1439
Abstract :
Comments are made on the above named work by G.M. Karam, C.M. Stanczyk, and G.W. Bond (see ibid., vol.15, no.11, p.1471-80, 1989), 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).<>
Keywords :
Ada; programming; Ada rendezvous mechanism; critical race problem; critical race-free programs; semantics; Bonding; Computer languages; Computer science; Design methodology; Discrete event simulation; Handicapped aids; Operating systems; Processor scheduling; Prototypes; Strontium;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/32.62452
Filename :
62452
Link To Document :
بازگشت