Only notify when necessary

MarcMil · MarcMil · commit 144c4e25bca2 · 2025-11-06T12:26:43.000+01:00
diff --git a/soot-infoflow/src/soot/jimple/infoflow/util/ReusableExecutor.java b/soot-infoflow/src/soot/jimple/infoflow/util/ReusableExecutor.java
@@ -36,9 +36,11 @@ public void execute(Runnable command) {
 			@Override
 			public void run() {
 				command.run();
-				counter.getAndDecrement();
-				synchronized (obj) {
-					obj.notify();
+				int c = counter.getAndDecrement();
+				if (c == 0) {
+					synchronized (obj) {
+						obj.notify();
+					}
 				}
 			}
 

Original file line number	Diff line number	Diff line change
`@@ -36,9 +36,11 @@ public void execute(Runnable command) {`
`36`	`36`	`@Override`
`37`	`37`	`public void run() {`
`38`	`38`	`command.run();`
`39`		`- counter.getAndDecrement();`
`40`		`- synchronized (obj) {`
`41`		`- obj.notify();`
	`39`	`+ int c = counter.getAndDecrement();`
	`40`	`+ if (c == 0) {`
	`41`	`+ synchronized (obj) {`
	`42`	`+ obj.notify();`
	`43`	`+ }`
`42`	`44`	`}`
`43`	`45`	`}`
`44`	`46`