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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.66.122.35 with SMTP id lp3mr537399pab.38.1425295747843; Mon, 02 Mar 2015 03:29:07 -0800 (PST) X-Received: by 10.140.97.200 with SMTP id m66mr356294qge.42.1425295746583; Mon, 02 Mar 2015 03:29:06 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!hl2no2080567igb.0!news-out.google.com!n6ni190qar.0!nntp.google.com!j7no10190028qaq.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 2 Mar 2015 03:29:06 -0800 (PST) In-Reply-To: <0925a2da-6cd2-4c06-bd20-1ffb3d14156b@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=212.99.10.162; posting-account=ku4DIwoAAACRt0A2H-srh5aOk_YodLAH NNTP-Posting-Host: 212.99.10.162 References: <0925a2da-6cd2-4c06-bd20-1ffb3d14156b@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Uneasy thoughts about priorities, priority inversion and protected objects From: =?ISO-8859-1?Q?Jean_Fran=E7ois_Martinez?= Injection-Date: Mon, 02 Mar 2015 11:29:06 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:25076 Date: 2015-03-02T03:29:06-08:00 List-Id: >=20 > Burns tells this model is recommended/mandated (don't remember) by the AR= M. >=20 Actually I misunderstood Burns. Burns never discussing other policies than= Ceiling_Locking and some hasty reading fom my part made me believe Ceiling= _Locking was the only possible policy in Ada. Actually the ARM _mandates_ = the Ceiling Locking Policy being implemented and _allows_ other policies. = At least that is what I understood of it. So I investigated Gnat's .ads an= d it looks there are two other policies one of them being the one I "invent= ed" following my highly successful inventions of the wheel and hot water. = :-) Anyway "Earth swallow me!" Jean Fran=E7ois Martinez