Robust/src/Benchmarks/Performance/Dispatch.java

   1 task start(StartupObject s {initialstate}) {
   2     Dispatch f=new Dispatch(){run};
   3
   4     taskexit(s{!initialstate});
   5 }
   6
   7 task DoOperation(Dispatch f{run}) {
   8     if (f.count==1000000)
   9         taskexit(f{!run});
  10     else {
  11         f.count++;
  12         taskexit(f{run});
  13     }
  14 }
  15
  16 public class Dispatch {
  17     flag run;
  18     int count;
  19     public Dispatch() {
  20     }
  21 }