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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a011e82e0079f0ea X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-08-12 12:10:30 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!in.100proofnews.com!in.100proofnews.com!feeder2.news.heanet.ie!not-for-mail Newsgroups: comp.lang.ada From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster) Subject: Re: Ravenscar - Multiple Protected Entries References: <3F35AFA7.1030905@spam.com> Reply-To: Colin_Paul_Gloster@ACM.org Message-ID: User-Agent: slrn/0.9.7.0 (SunOS) Organization: Dublin City University (DCU) Cache-Post-Path: ns1-ext.dcu.ie!unknown@camac.dcu.ie X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/) Date: 12 Aug 2003 19:10:30 GMT NNTP-Posting-Date: 12 Aug 2003 19:10:30 GMT NNTP-Posting-Host: 136.206.1.1 X-Trace: 1060715430 reader.news.heanet.ie 9256 [::ffff:136.206.1.1]:41207 Xref: archiver1.google.com comp.lang.ada:41357 Date: 2003-08-12T19:10:30+00:00 List-Id: Colin Paul Gloster alleged: "The subject is "Re: Ravenscar - Multiple Protected Entries", not Ada 95. Ravenscar requires unique priorities." In article news:bhb72d$qv$2@news.cs.tu-berlin.de Stephan Heinemann asked: "Are you sure? Could you provide a reference for this, please?" I could look a bit more, but I have not found support for my claim. However in my search I rediscovered something which shows that Jeff Carter's post which I was following up to should not be ignored because a Ravenscar task's priority can temporarily change: slide 20, page 16 of YCS-2003-348.pdf.