From: jihoonl <jihoonl>
Date: Fri, 15 Jan 2010 01:13:58 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c53d9c1fedd08689cef76c02d28c97c0bb36f872;p=IRC.git

change
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index f423bb98..ac52e6b6 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -415,13 +415,12 @@ public class BuildCode {
     if(state.DSMRECOVERYSTATS) {
       outmethod.println("#ifdef RECOVERYSTATS\n");
       outmethod.println("printf(\"***** Recovery Stats *****\\n\");");
-      outmethod.println("printf(\"numRecovery = %d\\n\",numRecovery)");
+      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(\"Dead Machine = %s\\n\",midtoIPString(deadMachine[nRecovery]));");
       outmethod.println("  printf(\"Recovery Time = %.2f\\n\",elapsedTime[nRecovery]);");
-      outmethod.println(" }\n");
-      outmethod.println("fflush(stdout);");
+      outmethod.println("}\n");
       outmethod.println("#endif\n");
     }
 
diff --git a/Robust/src/Runtime/DSTM/interface_recovery/trans.c b/Robust/src/Runtime/DSTM/interface_recovery/trans.c
index fac3777b..071430df 100644
--- a/Robust/src/Runtime/DSTM/interface_recovery/trans.c
+++ b/Robust/src/Runtime/DSTM/interface_recovery/trans.c
@@ -2513,9 +2513,10 @@ void duplicateLostObjects(unsigned int mid){
 #ifdef RECOVERYSTATS
   printf("Recovery Start\n");
   numRecovery++;
-  time_t st = time(NULL);
+  time_t st;
   time_t fi;
 
+  time(&st);
   deadMachine[numRecovery-1] = mid;
 #endif
 
@@ -2604,8 +2605,8 @@ void duplicateLostObjects(unsigned int mid){
 	}
 
 #ifdef RECOVERYSTATS
-  fi = time(NULL);
-  elapsedTime[numRecovery-1] = fi-st;
+  time(&fi);
+  elapsedTime[numRecovery-1] = difftime(fi,st);
 #endif
 
 #ifndef DEBUG