Hi! On Sat, Dec 25, 2010 at 11:58 AM, Edward Z. Yang <ezy...@mit.edu> wrote: > I think you're right. A further comment is that you don't really need > stringent timing conditions (which is the only thing I think of when > I hear "race") to see another thread "grab" the mvar underneath > you
Yes, MVars are (bounded, 1 space long) queues with predictable behavior. Maybe we should change documentation for swapMVar (and others) and replace notion of race condition with that it can block. This would be also in accordance with functions I proposed. So current functions are blocking (and we document that) and we introduce non-blocking versions. Mitar _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe