Find a faster way to get currently executing thread's id
authorweiyu <weiyuluo1232@gmail.com>
Thu, 3 Sep 2020 23:46:17 +0000 (16:46 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Thu, 3 Sep 2020 23:46:17 +0000 (16:46 -0700)
commit7d107019dd0d32d0803fb802fc318a57101707a1
tree385285b8c26bdeb909b91bebae8ad4be2cd1d7fb
parent055fb927ea688ec513508b0821e331558eea40d1
Find a faster way to get currently executing thread's id
action.cc
cmodelint.cc
datarace.cc
librace.cc
model.cc
model.h
mutex.cc
schedule.cc
threads-model.h
threads.cc