Very-High Level Concurrent Programming.
Abstract
The prime contribution of this dissertation is the creation of a programming style and environment that allows the human designers to develop an implementation independent, very high level functional view of concurrent systems. The translation of this view into a concurrently operating system is performed automatically. There is an emphasis on the human engineering aspects of the designer - computer interactions. The designers specify the problem through declaring variable structures and composing equations which relate the variables. The designers of a concurrent system interact with automatic systems on two levels: On the global level, the Configurator accepts as input a graph of the network of subsystems, modules and files. It verifies the validity of interfaces and implements the network by generating command language programs that set up communications and optimize parallelism among modules. The modules are executed under multiprogramming time sharing operating systems in respective sequential processors in a network. On the local level, the MODEL Compiler accepts as input an individual module specification. It performs checking of completeness and consistency of variables and equations and generates an optimized sequential program in a high level language (PL/I). Originator-supplied key words include: Configurations, Computer files.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1984
- Accession Number
- ADA150009
Entities
People
- Yu Shi
Organizations
- Moore School of Electrical Engineering