CrossMapping - Harmonizing Memory Consistency in Cross-ISA Binary Translation
Offered By: USENIX via YouTube
Course Description
Overview
Explore a 17-minute conference talk from USENIX ATC '24 that delves into CrossMapping, a novel framework for harmonizing memory consistency in cross-ISA binary translation. Learn about the challenges faced by Dynamic Binary Translation (DBT) systems due to memory consistency mismatches between guest and host Instruction Set Architectures (ISAs). Discover how CrossMapping introduces specification tables to describe memory models uniformly, enabling the derivation of concurrent primitive mapping schemes. Understand how this approach enhances existing DBT systems, ensuring correct emulation and smooth cross-ISA translation. Examine the performance improvements achieved when emulating x86 on ARMv8 and RISC-V platforms, as demonstrated through evaluations using the PARSEC benchmark suite.
Syllabus
USENIX ATC '24 - CrossMapping: Harmonizing Memory Consistency in Cross-ISA Binary Translation
Taught by
USENIX
Related Courses
Computer ArchitecturePrinceton University via Coursera Introduction to Computer Architecture
Carnegie Mellon University via Independent 计算机组成 Computer Organization
Peking University via Coursera Computation Structures 2: Computer Architecture
Massachusetts Institute of Technology via edX Embedded Systems
Georgia Institute of Technology via Udacity