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; }
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 }