Changes between Version 2 and Version 3 of Ticket #75


Ignore:
Timestamp:
May 3, 2006 2:05:14 AM (9 years ago)
Author:
wellsed
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #75

    • Property Summary changed from Implement STM Haskell using micro-threads to Implement STM Haskell for user-space micro-threads
  • Ticket #75 – Description

    v2 v3  
    1 Following the work of the "Composable Memory Transactions" [1] team of implementing STM Haskell on top of Concurrent Haskell [2] threads, I would like to implement a version of STM Haskell on top of micro-threads.  The main goal would be to ease the development of micro-thread synchronization primitives that do not depend upon the much heavier Concurrent Haskell primitives.  The micro-threading model will be based on either Resumption Monad Transformers [3] or the CPS Monad [4], with the current bias to the former.  Both STM Haskell and micro-threads are emerging as extremely useful tools in concurrent programming.  This project will, hopefully, allow both techniques to be used with good results.  With luck, benchmarking will be performed. 
     1Following the work of the "Composable Memory Transactions" [1] team of implementing STM Haskell on top of Concurrent Haskell [2] threads, I would like to implement a version of STM Haskell on top of user-space micro-threads.  The main goal would be to ease the development of user-space micro-thread synchronization primitives that do not depend upon Concurrent Haskell primitives or the underlying language runtime and operating system.  This allows the new STM Haskell to be authored in pure Haskell for user-space micro-thread programs.  The micro-threading model will be based on either Resumption Monad Transformers [3] or the CPS Monad [4], with the current bias to the former.  Target applications are network servers, operating systems (e.g., House [5]), computer games, and graphical user interfaces.  With luck, benchmarking will be performed with a non-trivial application. 
    22 
    33Research Links: 
     
    1111[4] http://www.cis.upenn.edu/~lipeng/papers/lz06submitted.pdf 
    1212 
     13[5] http://www.cse.ogi.edu/~hallgren/House/ 
     14 
    1315== Interested Students == 
    1416 * Ed Wesley Wells <[mailto:[email protected]]>