remove the system.clearPrefetchCache call

[IRC.git] / Robust / src / Runtime / DSTM / interface / addPrefetchEnhance.h

diff --git a/Robust/src/Runtime/DSTM/interface/addPrefetchEnhance.h b/Robust/src/Runtime/DSTM/interface/addPrefetchEnhance.h
index e33e37661aa549bc079c578b631159fa9009f0ec..a335c0ac52f2cc040ed8a4ee00f9fab8470d35e2 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/addPrefetchEnhance.h
+++ b/Robust/src/Runtime/DSTM/interface/addPrefetchEnhance.h
@@ -1,6 +1,10 @@
 #ifndef _ADDPREFETCHENHANCE_H_
 #define _ADDPREFETCHENHANCE_H_
 
+#include "dstm.h"
+#include "mlookup.h"
+#include "gCollect.h"
+
 typedef struct prefetchCountStats {
   int retrycount;    /* keeps track of when to retry and check if we can turn on this prefetch site */ 
   int uselesscount; /* keeps track of how long was the prefetching at site useles */ 
@@ -13,5 +17,8 @@ int getRetryCount(int siteid);
 int getUselessCount(int siteid);
 char getOperationMode(int);
 void handleDynPrefetching(int, int, int);
+void cleanPCache(thread_data_array_t *tdata);
+int updatePrefetchCache(thread_data_array_t *);
+int copyToCache(int , unsigned int *, thread_data_array_t *, char );
 
 #endif