Preliminary Specification of Real-Time PASCAL.
Abstract
This report is the preliminary specification of the PASCAL based language, Real-Time PASCAL, which is designed to meet the requirements of real-time training device applications. The language is an amalgamation of ideas that for the most part have already been proved to be effective and useful. Modifications and extensions were incorporated in a manner consistent with the style of PASCAL. They mainly consist of the introduction of concurrent processes and constructs to control their creation, termination, scheduling and synchronization; real-time control; and different primitives for performing I/O. The language features permit a user to program a stand alone system assuming no underlying operating system support. Requisite operations system features can be built upon the kernel of real-time PASCAL which performs process management, memory management, I/O management, real-time control, and gives exclusive access to monitors. Further research effort is recommended to develop better language facilities for I/O exceptional conditions, allocation of processors to concurrent processes and protection mechanisms.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1976
- Accession Number
- ADA031451
Entities
People
- Charles E. Lindahl
- Gilbert J. Hansen
Organizations
- University of Florida