Re: GNAT for MS Visual Studio

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 8 Pa , 12:32, Maciej Sobczak <see.my.homep...@gmail.com> wrote:


> Consider a container inside the protected object. The container
> presumably has access variables to actual contained objects (to
> elements) - some containers just cannot be implemented any other way.
> If the target objects are considered to be OUTside of the protected
> object and thus unprotected, then I'm looking forward to see an
> explanation how the synchronized manipulation of these contained
> objects is supposed to work.

Problem solved. The "missing part" is actually on the same page in
AARM, just few paragraphs later:

http://www.adaic.org/standards/05aarm/html/AA-9-10.html

14, 14.a, 14.b.

The latter is particularly significant, meaning that my example with
protected object used for protecting global variable is compliant.

It's not signalling which is important, but sequential execution and
signalling is not the only way to enforce sequential execution.

Still, 9.b and 14.b don't seem to be consistent with each other.

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com