On Wed, 12 Mar 2003 00:14:54 +0100, Wolfgang Thaller
Daan Leijen wrote:
the eventloop will immediately wait for the next event. As this is a C call, the haskell runtime system will not run any haskell threads.
That is not guaranteed, it is not part of the FFI specification.
I know. Just wanted to explain why the "byedemo" examples are not buggy, which eventually lead to this lengthy explanation of how most implementations work.
Therefore I think that we should either a) specify that the CGA has to provide all the necessary synchronization to ensure proper operation in the presence of concurrency (this might be done using mvars). b) specify that the CGA may only be used when proper serialization is ensured by the user.
I'm strongly in favour of a),
I am too. Cheers, Daan.