From: "Jean François Martinez" <darkquark99@gmail.com>
Subject: Re: Uneasy thoughts about priorities, priority inversion and protected objects
Date: Mon, 2 Mar 2015 03:29:06 -0800 (PST)
Date: 2015-03-02T03:29:06-08:00 [thread overview]
Message-ID: <a77c6dd8-69c2-4784-a851-8fefcd0f7cec@googlegroups.com> (raw)
In-Reply-To: <0925a2da-6cd2-4c06-bd20-1ffb3d14156b@googlegroups.com>
>
> Burns tells this model is recommended/mandated (don't remember) by the ARM.
>
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 and it looks there are two other policies one of them being the one I "invented" following my highly successful inventions of the wheel and hot water. :-)
Anyway "Earth swallow me!"
Jean François Martinez
prev parent reply other threads:[~2015-03-02 11:29 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-02-27 11:59 Uneasy thoughts about priorities, priority inversion and protected objects Jean François Martinez
2015-02-27 12:59 ` J-P. Rosen
2015-02-27 13:21 ` Dmitry A. Kazakov
2015-03-02 11:29 ` Jean François Martinez [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox