Changes between Version 5 and Version 6 of ConcurrencyExtensions


Ignore:
Timestamp:
06/04/14 14:21:31 (12 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ConcurrencyExtensions

    v5 v6  
    107107The purpose of the `parfor` construct is to enable possible optimization
    108108in CIVL.  The model checker, for example, when control reaches the
    109 `parlor` loop, may try to determine that any two iterations are
     109`parfor` loop, may try to determine that any two iterations are
    110110non-interfering, i.e., any atomic statement from one iteration will
    111111commute with any atomic statement from a different iteration.