Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

LCK09-J-EX1: Methods that require multiple locks may hold several locks while waiting for the remaining locks to become available. This constitutes a valid exception, although the programmer must follow other applicable rules, especially LCK07-J. Avoid deadlock by requesting and releasing locks in the same order to avoid deadlock .

Automated Detection

Some static analysis tools are capable of detecting violations of this rule.

...

CCE_LK_LOCKED_BLOCKING_CALLS

...

Risk Assessment

Blocking or lengthy operations performed within synchronized regions could result in a deadlocked or unresponsive system.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

LCK09-J

Low

Probable

High

P2

L3

Automated Detection

Some static analysis tools are capable of detecting violations of this rule.

ToolVersionCheckerDescription
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

JAVA.CONCURRENCY.STARVE.BLOCKING

Blocking in Critical Section (Java)

Parasoft Jtest
9.5TRS.TSHL, BD.TRS.TSHL
Include Page
Parasoft_V
Parasoft_V
CERT.LCK09.TSHL
CERT.LCK09.TSHL2
Do not use blocking methods while holding a lock
Do not call 'Thread.sleep()' while holding a lock since doing so can cause poor performance and deadlocks
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V6095
ThreadSafe
Include Page
ThreadSafe_V
ThreadSafe_V

CCE_LK_LOCKED_BLOCKING_CALLS

Implemented
SonarQube
Include Page
SonarQube_V
SonarQube_V
S2276Implemented

Related Guidelines

Bibliography

...


...

Image Modified Image Modified Image Modified