Changes between Version 1 and Version 2 of Concurrency/DraftReportText


Ignore:
Timestamp:
Jan 15, 2007 3:33:10 PM (9 years ago)
Author:
malcolm.wallace@…
Comment:

minor edits

Legend:

Unmodified
Added
Removed
Modified
  • Concurrency/DraftReportText

    v1 v2  
     1[[PageOutline]]
    12= Draft Chapter: Concurrency =
    23
     
    1920This is called the ''fairness guarantee''.  An implementation technique that is often used to provide this fairness guarnatee is ''pre-emption'': running threads are periodically pre-empted in software in order to let other threads proceed.  There are other implementation techniques that also work; for example, hardware concurrency.  ('''ToDo''': move this text to a footnote or separate section?)
    2021
     22'''ToDo''': explain "blocking".
     23
    2124== The `ThreadId` type ==
    2225
     
    2932 * `Show`: the results are implementation-defined, this is mainly for debugging.
    3033
    31 == Communication ==
     34== Communication between Threads ==
    3235
    3336'''ToDo''': MVars or STM.