NDLI: Predictable Communication and Migration in the Quest-V Separation Kernel

Content Provider	IEEE Xplore Digital Library
Author	Ye Li West, R. Zhuoqun Cheng Missimer, E.
Copyright Year	2014
Description	Author affiliation: Comput. Sci. Dept., Boston Univ., Boston, MA, USA (Ye Li; West, R.; Zhuoqun Cheng; Missimer, E.)
Abstract	Quest-V is a separation kernel, which partitions a system into a collection of sandboxes. Each sandbox encapsulates one or more processing cores, a region of machine physical memory, and a subset of I/O devices. Quest-V behaves like a distributed system on a chip, using explicit communication channels to exchange data and migrate addresses spaces between sandboxes, which operate like traditional hosts. This design has benefits in safety-critical systems, which require continued availability in the presence of failures. Additionally, online faults can be recovered without rebooting an entire system. However, the programming model for such a system is more complicated. Each sandbox has its own local scheduler, and threads must communicate using message passing with those in remote sandboxes. Similarly, address spaces may need to be migrated between sandboxes, to ensure newly forked processes do not violate the feasibility of existing local task schedules. Migration may also be needed to move a thread closer to its required resources, such as I/O devices that are not directly available in the local sandbox. This paper describes how Quest-V performs real-time communication and migration without violating service guarantees for existing threads.
Sponsorship	IEEE Comput. Soc.
Starting Page	272
Ending Page	283
File Size	587812
Page Count	12
File Format	PDF
ISBN	9781479972883
ISSN	10528725
DOI	10.1109/RTSS.2014.17
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-12-02
Publisher Place	Italy
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Message systems Kernel Real-time systems Monitoring Hardware Communication channels Instruction sets process migration separation kernel virtualization real-time communication
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Thread Migration in a Replicated-Kernel OS

Qduino: A Multithreaded Arduino System for Embedded Computing

Process Implanting: A New Active Introspection Framework for Virtualization

Sleepy Sloth: Threads as Interrupts as Threads

Osprey: Operating system for predictable clouds

A modular software architecture for UAVs

Increasing Memory Utilization with Transient Memory Scheduling

Predictable migration and communication in the quest-v multikernel.

Predictable communication and migration in the quest-v separation kernel.

Predictable Communication and Migration in the Quest-V Separation Kernel

Similar Documents

Thread Migration in a Replicated-Kernel OS

Qduino: A Multithreaded Arduino System for Embedded Computing

Process Implanting: A New Active Introspection Framework for Virtualization

Sleepy Sloth: Threads as Interrupts as Threads

Osprey: Operating system for predictable clouds

A modular software architecture for UAVs

Increasing Memory Utilization with Transient Memory Scheduling

Predictable migration and communication in the quest-v multikernel.

Predictable communication and migration in the quest-v separation kernel.

Predictable Communication and Migration in the Quest-V Separation Kernel