...
| Wiki Markup |
|---|
*data race* : "When a program contains two conflicting accesses (§17.4.1) 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]\]. "
"Data races cause nonatomic execution of critical sections and are failures in (nondeterministic) programs that access and update shared data in critical sections." \[[Netzer 92|AA. Java References#Netzer 92]\]. |
deadlock : Two or more threads are said to have deadlocked when both block waiting for each others' locks. Neither thread can make any progress.
| Anchor |
|---|
| happens-before order |
|---|
| happens-before order |
|---|
|
...
