<div dir="ltr"><div><div><div><div><div>Hello,<br></div>I am wondering if GHC is now thread-safe.<br></div>I am using Hint, and it reports that GHC is not thread-safe, and that I can't safely run two instances of the interpreter simultaneously.<br></div>Is that still the case?<br></div>Thanks!<br></div>Corentin<br><div><div><div><div><div><div><div><br><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Daniel Gorín</b> <span dir="ltr"><<a href="mailto:jcpetruzza@gmail.com">jcpetruzza@gmail.com</a>></span><br>Date: Thu, Aug 27, 2015 at 5:09 PM<br>Subject: Re: Thread-safe Hint<br>To: Corentin Dupont <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>><br><br><br>Hi Corentin,<br>
<br>
sorry for the late reply. Until relatively recently, the problem was still on. But I too remember seeing something related to this issue being fixed (iirc, the problem was the runtime linker, which used global state), so perhaps it is already fixed in 7.10. If you can verify this, it shouldn’t be hard to show the error message only on old versions of ghc. I’ll be away for a couple of weeks, but if you want to look into this and send a patch, I’ll merge it when I return.<br>
<br>
Cheers,<br>
Daniel<br>
<div class=""><div class="h5"><br>
> On 24 Aug 2015, at 10:43 am, Corentin Dupont <<a href="mailto:corentin.dupont@gmail.com">corentin.dupont@gmail.com</a>> wrote:<br>
><br>
> Hello Daniel,<br>
> I noticed the following message in Hint:<br>
> This version of GHC is not thread-safe,can't safely run two instances of the interpreter simultaneously.<br>
><br>
> Is it still the case with recent versions of GHC?<br>
> It would be neat to be able to launch several instances of the interpreter. In my game Nomyx I have several "match-up" going on and having one instance of the interpreter would be nicer. Otherwise I am obliged to reset the interpret each time I want to interpret something, which is time consuming (2-3 seconds).<br>
><br>
> Thanks,<br>
> C<br>
<br>
</div></div></div><br></div></div></div></div></div></div></div></div>