[MLton] Re: [MLton-user] FFI and pointer relocation

[Matthew Fluet]

On Wed, 28 Nov 2007, Henry Cejtin wrote:
> Watch  out:  having  a  single global value where the the time is transferred
> will cause problems with multiple threads.
> We really need something like the once function that is more  efficient  for
> this or some kind of atomic region.

The Posix.Error.SysCall (private to the Basis Library implementation) 
structure ensures that a "post" action runs in the atomic region after a 
system call, and is often used to fetch values that were set by the system 
call.