Changes between Version 42 and Version 43 of Concurrency


Ignore:
Timestamp:
Jun 7, 2006 11:07:46 AM (9 years ago)
Author:
simonmar@…
Comment:

add points from recent discussion: unsafePerformIO, lazy I/O, and coop concurrency

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency

    v42 v43  
    7878 * Long-running pure code must be refactored into the IO monad so
    7979   that explicit yield points can be inserted.
     80 * Lazy I/O is not non-blocking in a cooperative implementation, so
     81   lazy I/O would be restricted to single-threaded programs.
     82 * Extra restrictions: inside {{{unsafePerformIO}}} we can't guarantee that
     83   {{{yield}}} works, or that concurrent and/or reentrant foreign calls
     84   work as expected. (ditto {{{unsafeInterleaveIO}}}, which is why
     85   lazy I/O doesn't play with cooperative concurrency).
    8086
    8187[[BR]]