From: Jorge Real <jorge@disca.upv.es>
Subject: Re: Ravenscar References
Date: Fri, 1 Feb 2019 02:06:54 -0800 (PST)
Date: 2019-02-01T02:06:54-08:00 [thread overview]
Message-ID: <12c933b6-b310-4dc4-bc13-747af7f55e4f@googlegroups.com> (raw)
In-Reply-To: <gbbnj1F65bbU1@mid.individual.net>
Niklas, I agree with your observation.
Fortunately, the Ravenscar guide is currently being adapted to ISO formatting so that it eventually becomes searchable in their archive. So there may be an opportunity to correct some typos and to also polish this part of the text. I was proposing other corrections and I have already pointed them to your remark as well.
Cheers,
Jorge.
El martes, 29 de enero de 2019, 20:24:19 (UTC+1), Niklas Holsti escribió:
> On 19-01-29 03:08 , Jorge Real wrote:
> > El jueves, 17 de enero de 2019, 6:31:34 (UTC+1), J-P. Rosen escribió:
> >> Le 16/01/2019 à 18:48, lyttlec a écrit :
> >>> Can anyone suggest a good reference on using the ravenscar profile? In
> >>> the Ada books I have, it only gets a one or two page mention. A
> >>> reference with an extended case study would be great.
> >>>
> >> Did you get the official report at
> >> http://www.open-std.org/jtc1/sc22/wg9/n424.pdf
> >> ?
> >
> > Note there is a revised version of of the Ravenscar guide at
> > http://www.open-std.org/JTC1/SC22/WG9/n575.pdf
> >
> > This version of June 2017 is adapted to Ada 2012 TC1.
>
> But, disappointingly, it still contains the (IMO) misleading advice that
> "All global objects that are either of a protected type or an atomic
> type may be safely shared".
>
> IMO atomic-type objects can be safely shared only if care is taken to
> follow a proper lock-free read/write protocol.
>
> --
> Niklas Holsti
> Tidorum Ltd
> niklas holsti tidorum fi
> . @ .
next prev parent reply other threads:[~2019-02-01 10:06 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-01-16 17:48 Ravenscar References lyttlec
2019-01-16 18:15 ` Simon Wright
2019-01-18 19:18 ` lyttlec
2019-01-20 17:12 ` Jeffrey R. Carter
2019-01-21 23:19 ` Randy Brukardt
2019-01-22 9:25 ` J-P. Rosen
2019-01-22 22:05 ` Randy Brukardt
2019-01-28 0:38 ` lyttlec
2019-01-17 5:31 ` J-P. Rosen
2019-01-17 8:46 ` Niklas Holsti
2019-01-29 1:08 ` Jorge Real
2019-01-29 19:24 ` Niklas Holsti
2019-02-01 10:06 ` Jorge Real [this message]
2019-02-02 2:13 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox