From: bdemsky <bdemsky>
Date: Tue, 10 Mar 2009 07:41:40 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3481f09059d5db565feee54c731aaebee13ed9f7;p=IRC.git

bug fix
---

diff --git a/Robust/src/Runtime/DSTM/interface/prefetch.c b/Robust/src/Runtime/DSTM/interface/prefetch.c
index 75eca878..3f1d577c 100644
--- 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;