void releaseWrite(void) { lock(mutex); nw-; wakeup(b,k); unlock(mutex); } void releaseRead(void) { lock(mutex); nr-; wakeup(b,k); unlock(mutex); }
lock(mutex);
nw-;
wakeup(b,k);
unlock(mutex);
}
void releaseRead(void) {
nr-;