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


Ignore:
Timestamp:
Jun 16, 2015 7:26:41 PM (4 years ago)
Author:
jswalens
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Rts/STM

    v3 v4  
    4444== Reading and Writing ==
    4545
    46 The semantics of a transaction require that when a {{{TVar}}} is read in a transaction, ts value will stay the same for the duration of execution. Similarly a write to a {{{TVar}}} will keep the same value for the duration of the transaction. The transaction itself, however, from the perspective of other threads can apply all of its effects in one moment. That is, other threads cannot see intermediate states of the transaction, so it is as if all the effects happen in a single moment.
     46The semantics of a transaction require that when a {{{TVar}}} is read in a transaction, its value will stay the same for the duration of execution. Similarly a write to a {{{TVar}}} will keep the same value for the duration of the transaction. The transaction itself, however, from the perspective of other threads can apply all of its effects in one moment. That is, other threads cannot see intermediate states of the transaction, so it is as if all the effects happen in a single moment.
    4747
    4848As a simple example we can consider a transaction that transfers value between two accounts: