Architectural and Operating System Support for Virtual Memory

Abhishek Bhattacharjee is a Professor of Computer Science at Princeton University. His research focuses on building computer systems that preserve high-level abstractions for programmers and algorithms while achieving high performance under hardware constraints. He works at the intersection of computer architecture, operating systems, server systems, and neurotechnology. He is the recipient of the ACM SIGARCH Maurice Wilkes Award for his contributions to memory address translation, which have influenced the design of billions of microprocessors and operating systems. He received his PhD from Princeton University in 2010.
Dan Lustig is a Distinguished Research Scientist at NVIDIA. His research focuses on memory system architecture, with particular interests in memory consistency models, cache coherence protocols, virtual memory, and the formal verification of these systems. He received his PhD from Princeton University in 2015.
Anurag Khandelwal is an Associate Professor at the Department of Computer Science at Yale University. His research interests span computer software and hardware systems, networking, and security. Anurag received his PhD in Computer Science from UC Berkeley in 2019.

Preface.- Acknowledgments.- Introduction.- The Virtual Memory Abstraction.- Implementing Virtual Memory: An Overview.- Modern VM Hardware Stack.- Modern VM Software Stack.- Virtual Memory, Coherence, and Consistency.- Heterogeneity and Virtualization.- Advanced VM Hardware.- Advanced VM Hardware-software Co-design.- Conclusion.- Bibliography.- Authors' Biographies.