comp.lang.ada
 help / color / mirror / Atom feed
From: "REH" <spamjunk@stny.rr.com>
Subject: Re: protected type interrupts
Date: 24 Aug 2006 14:39:08 -0700
Date: 2006-08-24T14:39:08-07:00	[thread overview]
Message-ID: <1156455548.810837.209000@i42g2000cwa.googlegroups.com> (raw)
In-Reply-To: <1156454170.983452.318450@m79g2000cwm.googlegroups.com>


Adam Beneschan wrote:
> I'm just reading what the RM says.  But, although I'm not an expert at
> this, I don't believe your argument makes sense given the way protected
> objects are supposed to work.  A task cannot, of course, access data
> internal to a protected object directly; it has to call one of the PO's
> subprograms or entries to get it.  When it does so, then assuming
> Ceiling_Locking is in effect, no other task can use the PO---but it's
> not because other tasks are blocked, it's simply because the protected
> action runs at a higher priority than any task that could use the PO
> (and the protected action is supposed to complete very quickly).  So no
> mutual exclusion or blocking is necessary when calling protected
> subprograms.  At least I think that's how it works.
>
>                                  -- Adam

That makes sense.  Thanks.

REH




  reply	other threads:[~2006-08-24 21:39 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-08-24 14:47 protected type interrupts REH
2006-08-24 15:39 ` Jean-Pierre Rosen
2006-08-24 16:23   ` REH
2006-08-24 18:15     ` Adam Beneschan
2006-08-24 19:16       ` REH
2006-08-24 21:16         ` Adam Beneschan
2006-08-24 21:39           ` REH [this message]
2006-08-25  6:45           ` Jean-Pierre Rosen
2006-08-24 23:55         ` Jeffrey R. Carter
2006-08-25  6:42         ` Jean-Pierre Rosen
2006-08-24 23:47     ` Jeffrey R. Carter
2006-08-25  6:38     ` Jean-Pierre Rosen
2006-08-24 20:11 ` Simon Wright
2006-08-24 23:50 ` Jeffrey R. Carter
2006-08-25  6:48   ` Jean-Pierre Rosen
2006-08-25 11:33     ` REH
2006-08-25 17:27       ` Jean-Pierre Rosen
2006-08-25 20:57     ` Jeffrey R. Carter
2006-08-25 23:17       ` REH
2006-08-26  6:38         ` Jeffrey R. Carter
2006-08-26 13:16           ` REH
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox