concurrency guarentees clarification

[Marcin 'Qrczak' Kowalczyk]

John Meacham <john at repetae.net> 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 knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/