Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
memory consistency model
|
| gptkbp:abbreviation |
gptkb:TSO
|
| gptkbp:allows |
reads to be reordered with older writes to different locations
|
| gptkbp:describedBy |
gptkb:Intel_64_and_IA-32_Architectures_Software_Developer’s_Manual
gptkb:SPARC_Architecture_Manual |
| gptkbp:enforcedBy |
membar instruction (SPARC)
mfence instruction (x86) |
| gptkbp:guarantees |
writes by a single processor are seen in order by all processors
|
| https://www.w3.org/2000/01/rdf-schema#label |
Total Store Order
|
| gptkbp:isWeakerThan |
Partial Store Order
Sequential Consistency |
| gptkbp:relatedTo |
load buffer
memory barrier memory consistency store buffer |
| gptkbp:usedIn |
gptkb:x86_architecture
gptkb:SPARC_architecture multiprocessor systems |
| gptkbp:bfsParent |
gptkb:TSO
|
| gptkbp:bfsLayer |
6
|