Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores.
Azalea RaadLuc MarangetViktor VafeiadisPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- memory hierarchy
- computer architecture
- temporal consistency
- spatio temporal
- temporal dimension
- temporal relations
- single instruction multiple data
- temporal information
- memory requirements
- spatial and temporal
- data structure
- spatial locality
- semantic information
- logic programming
- memory usage
- formal semantics
- computing power
- temporal reasoning
- multi core processors
- temporal data
- computational power
- temporal databases
- temporal constraints
- parallel processing
- computer systems
- databases