Folks
There was a spirited debate about the relationship between native OS
threads and Haskell threads. I got very confused. To clear up my
brain, Simon and I wrote a little operational semantics that tries to
make precise what is going on. It's in CVS as
haskell-report/ffi/threads.tex
(Style files in haskell-report/styles)
I did send this round a couple of weeks ago, and others made a couple of
updates, but it seems to have killed the discussion stone dead!
The (updated) postscript is at
http://research.microsoft.com/~simonpj/tmp/threads.ps
So I thought I'd mention it again. Apart from anything else, it'd be
nice to get a merger of Wolfgang and Alastair's notes into the early
sections of the document.
Simon
_______________________________________________
FFI mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/ffi
