Self-paging in the Nemesis operating system
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Compiler directed memory management policy for numerical programs
Proceedings of the tenth ACM symposium on Operating systems principles
Real-Time Systems Design and Analysis: An Engineer's Handbook
Real-Time Systems Design and Analysis: An Engineer's Handbook
Real-Time Performance of Dynamic Memory Allocation Algorithms
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
TLSF: A New Dynamic Memory Allocator for Real-Time Systems
ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
Energy-Aware Memory Firewalling for QoS-Sensitive Applications
ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems
A comparison of memory allocators for real-time applications
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Taming the memory hogs: using compiler-inserted releases to manage physical memory intelligently
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Predictable Paging in Real-Time Systems: A Compiler Approach
ECRTS '07 Proceedings of the 19th Euromicro Conference on Real-Time Systems
Memory Resource Management for Real-Time Systems
ECRTS '07 Proceedings of the 19th Euromicro Conference on Real-Time Systems
An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications
RTCSA '07 Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Autonomous driving in urban environments: Boss and the Urban Challenge
Journal of Field Robotics - Special Issue on the 2007 DARPA Urban Challenge, Part I
Scheduler-Assisted Prefetching: Efficient Demand Paging for Embedded Systems
RTCSA '08 Proceedings of the 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Predictable Code and Data Paging for Real Time Systems
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
RTCSA '12 Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
| Hi-index | 0.00 |
Memory reservations are used to provide real-time tasks with guaranteed memory access to a specified amount of physical memory. However, previous work on memory reservation primarily focused on private pages, and did not pay attention to shared pages, which are widely used in current operating systems. With previous schemes, a real-time task may experience unexpected timing delays from other tasks through shared pages that are shared by another process, even though the task has enough free pages in its own reservation. In this paper, we first describe the problems that arise when real-time tasks share pages. We then propose a shared-page management framework which enhances the temporal isolation provided by memory reservations in resource kernels that use the resource reservation approach. Our proposed solution consists of two schemes, Shared-Page Conservation (SPC) and Shared-Page Eviction Lock (SPEL), each of which prevents timing penalties caused by the seemingly arbitrary eviction of shared pages. The framework can manage shared data for inter-process communication and shared libraries, as well as pages shared by the kernel's copy-on-write technique and file caches. We have implemented and evaluated our schemes on the Linux/RK platform, but it can also be applied to other operating systems with paged virtual memory.