FLINT3.7.0-dev

thread_pool_give_back

Synopsis#include <flint/thread_pool.h>
void thread_pool_give_back(thread_pool_t T, thread_pool_handle i)source

Marks the sleeping thread i as available again, so that later calls of thread_pool_request can hand it out. If the thread was woken, call thread_pool_wait for it first.

Cite this page

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