I believe Ryan Yates is actively working on at least some part of this problem, worth asking him <span></span>.   Likewise, any successful experimentation will depend on some level of comfort with ghc hackig.  <br><br>On Monday, November 25, 2013, Alexander Kjeldaas  wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>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.<br>
<br></div>

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.<br><div><br><a href="http://www.haskell.org/pipermail/ghc-devs/2013-February/000496.html" target="_blank">http://www.haskell.org/pipermail/ghc-devs/2013-February/000496.html</a><br>


<div class="gmail_extra"><br></div><div class="gmail_extra">Alexander<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Nov 25, 2013 at 11:40 AM, Johan Astborg <span dir="ltr"><<a href="javascript:_e({}, 'cvml', 'joastbg@gmail.com');" target="_blank">joastbg@gmail.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Dear Haskellers,</div><div><br></div><div>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:</div>



<div><br></div><div>"Evaluating Intel TSX in a MVCC based STM implementation for Haskell"</div><div><br></div><div>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. </div>



<div><br></div><div>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.</div>



<div><br></div><div>Feedback on any of these is highly appreciated:</div><div><br></div><div>1) Ideas and thoughts about this topic</div><div>2) Anyone interested in supervising (mainly formal) the project outside of LTH</div>



<div><br></div><div>Thanks,</div><div>Johan Astborg</div></div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="javascript:_e({}, 'cvml', 'Haskell-Cafe@haskell.org');" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div></div></div>
</blockquote>