/* mutex.h  for task synchronization  */

void mutex_init(int num_threads);
void master_init(void *(*worker_code)(void * threadID));
void master_release();
void master_barrier();
void worker_init(int workerID);
void worker_task_done(int workerID);
void worker_barrier(int workerID);
/* end mutex.h */