comp.lang.ada
 help / color / mirror / Atom feed
* 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