Re: requeue with abort and timed call

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sun, 4 Jan 2009 15:17:39 -0800 (PST), belteshazzar wrote:

> it was my understanding that pragma atomic does nothing for tasks, it
> just tells the compiler to ensure that the architecture implements
> atomic memory access.

and ensures that reads and updates are sequential, which in turn allows
sharing an atomic object by concurrent tasks, provided they only do
assigning and reading values. Without the pragma concurrent reading and
updating is erroneous RM 9.10 (11). [Granted, it is difficult to imagine a
situation when things might go wrong with a Boolean object.]

> also if pragma atomic is used this implies volatile.

Right, I was unsure about it, because logically one could have atomic
non-volatile, but I was too lazy to check.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de