Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2004-10-30 (02:36)
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,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language