NDLI: Real-time multi-core virtual machine scheduling in xen

Please wait, while we are loading the content...

Exponentially timed SADF: compositional semantics, reductions, and analysis

Refinement calculus of reactive systems

Precise piecewise affine models from input-output data

Embedded software reliability for unreliable hardware

Multiple shooting, CEGAR-based falsification for hybrid systems

SiPTA: signal processing for trace-based anomaly detection

Blaming in component-based real-time systems

A general approach for expressing infeasibility in implicit path enumeration technique

Computing maximum blocking times with explicit path analysis under non-local flow bounds

Extending typical worst-case analysis using response-time dependencies to bound deadline misses

Energy efficient DVFS scheduling for mixed-criticality systems

p-YDS algorithm: an optimal extension of YDS algorithm to minimize expected energy for real-time jobs

Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing

Deductive control synthesis for alternating-time logics

Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation

Synthesising optimal timing delays for timed I/O automata

Automated software testing of memory performance in embedded GPUs

On the existence of probe effect in multi-threaded embedded programs

Can we put concurrency back into redundant multithreading?

Schedulability analysis of global memory-predictable scheduling

Supporting read/write applications in embedded real-time systems via suspension-aware analysis

Task mapping in heterogeneous embedded systems for fast completion time

Contract-based integration of cyber-physical analyses

CPSGrader: synthesizing temporal logic testers for auto-grading an embedded systems laboratory

Real-time system support for hybrid structural simulation

Parallel many-core avionics systems

Real-time multi-core virtual machine scheduling in xen

EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs: myth or fact?

Building high-performance smartphones via non-volatile memory: the swap approach

Real-time multi-core virtual machine scheduling in xen

Content Provider	ACM Digital Library
Author	Sokolsky, Oleg Phan, Linh T. X. Gill, Christopher Lee, Insup Xi, Sisu Xu, Meng Lu, Chenyang
Abstract	Recent years have witnessed two major trends in the development of complex real-time embedded systems. First, to reduce cost and enhance flexibility, multiple systems are sharing common computing platforms via virtualization technology, instead of being deployed separately on physically isolated hosts. Second, multicore processors are increasingly being used in real-time systems. The integration of real-time systems as virtual machines (VMs) atop common multicore platforms raises significant new research challenges in meeting the real-time performance requirements of multiple systems. This paper advances the state of the art in real-time virtualization by designing and implementing RT-Xen 2.0, a new real-time multicore VM scheduling framework in the popular Xen virtual machine monitor (VMM). RT-Xen 2.0 realizes a suite of real-time VM scheduling policies spanning the design space. We implement both global and partitioned VM schedulers; each scheduler can be configured to support dynamic or static priorities and to run VMs as periodic or deferrable servers. We present a comprehensive experimental evaluation that provides important insights into real-time scheduling on virtualized multicore platforms: (1) both global and partitioned VM scheduling can be implemented in the VMM at moderate overhead; (2) at the VMM level, while compositional scheduling theory shows partitioned EDF (pEDF) is better than global EDF (gEDF) in providing schedulability guarantees, in our experiments their performance is reversed in terms of the fraction of workloads that meet their deadlines on virtualized multi-core platforms; (3) at the guest OS level, pEDF requests a smaller total VCPU bandwidth than gEDF based on compositional scheduling analysis, and therefore using pEDF at the guest OS level leads to more schedulable workloads in our experiments; (4) a combination of pEDF in the guest OS and gEDF in the VMM -- configured with deferrable server -- leads to the highest fraction of schedulable task sets compared to other real-time VM scheduling policies; and (5) on a platform with a shared last-level cache, the benefits of global scheduling outweigh the cache penalty incurred by VM migration.
Starting Page	1
Ending Page	10
Page Count	10
File Format	PDF
ISBN	9781450330527
DOI	10.1145/2656045.2656066
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-10-12
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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