mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-25 13:47:01 +00:00
Code Activity

Merge pull request #853 from delcypher/scoped_timer_linux_perf_fix

Browse source 
Fix issue with bd1f07f864
This commit is contained in:
Nikolaj Bjorner 2016-12-21 09:13:00 -08:00 • committed by GitHub
commit 7378362e81
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/scoped_timer.cpp
View file

@ -230,8 +230,9 @@ struct scoped_timer::imp {
} }
pthread_mutex_lock(&m_mutex); pthread_mutex_lock(&m_mutex);
m_signal_sent = true; m_signal_sent = true;
pthread_cond_signal(&m_cond);
pthread_mutex_unlock(&m_mutex); pthread_mutex_unlock(&m_mutex);
// Perform signal outside of lock to avoid waking timing thread twice.
pthread_cond_signal(&m_cond);
pthread_join(m_thread_id, NULL); pthread_join(m_thread_id, NULL);
pthread_cond_destroy(&m_cond); pthread_cond_destroy(&m_cond);