max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/mt_task_queue): make sure thread finalizers are executed even if lean was compiled without pthread support

Browse source
This commit is contained in:
Leonardo de Moura 2016-11-30 11:42:29 -08:00
parent e070444bbf
commit 73e5367fb6
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/library/mt_task_queue.cpp
View file

@ -76,7 +76,11 @@ void mt_task_queue::spawn_worker() {
unique_lock<mutex> lock(m_mutex);
scoped_add<int> dec_required(m_required_workers, -1);
while (true) {
if (m_shutting_down) return;
if (m_shutting_down) {
run_thread_finalizers();
run_post_thread_finalizers();
return;
}
if (m_required_workers < 0) {
scoped_add<int> inc_required(m_required_workers, +1);
scoped_add<unsigned> inc_sleeping(m_sleeping_workers, +1);