Fast Component Interaction for Real-Time Systems

Steinberg, Udo; Wolter, J.; Härtig, Hermann

doi:10.1109/ecrts.2005.16

Cited by 35 publications

(25 citation statements)

References 19 publications

(20 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The presented approach for the µRTZVisor scheduler merges the ideas of [42,45]. It provides a scheduling mechanism that enables fast interaction between partitions, while enabling the coexistence of real-time and non-real-time applications without jeopardizing temporal isolation, by providing strong bandwidth guarantees.…”

Section: Schedulermentioning

confidence: 98%

“…However, the budget allocated to these partitions must be chosen with care according to the frequency of the events, to not be exhausted, delaying the handling of the event until the next cycle. We enhance this algorithm with a time-slice donation scheme [42] in which a client partition may explicitly donate its domain's bandwidth to the target server until it responds, following an RPC pattern. In doing so, we allow for the co-existence of non-real time and real-time partitions, both time and event-driven, while providing fast and efficient communication interactions between them.…”

Section: µRtzvisormentioning

confidence: 99%

See 1 more Smart Citation

μRTZVisor: A Secure and Safe Real-Time Hypervisor

et al. 2017

View full text Add to dashboard Cite

Virtualization has been deployed as a key enabling technology for coping with the ever growing complexity and heterogeneity of modern computing systems. However, on its own, classical virtualization is a poor match for modern endpoint embedded system requirements such as safety, security and real-time, which are our main target. Microkernel-based approaches to virtualization have been shown to bridge the gap between traditional and embedded virtualization. This notwithstanding, existent microkernel-based solutions follow a highly para-virtualized approach, which inherently requires a significant software engineering effort to adapt guest operating systems (OSes) to run as userland components. In this paper, we present µRTZVisor as a new TrustZone-assisted hypervisor that distinguishes itself from state-of-the-art TrustZone solutions by implementing a microkernel-like architecture while following an object-oriented approach. Contrarily to existing microkernel-based solutions, µRTZVisor is able to run nearly unmodified guest OSes, while, contrarily to existing TrustZone-assisted solutions, it provides a high degree of functionality and configurability, placing strong emphasis on the real-time support. Our hypervisor was deployed and evaluated on a Xilinx Zynq-based platform. Experiments demonstrate that the hypervisor presents a small trusted computing base size (approximately 60KB), and a performance overhead of less than 2% for a 10 ms guest-switching rate.

show abstract

Section: Schedulermentioning

confidence: 98%

Section: µRtzvisormentioning

confidence: 99%

μRTZVisor: A Secure and Safe Real-Time Hypervisor

et al. 2017

View full text Add to dashboard Cite

show abstract

“…De Niz et al [8] support resource sharing between reservations based on the immediate priority ceiling protocol (IPCP) [9] in their fixed-priority preemptively scheduled (FPPS) Linux/RK resource kernel and use a runtime mechanism based on resource containers [10] for temporal protection against misbehaving tasks. Steinberg et al [11] showed that these resource containers are expensive and efficiently implemented a capacity-reserve donation protocol to solve the problem of priority inversion for tasks scheduled in a fixed-priority reservation-based system. A similar approach is described in [12] for EDF-based systems and termed bandwidth-inheritance (BWI).…”

Section: Related Workmentioning

confidence: 99%

Dependable Resource Sharing for Compositional Real-Time Systems

Heuvel

Bril

Lukkien

2011

2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications

View full text Add to dashboard Cite

Citation for published version (APA):Heuvel, van den, M. M. H. P., Bril, R. J., & Lukkien, J. J. (2011). Dependable resource sharing for compositional real-time systems. In Proceedings of the 17th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA 2011, Toyama, Japan, August 28-31, 2011 Please check the document version of this publication:• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website.• The final author version and the galley proof are versions of the publication after peer review.• The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publicationGeneral rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research.• You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User Agreement: www.tue.nl/taverne Take down policyIf you believe that this document breaches copyright please contact us at: openaccess@tue.nl providing details and we will investigate your claim. AbstractHierarchical scheduling frameworks (HSFs) have been extensively investigated as a paradigm for facilitating temporal isolation between components that need to be integrated on a single shared processor. In the presence of shared resources, however, temporal isolation may break when one of the accessing components executes longer than specified during global resource access. The ability to confine such temporal faults makes the HSF more dependable. As a solution we propose a stack-resource-policy (SRP)-based synchronization protocol for HSFs, named Hierarchical Synchronization protocol with Temporal Protection (HSTP).When a component exceeds its specified critical-section length, HSTP enforces a component to self-donate its own budget to accelerate the resource release. In addition, a component that blocks on a locked resource may donate budget. The schedulability of those components that are independent of the locked resource is unaffected. HSTP efficiently limits the propagation of temporal faults to resource-sharing components by disabling local preemptions in a component durin...

show abstract

“…Dependent-mode klmirqd threads adopt the scheduling priority, including any inherited priority, of the tasklet owner when it executes. The LITMUS RT scheduler also ensures that a dependent-mode klmirqd thread is [24] X X X Steinberg et al [25], [26] X X Lewandowski et al [23] X X X Manica et al [22] X X X X Zhang et al (PAI) [27] X klmirqd X X X X X X never co-scheduled with its tasklet owner. This allows asynchronous I/O to be supported without violating the single-threaded task models commonly assumed.…”

Section: Interrupt Handling In Litmus Rt Litmusmentioning

confidence: 99%

“…Priority inheritance mechanisms for threaded interrupt handling have been used in LynxOS [24], the L4 microkernel [25], and the NOVA microhypervisor [26]. Bandwidth server techniques have also been used in Linux-based solutions [23], [22].…”

Section: Interrupt Handling In Litmus Rt Litmusmentioning

confidence: 99%

Robust Real-Time Multiprocessor Interrupt Handling Motivated by GPUs

Elliott

Anderson

2012

2012 24th Euromicro Conference on Real-Time Systems

View full text Add to dashboard Cite

Abstract-Architectures in which multicore chips are augmented with graphics processing units (GPUs) have great potential in many domains in which computationally intensive real-time workloads must be supported. However, unlike standard CPUs, GPUs are treated as I/O devices and require the use of interrupts to facilitate communication with CPUs. Given their disruptive nature, interrupts must be dealt with carefully in real-time systems. With GPU-driven interrupts, such disruptiveness is further compounded by the closed-source nature of GPU drivers. In this paper, such problems are considered and a solution is presented in the form of an extension to LITMUS RT called klmirqd. The design of klmirqd targets systems with multiple CPUs and GPUs. In such settings, interruptrelated issues arise that have not been previously addressed.

show abstract

Fast Component Interaction for Real-Time Systems

Cited by 35 publications

References 19 publications

μRTZVisor: A Secure and Safe Real-Time Hypervisor

μRTZVisor: A Secure and Safe Real-Time Hypervisor

Dependable Resource Sharing for Compositional Real-Time Systems

Robust Real-Time Multiprocessor Interrupt Handling Motivated by GPUs

Contact Info

Product

Resources

About