Read/Write Mutex in C