* 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