00001 00008 #include "config.h" 00009 00010 #include "db.h" 00011 00012 #ifdef USE_PTHREADS 00013 00014 #include <set> 00015 #include <pthread.h> 00016 00017 #endif 00018 00028 void init_pool(int threds_count); 00029 00038 void add_task(void *(*start_routine)(void*), void *arg, bool prioritize=false); 00039 00050 void lock_let(let_stat* co); 00051 00062 void unlock_let(let_stat* co); 00063 00071 void wait_for_empty(); 00072 00080 void empty_pool();