void* thread_function_consumatore_nonbloccante_1 (void* arg){
  msg_t* ret_msg_1 = get_non_bloccante(buffer);
  if (ret_msg_1 == NULL)
    checkpoint_c1 = 1;
  return (void*) ret_msg_1;
}
Ejemplo n.º 2
0
msg_t* provider_buffer_read(){
	msg_t* message=get_non_bloccante(provider_buffer);
	return message;
}
msg_t* reader_buffer_consume (reader_buffer_t* r_buffer){
	return get_non_bloccante(r_buffer->read_buffer);
}
msg_t* accepter_buffer_delete(){
	return get_non_bloccante(accepter_buffer);//non bloccante
}