1#include <pthread.h>
 2#include "mutex.h"
 3
 4SharedData shared_data;
 5
 6pthread_mutex_t mutex;
 7pthread_cond_t cond_synth;
 8
 9void initialize_mutex() {
10	pthread_mutex_init(&mutex, NULL);
11	pthread_cond_init(&cond_synth, NULL);
12}
13
14void destroy_mutex() {
15	pthread_mutex_destroy(&mutex);
16	pthread_cond_destroy(&cond_synth);
17}
18