projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add yield block support. The idea is to not generate executions with yield actions.
[cdsspec-compiler.git]
/
datarace.h
diff --git
a/datarace.h
b/datarace.h
index 78903d336832bb7439d4a8ab61799dd48f2ceed5..737a6d6e99a915a06d2f21d9f6a521a5ad126e03 100644
(file)
--- a/
datarace.h
+++ b/
datarace.h
@@
-2,14
+2,14
@@
* @brief Data race detection code.
*/
* @brief Data race detection code.
*/
-#ifndef DATARACE_H
+#ifndef __DATARACE_H__
+#define __DATARACE_H__
+
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
#include "config.h"
#include <stdint.h>
#include "modeltypes.h"
-#include "stl-model.h"
/* Forward declaration */
/* Forward declaration */
-class ClockVector;
class ModelAction;
struct ShadowTable {
class ModelAction;
struct ShadowTable {
@@
-46,8
+46,7
@@
void raceCheckWrite(thread_id_t thread, void *location);
void raceCheckRead(thread_id_t thread, const void *location);
bool checkDataRaces();
void assert_race(struct DataRace *race);
void raceCheckRead(thread_id_t thread, const void *location);
bool checkDataRaces();
void assert_race(struct DataRace *race);
-
-extern SnapVector<struct DataRace *> unrealizedraces;
+bool haveUnrealizedRaces();
/**
* @brief A record of information for detecting data races
/**
* @brief A record of information for detecting data races
@@
-91,4
+90,5
@@
struct RaceRecord {
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
#define MAXTHREADID (THREADMASK-1)
#define MAXREADVECTOR (READMASK-1)
#define MAXWRITEVECTOR (WRITEMASK-1)
-#endif
+
+#endif /* __DATARACE_H__ */