Home | History | Annotate | Download | only in src

Lines Matching refs:num_workers_

149                                        num_workers_ + 1));
221   // Decrement num_workers_ and reinitialize pause_barrier_, which we know isn't
225   sat_assert(0 == pthread_barrier_init(&pause_barrier_, NULL, num_workers_));
227   --num_workers_;