SEI CERT Oracle Coding Standard for Java

Space shortcuts

Page tree

Versions Compared

Old Version 76

changes.mady.by.user Robert Seacord

Saved on

compared with

New Version 77

changes.mady.by.user Robert Seacord

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: cleaned up definitions of data race and confilcting access

...

Wiki Markup
*conflicting accesses* :" Two accesses to (reads of or writes to) the same variable areprovided said to be conflicting if that at least one of the accesses is a write." \[[JLS 05|AA. Java References#JLS 05]\].

Anchor
data race
data race

Wiki Markup
*data race* : "WhenConflicting aaccesses programof containsthe two conflicting accesses (§17.4.1)same variable that are not ordered by a happens-before relationship, it is said to contain a data race." \[[JLS 05|AA. Java References#JLS 05]\]. "A data race occurs in an execution of a program if there are conflicting actions in that execution that are not ordered by synchronization." \[[JSR-133 04|AA. Java References#JSR-133 04]\]. "

Anchor
deadlock
deadlock

deadlock : Two or more threads are said to have deadlocked when both block waiting for each others' locks. Neither thread can make any progress.

...