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 09:31:54 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!nycmny1-snh1.gtei.net!nycmny1-snf1.gtei.net!news.gtei.net!colt.net!newsfeed.esat.net!2001:770:18:3:206:5bff:fef3:a19e.MISMATCH!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 16:31:53 GMT NNTP-Posting-Date: 12 Aug 2003 16:31:53 GMT NNTP-Posting-Host: 136.206.1.1 X-Trace: 1060705913 reader.news.heanet.ie 9256 [::ffff:136.206.1.1]:41207 Xref: archiver1.google.com comp.lang.ada:41352 Date: 2003-08-12T16:31:53+00:00 List-Id: Stephan Heinemann wrote: "Multiple protected entries are prohibited, saying that more than exactly one barrier could be opened at the same time and therefore introducing non-determinism as more than one task were able to enter the resource (YCS-2003-348 4.1.4). I cannot follow this reasoning as FIFO_Within_Priorities is used. Can anybody help me with this?" In article news:3F35AFA7.1030905@spam.com , Jeffrey Carter wrote: "Suppose 2 tasks have the same priority, [..]" The subject is "Re: Ravenscar - Multiple Protected Entries", not Ada 95. Ravenscar requires unique priorities. Cheerio, Colin Paul Gloster