Interface Scheduler

src/thread_pool.rs:416–419

                // Determine our seat index.
                let own_member_index =
                    Worker::map_current(|worker| worker.member_index);

                // Wait for the other workers to fully halt.
                for worker in terminating_workers {
                    // It's possible we may be trying to terminate ourselves, in
                    // which case we can skip the thread-join.