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

[Paul Bone]

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 !"

Oh,

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


-- 
Paul Bone