What’s the underlying problem you’re trying to model?

On Tue, Jan 8, 2019 at 3:56 AM Phyx <lonetiger@gmail.com> wrote:

> Oh, I see :(  I guess it's not that easy of a fix then.  Perhaps the RTS could use a new intrinsic for blocking on foreign state

Yeah, that's what I was/am currently working on, "IOPort" has much of the same property of MVar but doesn't have this deadlock guarantee and only supports a single put/take at a time.

But debugging CMM is... not fun :( so I was wondering if I was just missing something with the existing mechanisms.

On Tue, Jan 8, 2019 at 8:23 AM Phil Ruffwind <rf@rufflewind.com> wrote:

> I did try removing this check to see, but it really didn't like that. It
> caused GC to be triggered over and over again as the RTS tried desperately
> to find something to do, doesn't seem to consider "do nothing" as a valid
> state.

Oh, I see :(  I guess it's not that easy of a fix then.  Perhaps the RTS could use a new intrinsic for blocking on foreign state.

_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs