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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bc0243372a83bd07
X-Google-Attributes: gid103376,public
From: Tucker Taft <stt@averstar.com>
Subject: Re: Ceiling Locking, Priority Inversion, etc
Date: 1999/06/21
Message-ID: <376E76C0.BF265DB5@averstar.com>#1/1
X-Deja-AN: 492175598
Content-Transfer-Encoding: 7bit
Sender: news@inmet.camb.inmet.com (USENET news)
X-Nntp-Posting-Host: houdini.burl.averstar.com
References: <376DE6E0.2C04@gecms.com.au>
Content-Type: text/plain; charset=us-ascii
Organization: AverStar (formerly Intermetrics)  Burlington, MA  USA
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-06-21T00:00:00+00:00
List-Id: <comp.lang.ada>

Graeme Perkes wrote:
> 
> I need to create protected objects within the one application
> that provide FIFO or priority queuing mode and prevention of
> priority inversion. These characteristics are only needed by
> particular protected objects within my application.
> 
> The difficulty is that I can't use the configuration pragmas
> QUEUEING_POLICY or CEILING_LOCKING to do this - unfortunately,
> these apply to the entire program and not individual instances of
> protected objects.
> 
> Are there any simple ways to achieve this with Ada95?

It should be possible to implement priority queueing explicitly, using
"requeue" and Get_Priority(E'Caller), if the run-time is providing 
FIFO queueing.  So if you make the partition use FIFO queueing in 
general, you could make individual protected objects use priority queueing.

As far as prevention of priority inversion, why wouldn't it
be OK for ceiling_locking to be partition wide?

> I'm using GNAT on Solaris.
> 
> Cheers,
> --
> Graeme Perkes                        GEC Marconi Systems Pty Limited
> mailto:graeme.perkes@gecms.com.au    40-52 Talavera Road, North Ryde
> Tel: +61 2 9855 8961                 NSW 2113 Australia
> Fax: +61 2 9855 8884

-- 
-Tucker Taft   stt@averstar.com   http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions  (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.)   Burlington, MA  USA