Robust/src/Benchmarks/Ownership/MapReduceTag.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------map(MapWorker mworker)--------
   3 No aliases between flagged objects in Task map(MapWorker mworker).
   4
   5 ---------reduceOutput(Master master, ReduceWorker rworker)--------
   6 No aliases between flagged objects in Task reduceOutput(Master master, ReduceWorker rworker).
   7
   8 ---------sortgroup(ReduceWorker rworker)--------
   9 No aliases between flagged objects in Task sortgroup(ReduceWorker rworker).
  10
  11 ---------mapOutput(Master master, MapWorker mworker)--------
  12 No aliases between flagged objects in Task mapOutput(Master master, MapWorker mworker).
  13
  14 ---------startup(StartupObject s)--------
  15 No aliases between flagged objects in Task startup(StartupObject s).
  16
  17 ---------assignReduce(Master master)--------
  18 Potential alias between parameter 0 and FlatNew____rworker1019___= NEW ReduceWorker.
  19
  20 ---------output(Master master)--------
  21 No aliases between flagged objects in Task output(Master master).