Changes between Version 2 and Version 3 of Commentary/Rts/STM


Ignore:
Timestamp:
Jan 29, 2014 1:31:35 PM (15 months ago)
Author:
Tarrasch
Comment:

spelling

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/STM

    v2 v3  
    2323 
    2424Read set 
    25   The set of {{{TVar}}}s that are read, but not written to durring a transaction. 
     25  The set of {{{TVar}}}s that are read, but not written to during a transaction. 
    2626Write set 
    27   The set of {{{TVar}}}s that are written to durring a transaction. In the code each written {{{TVar}}} is called an "update entry" in the transactional record. 
     27  The set of {{{TVar}}}s that are written to during a transaction. In the code each written {{{TVar}}} is called an "update entry" in the transactional record. 
    2828Access set 
    29   All {{{TVar}}}s accessed durring the transaction. 
     29  All {{{TVar}}}s accessed during the transaction. 
    3030 
    3131While GHC's STM does not have a separate read set and write set these terms are useful for discussion.