concurrency guarentees clarification

Marcin 'Qrczak' Kowalczyk qrczak at
Tue Apr 25 05:54:17 EDT 2006

John Meacham <john at> writes:

> * Foreign concurrent calls, handle IO, and all IO actions that directly
>   interact with the world outside the current process all must be
>   yield-points. (in addition to any yield-points implied by the progress
>   guarentee)

If an IO call includes a long period of waiting, we don't only want
it to yield before or after it. We want it to allow other threads
to proceed during the whole wait.

   __("<         Marcin Kowalczyk
   \__/       qrczak at

More information about the Haskell-prime mailing list