[jhc] [BUG] Poke should use volatile.

Kiwamu Okabe kiwamu at gmail.com
Thu Mar 7 13:15:58 CET 2013

Hi Henning.
I don't know detail of C language...

On Thu, Mar 7, 2013 at 9:07 PM, Henning Thielemann
<lemming at henning-thielemann.de> wrote:
> Yes - at least this is the expected semantics of the IO monad.
> Unless someone has written a RULE that removes the duplicate peek. However,
> I think this is generally not a good idea, since even regular memory can be
> modified by a concurrent thread.

So clear.
Thank's a lot.
Kiwamu Okabe

More information about the jhc mailing list