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/