+/** @file datarace.h
+ * @brief Data race detection code.
+ */
+
#ifndef DATARACE_H
#include "config.h"
#include <stdint.h>
-/** Encoding idea:
+/** Basic encoding idea:
* (void *) Either:
* (1) points to a full record or
*
* next 23 bits are write clock vector. */
struct RaceRecord {
- int *readClock;
+ modelclock_t *readClock;
thread_id_t *thread;
int capacity;
int numReads;
thread_id_t writeThread;
- int writeClock;
+ modelclock_t writeClock;
};
#define INITCAPACITY 4