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