Changes between Version 1 and Version 2 of Concurrency/DraftReportText


Ignore:
Timestamp:
Jan 15, 2007 3:33:10 PM (7 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.