From: jihoonl <jihoonl>
Date: Mon, 11 Jan 2010 10:54:20 +0000 (+0000)
Subject: -recoverystats flag
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d3960a3964fc6fe4c17366675200842f39e35c65;p=IRC.git

-recoverystats flag
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 2655bb7e..14a6fe39 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -410,6 +410,19 @@ public class BuildCode {
       outmethod.println("#endif\n");
     }
 
+    if(state.DSMRECOVERYSTATS) {
+      outmethod.println("#ifdef RECOVERYSTATS\n");
+      outmethod.println("printf(\"***** Recovery Stats *****\\n\");");
+      outmethod.println("printf(\"numRecovery = %d\\n\",numRecovery)");
+      outmethod.println("int nRecovery=0;");
+      outmethod.println("for(nRecovery=0;nRecovery<numRecovery;nRecovery++) {");
+      outmethod.println("  printf(\"Dead Machine = %s\\n\",deadMachine[nRecovery]);");
+      outmethod.println("  printf(\"Recovery Time = %.2f\\n\",elapsedTime[nRecovery]);");
+      outmethod.println(" }\n");
+      outmethod.println("fflush(stdout);");
+      outmethod.println("#endif\n");
+    }
+
     if (state.EVENTMONITOR) {
       outmethod.println("dumpdata();");
     }
@@ -965,6 +978,14 @@ public class BuildCode {
       outclassdefs.println("#endif\n");
     }
     outclassdefs.print("#endif\n");
+
+    if(state.DSMRECOVERYSTATS) {
+      outclassdefs.print("#ifdef RECOVERYSTATS\n");
+      outclassdefs.print("extern int numRecovery;\n");
+      outclassdefs.print("extern unsigned int deadMachine[8];\n");
+      outclassdefs.print("extern double elapsedTime[8];\n");
+      outclassdefs.print("#endif\n");
+    }
     outclassdefs.print("int numprefetchsites = " + pa.prefetchsiteid + ";\n");
 
     Iterator it=state.getClassSymbolTable().getDescriptorsIterator();
diff --git a/Robust/src/IR/State.java b/Robust/src/IR/State.java
index 90c50fe5..6765fba2 100644
--- a/Robust/src/IR/State.java
+++ b/Robust/src/IR/State.java
@@ -102,6 +102,9 @@ public class State {
   public boolean DSM=false;
   public boolean DSMTASK=false;
   public static boolean ABORTREADERS=false;
+
+  // Recovery Stats Options
+  public boolean DSMRECOVERYSTATS=false;
   //STM options
   public boolean EVENTMONITOR=false;
   public static boolean STMARRAY=false;