Version française
Home     About     Download     Resources     Contact us    
Browse thread
atomicity guarantees for threaded code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] atomicity guarantees for threaded code
On Sat, 2004-10-30 at 12:07, David Brown wrote:

> I would argue that on a machine with 64-bit addresses, you can assume that
> 64-bit, aligned loads and stores will be atomic.

You can claim that this is the case a lot of the time.
But it isn't guarranteed by ISO C. To actually argue it
should be guarranteed you'd need to join WG14 and actually
propose it... :)

For Ocaml, you could ask Xavier ..

>   There is just too much
> code that wouldn't work. 

There is lots of code that actually *doesn't* work,
so this isn't much of an argument.. :)

I do agree I have been pushing the limits of imagination
playing Devil's Advocate .. you're probably right.
But that isn't a guarrantee.

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net