[MLton] Transactions for ML

[Eric McCorkle]

On Apr 19, 2007, at 4:48 PM, Matthew Fluet wrote:

> While it may be difficult to adopt a C-library to support STM in  
> SML, another option to consider is an SML-library to support STM in  
> SML.
> ...
> I'm not sure I understand the issue here.  Why do TM systems need  
> to use the C-style stack?  And, why does that make it a non-starter  
> for MLton?
>

That was my point.  The best option seems to be to implement the  
library in SML.

>
> At the present time, a MLton compiled program is executed under a  
> single OS thread.  You can use that to your advantage (e.g.,  
> Ringenburg and Grossman's ICFP05 paper on AtomCaml).

Since I know someone's working on OS-level threads, I'd be loathe to  
do anything that relies on a single thread.  Also, I recall someone  
mentioning an implementation of the Cheng-Blelloch allocator a few  
months ago.  Are they still doing this?  If so, I'd be interested in  
experimenting with a compiler-based STM implementation that ties into  
this collector and the new OS-level thread system.

-- 
Eric McCorkle
Brown University
CS Graduate Student



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20070419/b8e31e4d/attachment.html