#include "thread_pool.h"
void thread_pool_wake(thread_pool_t T, thread_pool_handle i,
int max_workers, void (*f)(void*), void * a)
{
thread_pool_entry_struct * D;
#if FLINT_USES_PTHREAD
pthread_mutex_lock(&T->mutex);
#endif
FLINT_ASSERT(i < T->length);
D = T->tdata;
#if FLINT_USES_PTHREAD
pthread_mutex_lock(&D[i].mutex);
#endif
FLINT_ASSERT(D[i].available == 0);
D[i].max_workers = max_workers;
D[i].working = 1;
D[i].fxn = f;
D[i].fxnarg = a;
#if FLINT_USES_PTHREAD
pthread_cond_signal(&D[i].sleep1);
pthread_mutex_unlock(&D[i].mutex);
pthread_mutex_unlock(&T->mutex);
#endif
}