Affiliation:
1. University of York, UK
Abstract
This article presents a viable solution to introducing flexible scheduling in the Real-Time specification for Java (RTSJ), in the form of a flexible scheduling framework. The framework allows the concurrent use of multiple application-defined scheduling policies, each scheduling a subset of the total set of threads. Moreover, all threads, regardless of the policy under which they are scheduled, are permitted to share common resources. Thus, the framework can accommodate a variety of interworking applications (soft, firm, and hard) running under the RTSJ. The proposed approach is a two-level scheduling framework, where the first level is the RTSJ priority scheduler and the second level is under application control. This article describes the framework's protocol, examines the different types of scheduling policies that can be supported, and evaluates the proposed framework by measuring its execution cost. A description of an application-defined Earliest-Deadline-First (EDF) scheduler illustrates how the interface can be used. Minimum backward-compatible changes to the RTSJ specification are discussed to motivate the required interface. The only assumptions made about the underlying real-time operating system is that it supports preemptive priority-based dispatching of threads and that changes to priorities have immediate effect.
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference46 articles.
1. Ada-Europe. 2007. Ada reference manual- ISO/IEC 8652:2007(E) with technical corrigendum 1 and amendment 1. http://www.adaic.org/standards/05rm/RM-Final.pdf. Ada-Europe. 2007. Ada reference manual- ISO/IEC 8652:2007(E) with technical corrigendum 1 and amendment 1. http://www.adaic.org/standards/05rm/RM-Final.pdf.
2. Application-defined scheduling in Ada
3. FSF: A Real-Time Scheduling Architecture Framework
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Java Technologies for Cyber-Physical Systems;IEEE Transactions on Industrial Informatics;2017-04
2. A survey on formal specification and verification of separation kernels;Frontiers of Computer Science;2017-01-11
3. RT-Seed: Real-Time Middleware for Semi-Fixed-Priority Scheduling;2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC);2016-05
4. Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
5. Assembling a Framework for Unknown Real-Time Applications with RTSJ;Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems;2015-10-07