Re: [MLton] MLton race condition (similar to what was solved by structure One)?

Henry Cejtin <[email protected]> Mon, 30 Mar 2015 21:30:45 -0500
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAPKXxCog3Tn4+b5F=T6O1YTDv-_aJXEm+uhqSoxYAQ68=LHjoA@mail.gmail.com>
Yes,  this  is  definitely  broken.   I made a signal handler which just
converts a real (9.0) to a string using Real.toString, and then had  the
program  convert a different real (1.0) to a string using Real.toString.
Then used gdb to set a breakpoint at Real64_gdtoa, ran the program,  and
at  the breakpoint set it the signal.  The result was that both calls to
Real.toString returned "9".

I actually would have expected this to work OK and to only get both  "9"
if  I  set  the breakpoint (and hence got the signal) after Real64_gdtoa
computed its result (but before Real.toString finished).

------------------------------------------------------------------------------
Dive into the World of Parallel Programming The Go Parallel Website, sponsored
by Intel and developed in partnership with Slashdot Media, is your hub for all
things parallel software development, from weekly thought leadership blogs to
news, videos, case studies, tutorials and more. Take a look and join the 
conversation now. http://goparallel.sourceforge.net/