I remember Simon Marlow mentoined that there should be a lot of low hanging
fruit in the STM implementation when I started looking at optimization
opportunities in the MVar implementation.
The STM implementation could probably be optimized even if you don't win
with the TSX implementation, so the probability of success with your thesis
could be quite high.
http://www.haskell.org/pipermail/ghc-devs/2013-February/000496.html
Alexander
On Mon, Nov 25, 2013 at 11:40 AM, Johan Astborg
Dear Haskellers,
I found Haskell and became enlightened for the first time in many years. I choose to continue on this path, and choose Haskell for my master thesis. I got some nice ideas from people on the #haskell channel . Altogether, I have elaborated a topic:
"Evaluating Intel TSX in a MVCC based STM implementation for Haskell"
The idea is to investigate whether the "new" Intel TSX can bring any value in terms of performance and saftey when implemented in a MVCC based STM to be used in the Haskell runtime system (GHC). The MVCC based STM using TSX will be evaluated and compared to the existing implementation, compiled with the two settings STM_CG_LOCK and STM_FG_LOCKS respectively.
The biggest challange still, is to convince Lund University, LTH, to accept my own master thesis project. I have to present a detailed synopsis about the project, for them to choose an examinator and supervisor. As they put it, the examinator "must have time" and it's up to that person to decide whether or not this project can be reality.
Feedback on any of these is highly appreciated:
1) Ideas and thoughts about this topic 2) Anyone interested in supervising (mainly formal) the project outside of LTH
Thanks, Johan Astborg
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe