void end_write(reader_writer_t rw){ /* ... */ tracing_record_event(t, EW_EVENT_ID); /* ... */ }
void end_write(reader_writer_t rw) { tracing_record_event(t, EW_EVENT_ID); pthread_mutex_unlock(&(rw->Mutex)); }
void begin_write(reader_writer_t rw){ /* ... */ tracing_record_event(t, BW_EVENT_ID); /* ... */ }
void begin_write(reader_writer_t rw) { pthread_mutex_lock(&(rw->Mutex)); tracing_record_event(t, BW_EVENT_ID); }