...
| Wiki Markup |
|---|
*sequential consistency* : "Sequential consistency is a very strong guarantee that is made about visibility and ordering in an execution of a program. Within a sequentially consistent execution, there is a total order over all individual actions (such as reads and writes) which is consistent with the order of the program, and each individual action is atomic and is immediately visible to every thread. \[...\] If a program is correctly synchronized, then all executions of the program will appear to be sequentially consistent (§17.4.3)." \[[JLS 05|AA. Java References#JLS 05]\]. Sequential consistency implies there will be no compiler optimizations. Adopting sequential consistency as the memory model can be overly restrictive because under this condition, the compiler is not allowed to make optimizations and reorder code \[[JLS 05|AA. Java References#JLS 05]\]. |
...