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);
}
示例#3
0
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);
}