bug fix

diff --git a/Robust/src/Runtime/DSTM/interface/prefetch.c b/Robust/src/Runtime/DSTM/interface/prefetch.c
index 75eca87851694c03e75e6076431ebd9344278c5b..3f1d577c9f4a71bbd580564a1e66a5f83f331de7 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/prefetch.c
+++ b/Robust/src/Runtime/DSTM/interface/prefetch.c
@@ -139,6 +139,7 @@ perMcPrefetchList_t *processRemote(unsigned int oid,  short * offsetarray, int s
   //Start searching the dfsList
   for(top=0;top>=0;) {
     oid=getNextOid(header, offsetarray, dfsList, top);
+    
     if (oid&1) {
       top+=2;
       dfsList[top]=oid;
@@ -172,7 +173,7 @@ perMcPrefetchList_t *processRemote(unsigned int oid,  short * offsetarray, int s
       header=searchObj(dfsList[top]);
       //header shouldn't be null unless the object moves away, but allow
       //ourselves the option to just continue on if we lose the object
-    } while(header!=NULL);
+    } while(header==NULL);
     //increment
     dfsList[top+1]++;
   }
@@ -207,7 +208,6 @@ void insertPrefetch(int mid, unsigned int oid, short numoffset, short *offsets,
   perMcPrefetchList_t *ptr;
   objOffsetPile_t *objnode;
   objOffsetPile_t **tmp;
-
   //Loop through the machines
   for(; 1; head=&((*head)->next)) {
     int tmid;