Concurrent programming in Ada
The teaching language Pascal-FC
The Computer Journal - Special issue on procedural programming
In support of the Ada 9X real-time facilities
ACM SIGAda Ada Letters
Concurrent programming
Monitors: an operating system structuring concept
Communications of the ACM
Communications of the ACM
A problem with Ada and resource allocation
ACM SIGAda Ada Letters
Translation of the protected type mechanism in Ada 83
ACM SIGAda Ada Letters
Hi-index | 0.00 |
In concurrent languages whose inter-process communication and synchronisation is based on message-passing, passive objects such as buffers are generally implemented as processes (tasks). This practice is not wholly satisfactory. The Ada9X mapping team have introduced the protected type as an abstraction for passive objects. This paper briefly describes the proposal and then reports on the introduction of a similar structure into Pascal-FC, a language designed for use in teaching concurrent programming. The paper therefore helps to inform the Ada community of this new feature in the language. Examples are given. Pascal-EC is freely available.