SEI CERT Oracle Coding Standard for Java

Space shortcuts

Page tree

Versions Compared

Old Version 145

changes.mady.by.user Will Snavely

Saved on

compared with

New Version Current

changes.mady.by.user Jon O'Donnell

Saved on

Key

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

...

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
FB.MT_CORRECTNESS.SWL_SLEEP_WITH_LOCK_HELDMethod calls Thread.sleep() with a lock held

JAVA.CONCURRENCY.STARVE.BLOCKING

Blocking in Critical Section (Java)

Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
TRS
CERT.LCK09.TSHL
, BD.TRS.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
Implemented

ThreadSafe
Include Page
ThreadSafe_V
ThreadSafe_V

CCE_LK_LOCKED_BLOCKING_CALLS

Implemented
SonarQube
Include Page
SonarQube_V
SonarQube_V
S2276Implemented

Related Guidelines

SEI CERT C Coding Standard

CON05-C. Do not perform operations that can block while holding a lock

Bibliography

[API 2014]

Class Object

[Grosso 2001]

Chapter 10, "Serialization"

[JLS 2015]

Chapter 17, "Threads and Locks"

[Rotem 2008]

"Fallacies of Distributed Computing Explained"

...


...