411412413414415416417418419420421
} synchronized(val) { int curVal = val.get(); if (curVal == -1) { val.set(0); val.notify(); } else { val.decr(); if (curVal == 1) val.notify(); }
415416417418419420421422423424425
val.set(0); val.notify(); } else { val.decr(); if (curVal == 1) val.notify(); } } } }