FLINT3.7.0-dev

thread_pool_t

Synopsis#include <flint/thread_pool.h>
thread_pool_t

A thread pool: an array of thread entries and a mutex protecting their states. The pool owns its threads; they are created by thread_pool_init or thread_pool_set_size and joined by thread_pool_clear.

Cite this page

The FLINT team, “thread_pool_t (thread_pool.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/thread_pool/thread_pool_t.html (generated 2026-10-20).