change

diff --git a/Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java b/Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java
new file mode 100644 (file)
index 0000000..78fc07a
--- /dev/null
+++ b/Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java
@@ -0,0 +1,3 @@
+public class RecoveryStat {
+  public static native void printRecoveryStat();
+}

diff --git a/Robust/src/ClassLibrary/JavaDSM/Work.java b/Robust/src/ClassLibrary/JavaDSM/Work.java
index 27c46913156022a3efa8d03da82c6602ac105eb4..d2a10d0f45c5af6c704a73cdf8c7b88b4ea25a9d 100644 (file)
--- a/Robust/src/ClassLibrary/JavaDSM/Work.java
+++ b/Robust/src/ClassLibrary/JavaDSM/Work.java
@@ -65,7 +65,7 @@ public class Work extends Thread {
       tasks.output();
     }
     System.out.println("\n\n I'm done\n\n\n");
-    printRecoveryStat();
+    RecoveryStat.printRecoveryStat();
 
   }
 

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index e8dcf414ac9e363816eda83d87b81cfdc7c22ae4..7f20cfc7f5f2de301acb1ec37d323cdb1308dd2e 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -354,9 +354,9 @@ void CALL01(___System______printString____L___String___,struct ___String___ * __
 #endif
 }
 
-#ifdef D___Work______printRecoveryStat____ 
+#ifdef D___RecoveryStat______printRecoveryStat____ 
 #ifdef RECOVERYSTATS
-void CALL00(___Work______printRecoveryStat____) {
+void CALL00(___RecoveryStat______printRecoveryStat____) {
 
   printf("***** Recovery Stats *****\n");
   printf("numRecovery = %d\n",numRecovery);
@@ -368,7 +368,7 @@ void CALL00(___Work______printRecoveryStat____) {
   printf("**************************\n\n");
 }
 #else
-void CALL00(___Work______printRecoveryStat____) {
+void CALL00(___RecoveryStat______printRecoveryStat____) {
   printf("No Stat\n");
 }
 #endif