Ada 9X protected types in Pascal-FC

  • Authors:
  • A. Burns;G. L. Davies

  • Affiliations:
  • -;-

  • Venue:
  • ACM SIGAda Ada Letters
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.