Semantics of shared variables in parallel programming languages
Thesis/Dissertation
·
OSTI ID:7183687
Chapter 1 surveys the status of shared variables in parallel programming languages, as well as pointing out the problems inherent in the use of shared variables and the importance of a semantic definition. The approach here to the semantics of shared variables is set forth, and used to highlight the deficiencies of shared variables in Ada. Chapter 2 presents a clear simple informal semantic model of shared variables based on the concepts of atomicity, uniqueness, and independence. The model captures the relationships between these concepts so that it can be used to resolve questions regarding packing, mutual exclusion, and local copies of shared variables. Chapter 3 discusses the deficiencies of shared variables in Ada. An informal semantic model of shared variables in Ada is presented in terms of the concepts of atomicity, uniqueness and independence. This informal semantic model serves as the basis for proposing changes to the section of the Ada Reference Manual dealing with shared variables for incorporation in a future revision. Chapter 4 shows how the Ada definition can be modified so that execution of programs such as the on-the-fly garbage collector and the Laplace's equation solver mentioned in Chapter 1 will no longer be qualified as erroneous.
- Research Organization:
- New York Univ., NY (USA)
- OSTI ID:
- 7183687
- Country of Publication:
- United States
- Language:
- English
Similar Records
Direct semantics of concurrent languages in the SMoLCS approach
Principles of programming languages: design
LEARNING SEMANTICS-ENHANCED LANGUAGE MODELS APPLIED TO UNSUEPRVISED WSD
Journal Article
·
Tue Sep 01 00:00:00 EDT 1987
· IBM J. Res. Dev.; (United States)
·
OSTI ID:5384759
Principles of programming languages: design
Book
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5724317
LEARNING SEMANTICS-ENHANCED LANGUAGE MODELS APPLIED TO UNSUEPRVISED WSD
Conference
·
Sun Jan 28 23:00:00 EST 2007
·
OSTI ID:985889