...
liveness : Every operation or method invocation executes to completion without interruptions, even if it goes against safety.
| Anchor | ||||
|---|---|---|---|---|
|
| Wiki Markup |
|---|
*memory model*: "The rules that determine how memory accesses are ordered and when they are guaranteed to be visible are known as the memory model of the Java programming language" \[[JPL 06|AA. Java References#JPL 06]\]. |
| Anchor | ||||
|---|---|---|---|---|
|
...