From 1c10402b023fb85515c21cc68227305bf647f625 Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Mon, 1 Feb 2010 09:32:27 +0000
Subject: [PATCH] change

---
 Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java | 3 +++
 Robust/src/ClassLibrary/JavaDSM/Work.java         | 2 +-
 Robust/src/Runtime/runtime.c                      | 6 +++---
 3 files changed, 7 insertions(+), 4 deletions(-)
 create mode 100644 Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java

diff --git a/Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java b/Robust/src/ClassLibrary/JavaDSM/RecoveryStat.java
new file mode 100644
index 00000000..78fc07a2
--- /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 27c46913..d2a10d0f 100644
--- 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 e8dcf414..7f20cfc7 100644
--- 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
-- 
2.34.1