[m-dev.] Interleaved output in hlc.gc.par

Paul Bone paul at bone.id.au
Thu Sep 17 17:01:59 AEST 2015

On Thu, Sep 17, 2015 at 05:00:27PM +1000, Peter Wang wrote:
> On Thu, 17 Sep 2015 16:36:42 +1000, Paul Bone <paul at bone.id.au> wrote:
> > 
> > Should a user reasonably expect calls to io.format to be atomic with respect
> > to the IO state?  I ask because this creates an inconsistency.
> I don't think so.  It is the user's responsibility to serialise any
> concurrent uses of the stream.  It's not specific to io.format.
> Two threads calling write_string may produce output with interleaved
> characters, e.g. "Hweolrllod !"


1) How can users control this for cases when they need to?
2) Why are we writing character by character?!?!

Paul Bone

More information about the developers mailing list