From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,907cb35e4e61fd6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-04-25 13:03:07 PST
Newsgroups: comp.lang.ada
Path: 
 newsfeed.google.com!newsfeed.stanford.edu!news.ems.psu.edu!news.cis.ohio-state.edu!news.maxwell.syr.edu!newsfeed.skycache.com!Cidera!news-reader.ntrnet.net!uunet!ash.uu.net!xyzzy!nntp
From: Jeffrey Carter <jeffrey.carter@boeing.com>
Subject: Re: How do protected types work?
X-Nntp-Posting-Host: e246420.msc.az.boeing.com
Content-Type: text/plain; charset=us-ascii
Message-ID: <3AE727E3.2E7099CB@boeing.com>
Sender: nntp@news.boeing.com (Boeing NNTP News Access)
Content-Transfer-Encoding: 7bit
Organization: The Boeing Company
X-Accept-Language: en
References: <9c6mar$c7$1@rdel.co.uk>
Mime-Version: 1.0
Date: Wed, 25 Apr 2001 19:39:15 GMT
X-Mailer: Mozilla 4.5 [en]C-CCK-MCD Boeing Kit  (WinNT; U)
Xref: newsfeed.google.com comp.lang.ada:6938
Date: 2001-04-25T19:39:15+00:00
List-Id: <comp.lang.ada>

The "canonical" implementation of protected types uses ceiling locking,
and is described in D.3 of the Ada 95 Rationale, which can be found on
www.adapower.com.