projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly...
[model-checker.git]
/
action.h
diff --git
a/action.h
b/action.h
index 508ad169478135a96110573b489b2fa4cdcfa7bf..c069cab3a3c5c3a7e6804498a2f6262b753a6f20 100644
(file)
--- a/
action.h
+++ b/
action.h
@@
-2,10
+2,9
@@
#define __ACTION_H__
#include <list>
#define __ACTION_H__
#include <list>
-
#include "threads.h"
#include "libatomic.h"
#include "threads.h"
#include "libatomic.h"
-
+#include "mymemory.h"
#define VALUE_NONE -1
typedef enum action_type {
#define VALUE_NONE -1
typedef enum action_type {
@@
-40,6
+39,7
@@
public:
bool same_var(ModelAction *act);
bool same_thread(ModelAction *act);
bool is_dependent(ModelAction *act);
bool same_var(ModelAction *act);
bool same_thread(ModelAction *act);
bool is_dependent(ModelAction *act);
+ MEMALLOC
private:
action_type type;
memory_order order;
private:
action_type type;
memory_order order;
@@
-50,6
+50,6
@@
private:
int seq_number;
};
int seq_number;
};
-typedef std::list<class ModelAction *> action_list_t;
+typedef std::list<class ModelAction *
, MyAlloc< class ModelAction * >
> action_list_t;
#endif /* __ACTION_H__ */
#endif /* __ACTION_H__ */