projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
threads: change thrd_t to store Thread pointer
[model-checker.git]
/
libthreads.cc
diff --git
a/libthreads.cc
b/libthreads.cc
index fce87daf5bc0d8969d4546ce6837a30dda4019eb..adb4b2bfdb0c4f709999d6d2c6af6554098e9325 100644
(file)
--- a/
libthreads.cc
+++ b/
libthreads.cc
@@
-20,7
+20,7
@@
int thrd_create(thrd_t *t, thrd_start_t start_routine, void *arg)
int thrd_join(thrd_t t)
{
- Thread *th =
model->get_thread(thrd_to_id(t))
;
+ Thread *th =
t.priv
;
model->switch_to_master(new ModelAction(THREAD_JOIN, std::memory_order_seq_cst, th, id_to_int(thrd_to_id(t))));
return 0;
}