From: jjenista <jjenista>
Date: Fri, 9 Apr 2010 20:15:37 +0000 (+0000)
Subject: trying to isolate a bug from MapReduceTag in a miniature version here
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c16f83cc6a26d5cc348b9a96b8112c3ff0fcba15;p=IRC.git

trying to isolate a bug from MapReduceTag in a miniature version here
---

diff --git a/Robust/src/Tests/disjoint/littleMapReduceTag/makefile b/Robust/src/Tests/disjoint/littleMapReduceTag/makefile
new file mode 100644
index 00000000..cd46ac2b
--- /dev/null
+++ b/Robust/src/Tests/disjoint/littleMapReduceTag/makefile
@@ -0,0 +1,29 @@
+BUILDSCRIPT=~/research/Robust/src/buildscript
+
+#DEBUGFLAGS= -disjoint-debug-callsite setPartial reduceOutput 1 20 false
+#SNAPFLAGS= -disjoint-debug-snap-method reduceOutput 1 20 true
+
+BAMBOOFLAGS= -recover
+
+#VISITMODE= -disjoint-dvisit-stack
+#VISITMODE= -disjoint-dvisit-pqueue
+VISITMODE= -disjoint-dvisit-stack-callees-on-top
+
+DEBUGMODE= -enable-assertions -disjoint-write-dots all -disjoint-alias-file aliases.txt normal -disjoint-desire-determinism
+
+BSFLAGS= -justanalyze -disjoint -disjoint-k 1 -flatirusermethods -flatirtasks
+
+bamboo:
+	$(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
+
+clean:
+	rm -f  *.bin
+	rm -fr tmpbuilddirectory
+	rm -f  *~
+	rm -f  *.dot
+	rm -f  *.png
+	rm -f  *.aux
+	rm -f  *.log
+	rm -f  *.pdf
+	rm -f  aliases.txt
+	rm -f  tabResults.tex
diff --git a/Robust/src/Tests/disjoint/littleMapReduceTag/test.java b/Robust/src/Tests/disjoint/littleMapReduceTag/test.java
new file mode 100644
index 00000000..d05e749e
--- /dev/null
+++ b/Robust/src/Tests/disjoint/littleMapReduceTag/test.java
@@ -0,0 +1,31 @@
+task startup( StartupObject s{initialstate} ) {
+  Master master = new Master(){reduceoutput};   
+  master.assignMap();
+  taskexit( s{!initialstate} );
+}
+
+
+task reduceOutput( Master master{reduceoutput} ) {
+  master.setPartial( true );
+  taskexit( master{!reduceoutput} );
+}
+
+
+public class Master {
+  flag reduceoutput;
+  boolean partial;
+
+  public Master() {
+    this.partial = false;
+  }
+  
+  public boolean isPartial() {
+    return this.partial;
+  }
+  
+  public void setPartial( boolean partial ) {
+    this.partial = partial || this.partial;
+  }
+  
+  public void assignMap() {}
+}