[Haskell-cafe] Master thesis project - Haskell STM

Carter Schonwald carter.schonwald at gmail.com
Mon Nov 25 16:35:01 UTC 2013


I believe Ryan Yates is actively working on at least some part of this
problem, worth asking him .   Likewise, any successful experimentation will
depend on some level of comfort with ghc hackig.

On Monday, November 25, 2013, Alexander Kjeldaas wrote:

> 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 <joastbg at gmail.com<javascript:_e({}, 'cvml', 'joastbg at gmail.com');>
> > wrote:
>
>> 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 at haskell.org <javascript:_e({}, 'cvml',
>> 'Haskell-Cafe at haskell.org');>
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131125/a331e73c/attachment.html>


More information about the Haskell-Cafe mailing list