void* thread_function_produttore_bloccante_1 (void* arg){ msg_t* msg = (msg_t*) arg; msg_t* ret_msg_1 = put_bloccante(buffer, msg); checkpoint_p1 = 1; return (void*) ret_msg_1; }
void *accepter_buffer_insert(void* messaggio){ msg_t* msg=(msg_t*)messaggio; put_bloccante(accepter_buffer,msg); pthread_exit(NULL); }
void provider_buffer_insert(msg_t* message){ msg_t* msg= put_bloccante(provider_buffer,message); free(msg); }
void *accepter_buffer_insert(void* messaggio){ msg_t* msg=(msg_t*)&messaggio; msg_t* inserted_msg=put_bloccante(accepter_buffer,msg); free(inserted_msg); pthread_exit(NULL); }