Architectural and Operating System Support for Virtual Memory
暫譯: 虛擬記憶體的架構與作業系統支援
Bhattacharjee, Abhishek, Lustig, Daniel, Khandelwal, Anurag
- 出版商: Springer
- 出版日期: 2026-10-31
- 售價: $2,410
- 貴賓價: 9.5 折 $2,289
- 語言: 英文
- 頁數: 169
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3032384834
- ISBN-13: 9783032384836
-
相關分類:
Computer-architecture、Operating-system
無法訂購
商品描述
This book provides computer engineers, academic researchers, new graduate students, and seasoned practitioners an end-to-end overview of virtual memory. We begin with a recap of foundational concepts and discuss not only state-of-the-art virtual memory hardware and software support available today, but also emerging research trends in this space. The span of topics covers processor microarchitecture, memory systems, operating system design, and memory allocation. We show how efficient virtual memory implementations hinge on careful hardware and software cooperation, and we discuss new research directions aimed at addressing emerging problems in this space.
Virtual memory is a classic computer science abstraction and one of the pillars of the computing revolution. It has long enabled hardware flexibility, software portability, and overall better security, to name just a few of its powerful benefits. Nearly all user-level programs today take for granted that they will have beenfreed from the burden of physical memory management by the hardware, the operating system, device drivers, and system libraries.
However, despite its ubiquity in systems ranging from warehouse-scale datacenters to embedded Internet of Things (IoT) devices, the overheads of virtual memory are becoming a critical performance bottleneck today. Virtual memory architectures designed for individual CPUs or even individual cores are in many cases struggling to scale up and scale out to today's systems which now increasingly include exotic hardware accelerators (such as GPUs, FPGAs, or DSPs) and emerging memory technologies (such as non-volatile memory), and which run increasingly intensive workloads (such as virtualized and/or "big data" applications). As such, many of the fundamental abstractions and implementation approaches for virtual memory are being augmented, extended, or entirely rebuilt in order to ensure that virtual memory remains viable and performant in the years to come.
商品描述(中文翻譯)
本書為電腦工程師、學術研究人員、研究所新生，以及資深實務工作者，提供虛擬記憶體的端到端概觀。我們首先回顧基礎概念，接著探討當今可用的最先進虛擬記憶體硬體與軟體支援，以及此領域正在浮現的研究趨勢。涵蓋的主題包括處理器微架構、記憶體系統、作業系統設計，以及記憶體配置。我們將說明，高效率的虛擬記憶體實作有賴於硬體與軟體之間的謹慎協作，並討論旨在解決此領域新興問題的新研究方向。
虛擬記憶體是經典的電腦科學抽象概念，也是計算革命的支柱之一。長久以來，它帶來了硬體彈性、軟體可攜性，以及更完善的整體安全性等多項強大優勢。如今，幾乎所有使用者層級程式都理所當然地認為，硬體、作業系統、裝置驅動程式與系統函式庫，已替它們免除了管理實體記憶體的負擔。
然而，儘管虛擬記憶體廣泛存在於從超大規模資料中心到嵌入式物聯網（Internet of Things, IoT）裝置等各類系統中，其額外負擔如今正逐漸成為關鍵的效能瓶頸。針對個別 CPU，甚至個別核心所設計的虛擬記憶體架構，在許多情況下已難以擴展至今日的系統規模。現今的系統日益包含各種特殊硬體加速器（例如 GPU、FPGA 或 DSP）與新興記憶體技術（例如非揮發性記憶體），同時也執行越來越密集的工作負載（例如虛擬化應用程式及／或「大數據」應用程式）。因此，許多虛擬記憶體的基礎抽象概念與實作方法，正逐步被增補、擴充，甚至徹底重建，以確保虛擬記憶體在未來數年仍能維持可行性與高效能。
作者簡介
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.
作者簡介(中文翻譯)
Abhishek Bhattacharjee 是 Princeton University 的電腦科學教授。他的研究專注於建構能夠為程式設計師與演算法保留高階抽象概念，同時在硬體限制下實現高效能的電腦系統。他的研究跨足電腦架構、作業系統、伺服器系統與神經科技等領域。他曾獲 ACM SIGARCH Maurice Wilkes Award，以表彰其在記憶體位址轉譯方面的貢獻；這些貢獻已影響數十億個微處理器與作業系統的設計。他於 2010 年取得 Princeton University 的博士學位。
Dan Lustig 是 NVIDIA 的傑出研究科學家（Distinguished Research Scientist）。他的研究專注於記憶體系統架構，特別關注記憶體一致性模型、快取一致性協定、虛擬記憶體，以及這些系統的形式驗證。他於 2015 年取得 Princeton University 的博士學位。
Anurag Khandelwal 是 Yale University 電腦科學系的副教授。他的研究興趣涵蓋電腦軟體與硬體系統、網路及安全性。Anurag 於 2019 年取得 UC Berkeley 的電腦科學博士學位。
