projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
action: switch from "libatomic" to C++-spec "memory_order_*" macros
[model-checker.git]
/
datarace.h
diff --git
a/datarace.h
b/datarace.h
index e3cab5d6612aeb7f5770122ad27201a5245435f1..ef1ef8ca4a256eeaede006d24c7c806fa5844103 100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-29,12
+29,12
@@
void raceCheckRead(thread_id_t thread, void *location, ClockVector *currClock);
* next 23 bits are write clock vector. */
struct RaceRecord {
* next 23 bits are write clock vector. */
struct RaceRecord {
-
in
t *readClock;
+
modelclock_
t *readClock;
thread_id_t *thread;
int capacity;
int numReads;
thread_id_t writeThread;
thread_id_t *thread;
int capacity;
int numReads;
thread_id_t writeThread;
-
in
t writeClock;
+
modelclock_
t writeClock;
};
#define INITCAPACITY 4
};
#define INITCAPACITY 4