• Michael Hanselmann's avatar
    Split conditions in worker pool · 53b1d12b
    Michael Hanselmann authored
    This patch splits the single threading.Condition object used in the
    worker pool for synchronization into three.
    - worker_to_pool: Notified if a worker wants to notify the pool
    - pool_to_worker: Notified if the pool wants to notify a single
      or all workers
    - pool_to_pool: Used for synchronization in Quiesce
    Reviewed-by: ultrotter