Relaxed virtual memory in Armv8-A.

Ben Simner Alasdair Armstrong Jean Pichon-Pharabod Christopher Pulte Richard Grisenthwaite Peter Sewell

Published in: ESOP (2022)

Keyphrases

virtual memory
buffer management
operating system
main memory
virtual machine
optimal solution
database management systems
real time database systems
database
databases
data structure
high dimensional
prefetching
real time systems
storage management