search

mcschroeder / thesis

Durability and Contention in Software Transactional Memory
7 stars 0 forks source link

Upstream GHC changes #1

Open cstrahan opened 8 years ago

cstrahan commented 8 years ago

Hello,

I was curious if you were planning to submit a patch upstream for the GHC changes. I saw the following thread on the mailing list, but I don't know if there was ever a ticket opened:

https://mail.haskell.org/pipermail/haskell-cafe/2015-July/120589.html

Either way, very interesting work :).

mcschroeder commented 8 years ago

Hi!

Yeah, I did plan to get my STM extension into GHC, but I got distracted by other things and never submitted a patch, and then life happened, and I never really got back to it... So it goes.

But: your interest kind of sparked my interest again, and I may have some time in the near future to actually submit a patch and go through the review process. It might yet happen!

So, thanks for your interest, I guess! :)

PS: If you have any interesting applications of any of the stuff from my thesis, I’d love to hear about them!

cstrahan commented 8 years ago

Awesome :).

Coincidentally, there was a post on the Haskell subreddit asking for something like this, shortly after I opened this issue:

https://www.reddit.com/r/haskell/comments/49ophr/io_inside_of_stm_monad/

whitehead1415 commented 8 years ago

I would definitely use this for the app that I am currently working on. I'm making a (potentially distributed) event sourced backend, that works a lot like akka persitence.

I was going to do some testing between using plain MVars and stm-io-hooks, but now I would like to test your finalizers vs MVars. Especially with the work you did to reduce contention!

mcschroeder commented 8 years ago

I've gone ahead and submitted my patch. Here's the trac ticket: https://ghc.haskell.org/trac/ghc/ticket/11713