projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
README: more edits, for -h info
[model-checker.git]
/
datarace.h
diff --git
a/datarace.h
b/datarace.h
index 627b8cc88c7016b27cc2660bdebdf4693e674c40..2fb1a7f927f015628953fbf2504c20fdd133e65a 100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-36,14
+36,14
@@
struct DataRace {
bool isnewwrite;
/* Address of data race. */
bool isnewwrite;
/* Address of data race. */
- void *address;
+
const
void *address;
};
#define MASK16BIT 0xffff
void initRaceDetector();
void raceCheckWrite(thread_id_t thread, void *location, ClockVector *currClock);
};
#define MASK16BIT 0xffff
void initRaceDetector();
void raceCheckWrite(thread_id_t thread, void *location, ClockVector *currClock);
-void raceCheckRead(thread_id_t thread, void *location, ClockVector *currClock);
+void raceCheckRead(thread_id_t thread,
const
void *location, ClockVector *currClock);
bool checkDataRaces();
void printRace(struct DataRace *race);
bool checkDataRaces();
void printRace(struct DataRace *race);