中文
相关论文

相关论文: Java Card Virtual Machine Memory Organization: a D…

200 篇论文

The design of the buffer manager in database management systems (DBMSs) is influenced by the performance characteristics of volatile memory (DRAM) and non-volatile storage (e.g., SSD). The key design assumptions have been that the data must…

数据库 · 计算机科学 2019-01-31 Joy Arulraj , Andy Pavlo , Krishna Teja Malladi

In this work we present the Secure Machine, SeM for short, a CPU architecture extension for secure computing. SeM uses a small amount of in-chip additional hardware that monitors key communication channels inside the CPU chip, and only acts…

密码学与安全 · 计算机科学 2018-03-13 Ofir Shwartz , Yitzhak Birk

Non-volatile memory (NVM) is a class of promising scalable memory technologies that can potentially offer higher capacity than DRAM at the same cost point. Unfortunately, the access latency and energy of NVM is often higher than those of…

硬件体系结构 · 计算机科学 2018-05-01 HanBin Yoon , Justin Meza , Rachata Ausavarungnirun , Rachael A. Harding , Onur Mutlu

The increasing complexity of autonomous systems has driven a shift to integrated heterogeneous SoCs with real-time and safety demands. Ensuring deterministic WCETs and low-latency for critical tasks requires minimizing interference on…

硬件体系结构 · 计算机科学 2025-04-09 Christopher Reinwardt , Robert Balas , Alessandro Ottaviano , Angelo Garofalo , Luca Benini

The emerging hybrid DRAM-NVM architecture is challenging the existing memory management mechanism in operating system. In this paper, we introduce memos, which can schedule memory resources over the entire memory hierarchy including cache,…

操作系统 · 计算机科学 2017-03-23 Lei Liu , Mengyao Xie , Hao Yang

This paper presents GMEM, generalized memory management, for peripheral devices. GMEM provides OS support for centralized memory management of both CPU and devices. GMEM provides a high-level interface that decouples MMU-specific functions.…

操作系统 · 计算机科学 2023-10-20 Weixi Zhu , Alan L. Cox , Scott Rixner

Memory safety errors continue to pose a significant threat to current computing systems, and graphics processing units (GPUs) are no exception. A prominent class of memory safety algorithms is allocation-based solutions. The key idea is to…

分布式、并行与集群计算 · 计算机科学 2025-02-27 Mohamed Tarek Ibn Ziad , Sana Damani , Mark Stephenson , Stephen W. Keckler , Aamer Jaleel

For the last thirty years, a large variety of memory allocators have been proposed. Since performance, memory usage and energy consumption of each memory allocator differs, software engineers often face difficult choices in selecting the…

操作系统 · 计算机科学 2024-06-25 José L. Risco-Martín , J. Manuel Colmenar , David Atienza , J. Ignacio Hidalgo

Recently, the amount of running software on smart mobile devices is gradually increasing due to the introduction of application stores. The application store is a type of digital distribution platform for application software, which is…

硬件体系结构 · 计算机科学 2021-01-25 Geunsik Lim , Changwoo Min , Young Ik Eom

Memory has become the primary cost driver in cloud data centers. Yet, a significant portion of memory allocated to VMs in public clouds remains unused. To optimize this resource, "cold" memory can be reclaimed from VMs and stored on slower…

In this paper, we introduce the concept of a virtual machine with graph-organised memory as a versatile backend for both explicit-state and abstraction-driven verification of software. Our virtual machine uses the LLVM IR as its instruction…

软件工程 · 计算机科学 2019-07-10 Petr Ročkai , Vladimír Štill , Ivana černá , Jiří Barnat

The problem of Oblivious RAM (ORAM) has traditionally been studied in a single-server setting, but more recently the multi-server setting has also been considered. Yet it is still unclear whether the multi-server setting has any inherent…

密码学与安全 · 计算机科学 2018-09-05 T-H. Hubert Chan , Jonathan Katz , Kartik Nayak , Antigoni Polychroniadou , Elaine Shi

Many high end and next generation computing systems to incorporated alternative memory technologies to meet performance goals. Since these technologies present distinct advantages and tradeoffs compared to conventional DDR* SDRAM, such as…

性能 · 计算机科学 2021-10-06 M. Ben Olson , Brandon Kammerdiener , Kshitij A. Doshi , Terry Jones , Michael R. Jantz

One reason for not adopting cloud services is the required trust in the cloud provider: As they control the hypervisor, any data processed in the system is accessible to them. Full memory encryption for Virtual Machines (VM) protects…

密码学与安全 · 计算机科学 2020-04-24 Luca Wilke , Jan Wichelmann , Mathias Morbitzer , Thomas Eisenbarth

Modern Operating Systems are typically POSIX-compliant. The system calls are the fundamental layer of interaction between user-space applications and the OS kernel and its implementation of fundamental abstractions and primitives used in…

操作系统 · 计算机科学 2017-12-25 Vyacheslav Dubeyko , Cyril Guyot , Luis Cargnini , Adam Manzanares

Non-Volatile Main Memories (NVMMs) have recently emerged as promising technologies for future memory systems. Generally, NVMMs have many desirable properties such as high density, byte-addressability, non-volatility, low cost, and energy…

分布式、并行与集群计算 · 计算机科学 2020-10-12 Haikun Liu , Di Chen , Hai Jin , Xiaofei Liao , Bingsheng He , Kan Hu , Yu Zhang

Virtual memory is an essential mechanism for enforcing security boundaries, but its relaxed-memory concurrency semantics has not previously been investigated in detail. The concurrent systems code managing virtual memory has been left on an…

硬件体系结构 · 计算机科学 2022-03-02 Ben Simner , Alasdair Armstrong , Jean Pichon-Pharabod , Christopher Pulte , Richard Grisenthwaite , Peter Sewell

As ATM applications deploy for a banking system, the need to secure communications will become critical. However, multicast protocols do not fit the point-to-point model of most network security protocols which were designed with unicast…

密码学与安全 · 计算机科学 2015-05-13 Zeinab Ghafari , Taha Arian , Morteza Analoui

Many modern workloads such as neural network inference and graph processing are fundamentally memory-bound. For such workloads, data movement between memory and CPU cores imposes a significant overhead in terms of both latency and energy. A…

硬件体系结构 · 计算机科学 2023-04-04 Juan Gómez-Luna , Izzat El Hajj , Ivan Fernandez , Christina Giannoula , Geraldo F. Oliveira , Onur Mutlu

Over a past few decades, VM's or Virtual machines have sort of gained a lot of momentum, especially for large scale enterprises where the need for resource optimization & power save is humongous, without compromising with performance or…

其他计算机科学 · 计算机科学 2010-06-15 Rohit Kewlani