/** * Get the lock and decrement the readers variable. */ protected void readerDec() { // let readers wait until no write operation is performed lock(); // readers.remove(readercnt); readercnt--; if(readercnt==0) performWrites(); // else if(readercnt>1) // System.out.println("readers: "+readercnt);//+" "+readers); unlock(); }