2017
DOI: 10.1109/mm.2017.69
|View full text |Cite
|
Sign up to set email alerts
|

Transistency Models: Memory Ordering at the Hardware-OS Interface

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
63
0

Year Published

2017
2017
2022
2022

Publication Types

Select...
4
1
1

Relationship

3
3

Authors

Journals

citations
Cited by 17 publications
(63 citation statements)
references
References 10 publications
0
63
0
Order By: Relevance
“…VM is a complicated interface requiring correct hardware and software cooperation. Despite decades of active research, real-world VM implementations routinely suffer from bugs in both the hardware and OS layers [5,80,94]. The advent of hardware accelerators and new memory technologies promises new hardware and software VM management layers, which add to this already challenging verification burden.…”
Section: Issues With Modern Virtual Memorymentioning
confidence: 99%
See 3 more Smart Citations
“…VM is a complicated interface requiring correct hardware and software cooperation. Despite decades of active research, real-world VM implementations routinely suffer from bugs in both the hardware and OS layers [5,80,94]. The advent of hardware accelerators and new memory technologies promises new hardware and software VM management layers, which add to this already challenging verification burden.…”
Section: Issues With Modern Virtual Memorymentioning
confidence: 99%
“…Therefore, on every load and store operation, the accessed page's page table entry must have its accessed bit set. On modern CPUs, the page table walker is responsible for setting the accessed bit [19,80,94]. In other words, when there is a TLB miss and a page table walk is performed, the page table walker hardware identifies the desired page table entry and sets the accessed bit in it.…”
Section: Accessed and Dirty Bitsmentioning
confidence: 99%
See 2 more Smart Citations
“…To augment MCMs with VM-aware features, prior work proposed memory transistency models (MTMs): "the superset of [memory] consistency [models] which capture all [address] translation-aware sets of ordering rules" [29]. Likewise, where ISA MCM behaviors are typically specified and validated using small diagnostic programs called litmus tests (such as sb in Fig.…”
Section: Introductionmentioning
confidence: 99%