From ceb4450e2b484765f9d7c223a98b9698f4e522b7 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 6 Aug 2008 05:33:35 +0000 Subject: [PATCH] New strategy... If the prefetching thread gets behind us, we don't issue a prefetch. --- Robust/src/Runtime/DSTM/interface/queue.c | 12 ++++++------ Robust/src/Runtime/DSTM/interface/trans.c | 7 +++++-- 2 files changed, 11 insertions(+), 8 deletions(-) diff --git a/Robust/src/Runtime/DSTM/interface/queue.c b/Robust/src/Runtime/DSTM/interface/queue.c index 9f2eb419..9ff96430 100644 --- a/Robust/src/Runtime/DSTM/interface/queue.c +++ b/Robust/src/Runtime/DSTM/interface/queue.c @@ -25,17 +25,17 @@ void * getmemory(int size) { if (tmpoffset>QSIZE) { //Wait for tail to go past end tmpoffset=size+sizeof(int); - while(headoffset