projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of /home/git/random-fuzzer into thread-switch
[c11tester.git]
/
threads-model.h
diff --git
a/threads-model.h
b/threads-model.h
index 5756c1029688fb6fd9d29616291d496129592f7a..8047e1f33d963d001fab179feab210c405ed7f34 100644
(file)
--- a/
threads-model.h
+++ b/
threads-model.h
@@
-102,6
+102,9
@@
public:
bool is_model_thread() const { return model_thread; }
bool is_model_thread() const { return model_thread; }
+ void * get_stack_addr() { return stack; }
+ ClockVector * get_acq_fence_cv() { return acq_fence_cv; }
+
friend void thread_startup();
#ifdef TLS
friend void setup_context();
friend void thread_startup();
#ifdef TLS
friend void setup_context();
@@
-136,6
+139,9
@@
private:
/** @brief The parent Thread which created this Thread */
Thread * const parent;
/** @brief The parent Thread which created this Thread */
Thread * const parent;
+ /** @brief Acquire fence cv */
+ ClockVector *acq_fence_cv;
+
/** @brief The THREAD_CREATE ModelAction which created this Thread */
ModelAction *creation;
/** @brief The THREAD_CREATE ModelAction which created this Thread */
ModelAction *creation;
@@
-157,6
+163,7
@@
private:
void *arg;
ucontext_t context;
void *stack;
void *arg;
ucontext_t context;
void *stack;
+ uint32_t stack_size;
#ifdef TLS
void * helper_stack;
public:
#ifdef TLS
void * helper_stack;
public: