Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: REM cost reform

...

Notifying a single thread rather than all waiting threads can violate the liveness property of the system.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

THI02-J

Low

Unlikely

No

MediumYes

P2

L3

Automated Detection

include
ToolVersionCheckerDescriptionCodeSonar
CodeSonar_VCodeSonar_VPMD.Design.UseNotifyAllInsteadOfNotify
FB.MT_CORRECTNESS.NO_NOTIFY_NOT_NOTIFYALL
Use notifyAll instead of notify
Using notify() rather than notifyAll()
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
TRSCERT.THI02.ANFDo not use 'notify()'; use 'notifyAll()' instead so that all waiting threads will be notified
SonarQube
Include Page
SonarQube_V
SonarQube_V
S2446"notifyAll" should be used

...