if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckWrite(tid, addr);
+ raceCheckWrite8(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);
}
void cds_store32(void *addr)
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckWrite(tid, addr);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
+ raceCheckWrite32(tid, addr);
}
void cds_store64(void *addr)
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckWrite(tid, addr);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 4));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 5));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 6));
- raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 7));
+ raceCheckWrite64(tid, addr);
}
void cds_load8(const void *addr) {
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckRead(tid, addr);
+ raceCheckRead8(tid, addr);
}
void cds_load16(const void *addr) {
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckRead(tid, addr);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
+ raceCheckRead16(tid, addr);
}
void cds_load32(const void *addr) {
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckRead(tid, addr);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
+ raceCheckRead32(tid, addr);
}
void cds_load64(const void *addr) {
if (!model)
return;
thread_id_t tid = thread_current()->get_id();
- raceCheckRead(tid, addr);
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6));
- raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7));
+ raceCheckRead64(tid, addr);
}