Revisiting Virtual Memory

Revisiting Virtual Memory PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

Get Book Here

Book Description
Page-based virtual memory (paging) is a crucial piece of memory management in today's computing systems. However, I find that need, purpose and design constraints of virtual memory have changed dramatically since translation lookaside buffers (TLBs) were introduced to cache recently-used address translations: (a) physical memory sizes have grown more than a million-fold, (b) workloads are often sized to avoid swapping information to and from secondary storage, and (c) energy is now a first-order design constraint. Nevertheless, level-one TLBs have remained the same size and are still accessed on every memory reference. As a result, large workloads waste considerable execution time on TLB misses and all workloads spend energy on frequent TLB accesses. In this thesis I argue that it is now time to reevaluate virtual memory management. I reexamine virtual memory subsystem considering the ever-growing latency overhead of address translation and considering energy dissipation, developing three results. First, I proposed direct segments to reduce the latency overhead of address translation for emerging big-memory workloads. Many big-memory workloads allocate most of their memory early in execution and do not benefit from paging. Direct segments enable hardware-OS mechanisms to bypass paging for a part of a process's virtual address space, eliminating nearly 99% of TLB miss for many of these workloads. Second, I proposed opportunistic virtual caching (OVC) to reduce the energy spent on translating addresses. Accessing TLBs on each memory reference burns significant energy, and virtual memory's page size constrains L1-cache designs to be highly associative -- burning yet more energy. OVC makes hardware-OS modifications to expose energy-efficient virtual caching as a dynamic optimization. This saves 94-99% of TLB lookup energy and 23% of L1-cache lookup energy across several workloads. Third, large pages are likely to be more appropriate than direct segments to reduce TLB misses under frequent memory allocations/deallocations. Unfortunately, prevalent chip designs like Intel's, statically partition TLB resources among multiple page sizes, which can lead to performance pathologies for using large pages. I proposed the merged-associative TLB to avoid such pathologies and reduce TLB miss rate by up to 45% through dynamic aggregation of TLB resources across page sizes.

Revisiting Virtual Memory

Revisiting Virtual Memory PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0

Get Book Here

Book Description
Page-based virtual memory (paging) is a crucial piece of memory management in today's computing systems. However, I find that need, purpose and design constraints of virtual memory have changed dramatically since translation lookaside buffers (TLBs) were introduced to cache recently-used address translations: (a) physical memory sizes have grown more than a million-fold, (b) workloads are often sized to avoid swapping information to and from secondary storage, and (c) energy is now a first-order design constraint. Nevertheless, level-one TLBs have remained the same size and are still accessed on every memory reference. As a result, large workloads waste considerable execution time on TLB misses and all workloads spend energy on frequent TLB accesses. In this thesis I argue that it is now time to reevaluate virtual memory management. I reexamine virtual memory subsystem considering the ever-growing latency overhead of address translation and considering energy dissipation, developing three results. First, I proposed direct segments to reduce the latency overhead of address translation for emerging big-memory workloads. Many big-memory workloads allocate most of their memory early in execution and do not benefit from paging. Direct segments enable hardware-OS mechanisms to bypass paging for a part of a process's virtual address space, eliminating nearly 99% of TLB miss for many of these workloads. Second, I proposed opportunistic virtual caching (OVC) to reduce the energy spent on translating addresses. Accessing TLBs on each memory reference burns significant energy, and virtual memory's page size constrains L1-cache designs to be highly associative -- burning yet more energy. OVC makes hardware-OS modifications to expose energy-efficient virtual caching as a dynamic optimization. This saves 94-99% of TLB lookup energy and 23% of L1-cache lookup energy across several workloads. Third, large pages are likely to be more appropriate than direct segments to reduce TLB misses under frequent memory allocations/deallocations. Unfortunately, prevalent chip designs like Intel's, statically partition TLB resources among multiple page sizes, which can lead to performance pathologies for using large pages. I proposed the merged-associative TLB to avoid such pathologies and reduce TLB miss rate by up to 45% through dynamic aggregation of TLB resources across page sizes.

Architectural and Operating System Support for Virtual Memory

Architectural and Operating System Support for Virtual Memory PDF Author: Abhishek Bhattacharjee
Publisher: Springer Nature
ISBN: 3031017579
Category : Technology & Engineering
Languages : en
Pages : 168

Get Book Here

Book Description
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 been freed 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.

Choices, Frameworks and Refinements Revisited

Choices, Frameworks and Refinements Revisited PDF Author: Roy Harold Campbell
Publisher:
ISBN:
Category : Object-oriented programming (Computer science)
Languages : en
Pages : 66

Get Book Here

Book Description
We describe the following subsystems and their subframeworks: virtual memory, persistent storage, process management, message passing and device management subframeworks. We discuss the advantages and disadvantages of using frameworks to design and implement object-oriented systems."

Virtual Memory

Virtual Memory PDF Author: Peter J. Denning
Publisher:
ISBN:
Category : Virtual storage (Computer science)
Languages : en
Pages : 30

Get Book Here

Book Description
Traces history of ideal of virtual memory.

Dynamic Memory Revisited

Dynamic Memory Revisited PDF Author: Roger C. Schank
Publisher: Cambridge University Press
ISBN: 9780521633987
Category : Psychology
Languages : en
Pages : 318

Get Book Here

Book Description
Roger Schank's influential book, Dynamic Memory, described how computers could learn based upon what was known about how people learn. Since that book's publication in 1982, Dr Schank has turned his focus from artificial intelligence to human intelligence. Dynamic Memory Revisited contains the theory of learning presented in the original book, extending it to provide principles for teaching and learning. It includes Dr Schank's important theory of case-based reasoning and assesses the role of stories in human memory. In addition, it covers his ideas on non-conscious learning, indexing, and the cognitive structures that underlie learning by doing. Dynamic Memory Revisited is crucial reading for all who are concerned with education and school reform. It draws attention to how effective learning takes place and provides instruction for developing software that truly helps students learn.

The Past is a Foreign Country - Revisited

The Past is a Foreign Country - Revisited PDF Author: David Lowenthal
Publisher: Cambridge University Press
ISBN: 0521851424
Category : History
Languages : en
Pages : 679

Get Book Here

Book Description
A completely updated new edition of David Lowenthal's classic account of how we reshape the past to serve present needs.

Social Memory among the Literati of Yehud

Social Memory among the Literati of Yehud PDF Author: Ehud Ben Zvi
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110546515
Category : Religion
Languages : en
Pages : 849

Get Book Here

Book Description
Ehud Ben Zvi has been at the forefront of exploring how the study of social memory contributes to our understanding of the intellectual worldof the literati of the early Second Temple period and their textual repertoire. Many of his studies on the matter and several new relevant works are here collected together providing a very useful resource for furthering research and teaching in this area. The essays included here address, inter alia, prophets as sites of memory, kings as sites memory, Jerusalem as a site of memory, a mnemonic system shaped by two interacting ‘national’ histories, matters of identity and othering as framed and explored via memories, mnemonic metanarratives making sense of the past and serving various didactic purposes and their problems, memories of past and futures events shared by the literati, issues of gender constructions and memory, memories understood by the group as ‘counterfactual’ and their importance, and, in multiple ways, how and why shared memories served as a (safe) playground for exploring multiple, central ideological issues within the group and of generative grammars governing systemic preferences and dis-preferences for particular memories.

Visual Culture Revisited

Visual Culture Revisited PDF Author: Ralf Adelmann
Publisher: Herbert von Halem Verlag
ISBN: 3869621737
Category : Social Science
Languages : en
Pages : 314

Get Book Here

Book Description
Is there one visual culture or are there multiple visual cultures? On the one hand, it is obvious that images do not exist and cannot be understood independently. Rather, they are embedded in institutions and cultural contexts. This common ground suggests an understanding of visual culture as a singular phenomenon. On the other hand the plurality of pictorial representations - from Sitcoms to illustrations in childrens' books, from cartoons to satellite photos, from high art to everyday life - suggests the conception of visual culture as a singular phenomenon to be misleading. The visual world is a field of conflict and tension between self and other, mainstream and counterculture. The articles in this book include both theoretical reflections on the dialectics of visual culture(s) as well as case studies. The focus lies on examples from the U.S. American context - from the focusing on Native Americans as the 'Vanishing Race' in the 19th-century Photography to the TV coverage of the Columbia Space Shuttle Disaster in February, 2003. This book is therefore highly recommendable to both students and scholars of American Studies als well as those interested in the interdisciplinary debate on visual culture(s).

Rethinking Technologies

Rethinking Technologies PDF Author: Verena Andermatt Conley
Publisher: U of Minnesota Press
ISBN: 1452900574
Category : Technology & Engineering
Languages : en
Pages : 266

Get Book Here

Book Description


Reconsidering Difference

Reconsidering Difference PDF Author: Todd May
Publisher: Penn State Press
ISBN: 0271071710
Category : Philosophy
Languages : en
Pages : 220

Get Book Here

Book Description
French philosophy since World War II has been preoccupied with the issue of difference. Specifically, it has wanted to promote or to leave room for ways of living and of being that differ from those usually seen in contemporary Western society. Given the experience of the Holocaust, the motivation for such a preoccupation is not difficult to see. For some thinkers, especially Jean-Luc Nancy, Jacques Derrida, Emmanuel Levinas, and Gilles Deleuze, this preoccupation has led to a mode of philosophizing that privileges difference as a philosophical category. Nancy privileges difference as a mode of conceiving community, Derrida as a mode of conceiving linguistic meaning, Levinas as a mode of conceiving ethics, and Deleuze as a mode of conceiving ontology. Reconsidering Difference has a twofold task, the primary one critical and the secondary one reconstructive. The critical task is to show that these various privilegings are philosophical failures. They wind up, for reasons unique to each position, endorsing positions that are either incoherent or implausible. Todd May considers the incoherencies of each position and offers an alternative approach. His reconstructive task, which he calls "contingent holism," takes the phenomena under investigation—community, language, ethics, and ontology—and sketches a way of reconceiving them that preserves the motivations of the rejected positions without falling into the problems that beset them.