* How do protected types work? @ 2001-04-25 14:18 Steve Folly 2001-04-25 18:49 ` Pascal Obry 2001-04-25 19:39 ` Jeffrey Carter 0 siblings, 2 replies; 3+ messages in thread From: Steve Folly @ 2001-04-25 14:18 UTC (permalink / raw) Hi, I'm interested in finding out how protected types are implemented. Before anyone says anything, yes, I know it's "an implementation detail". But I'm thinking there must be a standard way method of using semaphores and mutexes to allow multiple readers, or a single writer access to the object. Any info or links to the web will be welcome. Cheers, Steve Folly. ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: How do protected types work? 2001-04-25 14:18 How do protected types work? Steve Folly @ 2001-04-25 18:49 ` Pascal Obry 2001-04-25 19:39 ` Jeffrey Carter 1 sibling, 0 replies; 3+ messages in thread From: Pascal Obry @ 2001-04-25 18:49 UTC (permalink / raw) "Steve Folly" <steve.folly@uk.thalesgroup.com> writes: > Hi, > > I'm interested in finding out how protected types are implemented. Look at the GNAT sources, it's free... Pascal. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE --|------------------------------------------------------ --| http://perso.wanadoo.fr/pascal.obry --| --| "The best way to travel is by means of imagination" ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: How do protected types work? 2001-04-25 14:18 How do protected types work? Steve Folly 2001-04-25 18:49 ` Pascal Obry @ 2001-04-25 19:39 ` Jeffrey Carter 1 sibling, 0 replies; 3+ messages in thread From: Jeffrey Carter @ 2001-04-25 19:39 UTC (permalink / raw) 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. ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2001-04-25 19:39 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2001-04-25 14:18 How do protected types work? Steve Folly 2001-04-25 18:49 ` Pascal Obry 2001-04-25 19:39 ` Jeffrey Carter
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox