projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add model checker check before trylock
[c11tester.git]
/
threads-model.h
diff --git
a/threads-model.h
b/threads-model.h
index 513142b53c41734832c1110f3d5dff4ae5baf1f0..02f20b030778420d46a247e7a3980f34bf20396b 100644
(file)
--- a/
threads-model.h
+++ b/
threads-model.h
@@
-50,7
+50,6
@@
public:
static int swap(ucontext_t *ctxt, Thread *t);
static int swap(Thread *t, ucontext_t *ctxt);
static int swap(ucontext_t *ctxt, Thread *t);
static int swap(Thread *t, ucontext_t *ctxt);
- void setContext();
thread_state get_state() const { return state; }
void set_state(thread_state s);
thread_id_t get_id() const;
thread_state get_state() const { return state; }
void set_state(thread_state s);
thread_id_t get_id() const;
@@
-162,6
+161,7
@@
private:
};
Thread * thread_current();
};
Thread * thread_current();
+void thread_startup();
static inline thread_id_t thrd_to_id(thrd_t t)
{
static inline thread_id_t thrd_to_id(thrd_t t)
{