Re: Parallelizing the Weak Pointer Lock

Yes, this should be easy to fix, it just hasn't been done. Edward Excerpts from Carter Schonwald's message of 2014-05-28 11:21:30 -0700:

@Edwardk, ezyang has a ticket on this very topic! https://ghc.haskell.org/trac/ghc/ticket/9075

(is that what you're thinking?)

On Wed, May 28, 2014 at 7:16 AM, Edward Kmett wrote:

...

How hard *would* it be to replace the global weak pointer lock with something that scales better?

I'm looking at switching some of my older BDD code into Haskell.

To do so I'd love to be able to use an "intuitive" weak-pointer based cache management scheme, but I have to confess the notion of a global lock getting in the way basically damns whatever solution I come up with to be a single-threaded toy. =/

If I'm trying to sell Haskell's parallelism to others, it seems my only winning moves right now are:

1.) play less satisfying games with typed regions, which scale less well than the tried and tested solutions of GCing hash-consed BDD structures.

2.) just tackle the problem that allocating a weak pointer grabs a global lock.

3.) not to play the game

-Edward

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs