editted mutual exclusion instructions in add_member() and remove_member() in proxy.c to conform to the writer-preferential solution to the readers-writers problem