[Haskell-cafe] Transactional memory going mainstream with Intel Haswell
ryani.spam at gmail.com
Thu Feb 16 22:14:50 CET 2012
It seems like it would still be useful for *optimizing* the implementation
of STM in Haskell; in particular, small transactions seem like a great way
to implement lock-free data structures by handling the non-composability of
So while you wouldn't implement "atomically a" by "XBEGIN; a; XEND", you
might implement atomically by doing the transaction log as we do now, then
using XBEGIN/XEND around the commit operation.
On Thu, Feb 9, 2012 at 11:12 AM, Austin Seipp <mad.one at gmail.com> wrote:
> Duncan Coutts talked a bit about this on Reddit here:
> On Thu, Feb 9, 2012 at 12:43 PM, Ben <midfield at gmail.com> wrote:
> > would any haskell STM expert care to comment on the possibilities of
> hardware acceleration?
> > best, ben
> > _______________________________________________
> > Haskell-Cafe mailing list
> > Haskell-Cafe at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe