Hardware translation coherence for virtualized systems

Zi Yan, Ján Veselý, Guilherme Cox, Abhishek Bhattacharjee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Scopus citations


To improve system performance, operating systems (OSes) often undertake activities that require modifcation of virtual-to-physical address translations. For example, the OS may migrate data between physical pages to manage heterogeneous memory devices. We refer to such activities as page remappings. Unfortunately, page remappings are expensive. We show that a big part of this cost arises from address translation coherence, particularly on systems employing virtualization. In response, we propose hardware translation invalidation and coherence or HATRIC, a readily implementable hardware mechanism to piggyback translation coherence atop existing cache coherence protocols. We perform detailed studies using KVM-based virtualization, showing that HATRIC achieves up to 30% performance and 10% energy benefts, for per-CPU area overheads of 0.2%. We also quantify HATRIC's benefts on systems running Xen and fnd up to 33% performance improvements.

Original languageEnglish (US)
Title of host publicationISCA 2017 - 44th Annual International Symposium on Computer Architecture - Conference Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages14
ISBN (Electronic)9781450348928
StatePublished - Jun 24 2017
Event44th Annual International Symposium on Computer Architecture - ISCA 2017 - Toronto, Canada
Duration: Jun 24 2017Jun 28 2017

Publication series

NameProceedings - International Symposium on Computer Architecture
VolumePart F128643
ISSN (Print)1063-6897


Other44th Annual International Symposium on Computer Architecture - ISCA 2017

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture


  • Heterogeneous memory
  • Translation coherence
  • Virtualization


Dive into the research topics of 'Hardware translation coherence for virtualized systems'. Together they form a unique fingerprint.

Cite this