...
- Take the read/write operations performed by each process and put them in the order the process does them (process order)
- Interleave the operations in some way to form a total order
- Read operations must return most recently written data in the total order for the execution to be sequentially consistent
- Implies all processes see the same total ordering of the operations
| Wiki Markup |
|---|
The actual execution order of instructions and memory accesses can be in any order as long as the actions of the thread appear to that thread as if program order were followed, and provided all values read are allowed for by the memory model. This allows the programmer to understand the semantics of the programs they write, and it allows compiler writers and virtual machine implementors to perform various optimizations \[[JPL 06|AA. Java References#JPL 06]\]. |
Risk Assessment Summary
Guideline | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
CON00-J | medium | probable | medium | P8 | L2 |
CON01-J | medium | probable | medium | P8 | L2 |
CON02-J | low | likely | high | P3 | L3 |
CON03-J | low | probable | medium | P4 | L3 |
CON04-J | low | probable | medium | P4 | L3 |
CON05-J | low | probable | medium | P4 | L3 |
CON06-J | low | probable | medium | P4 | L3 |
CON07-J | low | likely | high | P3 | L3 |
CON08-J | low | likely | high | P3 | L3 |
CON09-J | low | probable | medium | P4 | L3 |
CON10-J | low | probable | medium | P4 | L3 |
CON11-J | low | likely | high | P3 | L3 |
CON12-J | low | probable | medium | P4 | L3 |
CON14-J | low | probable | medium | P4 | L3 |
CON15-J | low | likely | low | P9 | L2 |
CON16-J | low | probable | medium | P4 | L3 |
CON17-J | low | probable | low | P6 | L2 |
CON18-J | low | unlikely | medium | P2 | L3 |
CON19-J | low | unlikely | medium | P2 | L3 |
CON20-J | low | probable | high | P2 | L3 |
CON21-J | low | probable | high | P2 | L3 |
CON22-J | low | probable | medium | P4 | L3 |
CON23-J | low | unlikely | medium | P2 | L3 |
CON24-J | low | unlikely | medium | P2 | L3 |
CON25-J | low | unlikely | medium | P2 | L3 |
...