Protected records in Ada 9X
Mike Kamrad · ACM SIGAda Ada Letters · 1991
Jrrtroductiortthe protected record is a new language structure for handling conditional critical regions .Protecte d Records support mutual exclusion between concurrent activities and task synchronization when th e condition is the signal that permits the caller access to the critical region .the protected record has a specification and a separate body-.The example below shows a protecte d record type for a counting semaphore .In the specification, the user defines the protected operation s available for the protected record and the list of components are part of the "state' of the protected recor d and are unique to that protected record l he body of the protected records contains only the bodies o f protected operations that are visible in the specification and additional ones that arc internal to th e protected record .he body of the protected record contains no sequence of statements ; therefore, it ha s no thread of control not does it perform any hidden elaboration .