...
canonicalization : Reducing the input to its equivalent simplest known form.
| Anchor |
|---|
| conflicting accesses |
|---|
| conflicting accesses |
|---|
|
| Wiki Markup |
|---|
"Two accesses to (reads of or writes to) the same variable are said to be conflicting if at least one of the accesses is a write." \[[JLS 05|AA. Java References#JLS 05]\]. |
| 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]\]. |
| Anchor |
|---|
| happens-before order |
|---|
| happens-before order |
|---|
|
...
