if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckWrite(tid, addr);
+ raceCheckWrite8(tid, addr);
+
+// raceCheckWrite(tid, addr);
}
void cds_store16(void *addr)
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckWrite(tid, addr);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
+ raceCheckWrite16(tid, addr);
+
+// raceCheckWrite(tid, addr);
+// raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
}
void cds_store32(void *addr)
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
+ raceCheckWrite32(tid, addr);
+
+/*
raceCheckWrite(tid, addr);
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
+*/
}
void cds_store64(void *addr)
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
+ raceCheckWrite64(tid, addr);
+
+/*
raceCheckWrite(tid, addr);
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 5));
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 6));
raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 7));
+*/
}
void cds_load8(const void *addr) {
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckReadOpt(tid, addr, 1);
+ raceCheckRead8(tid, addr);
+
// raceCheckRead(tid, addr);
}
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckReadOpt(tid, addr, 2);
+ raceCheckRead16(tid, addr);
// raceCheckRead(tid, addr);
// raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
}
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckReadOpt(tid, addr, 4);
+ raceCheckRead32(tid, addr);
/*
raceCheckRead(tid, addr);
raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckReadOpt(tid, addr, 8);
+ raceCheckRead64(tid, addr);
/*
raceCheckRead(tid, addr);
raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));