Changes between Version 3 and Version 4 of ContractReduction


Ignore:
Timestamp:
06/30/14 13:11:38 (12 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContractReduction

    v3 v4  
    5252int $comm_size($comm, ...);
    5353}}}
     54
     55- The following means that if the argument `count` is equal to zero, then the current process forms the ample set, otherwise, any process that can reach the memory unit of object `comm` should be in the ample set.
     56{{{
     57[count = 0] $ample{$false} : $ample{$reach(comm)}
     58void comm_deque($comm comm, int count ....);
     59}}}