Fix race condition with thread_pool.join(), using condition var instead
Fix race condition with thread_pool.join(), using condition var instead

plaidml/plaidml,plaidml/plaidml,plaidml/plaidml,plaidml/plaidml