Java – why do we need to synchronize on the same object to make notify () work
I got Java lang.IllegalMonitorStateException. I mentioned this problem and it solved my problem The first answer is
To be able to call notify() you need to synchronize on the same object.
synchronized (someObject) {
someObject.wait();
}
/* different thread / object */
synchronized (someObject) {
someObject.notify();
}
My question is why do we need to synchronize how it works on the same object advertisement?
As far as I know, as far as I know
synchronized (someObject) {
someObject.wait();
}
We get the lock of the object someobject, and then we call wait() Now, how can another thread lock the same object to call notify()? What did I miss?
Solution
Why do notifications need locks?
Imagine this:
synchronized(x){
while(x.count < 4) {
x.wait();
//...
}
}
Imagine being notified elsewhere now without any locks:
//... println(x.count); // print 3 x.count++; if(count == 4) x.notify() //...
At first glance, the whole sound always works as expected But imagine this competitive condition:
//Thread1 enters here
synchronized(x){
while(x.count < 4) {
//condition is judged true and thread1 is about to wait
//..but..ohh!! Thread2 is prioritized just Now !
//Thread2,acting on notify block side,notices that with its current count incrementation,//count increases to 4 and therefore a notify is sent....
//but...but x is expected to wait Now !!! for nothing maybe indefinitely !
x.wait();
//maybe block here indefinitely waiting for a notify that already occurred!
}
}
If we have a way to tell the Notifying Party:
Thread 1: "hum... Notification, you are very cute, but I just started to evaluate my situation (x.count < 4) as true, so please... Don't be too stupid to send your expected notification just now (before I wait for my status), otherwise, I would be absurd to wait for things that have passed" thread 2: "OK, ok... In order to maintain consistency, I will lock my logic so that I will send a notification after your waiting call sends our shared lock, so you will receive this notification and allow you to exit the waiting state;)" therefore, always lock the same object waiting to be maintained at the notification end to avoid this situation and keep the relationship consistent. = > The logic that causes notification and the logic that causes waiting should never overlap
