🤖 AI Summary
This paper addresses the NP-hard problem of offline, non-preemptive mixed-criticality (MC) real-time scheduling on heterogeneous multicore platforms. We propose the first systematic reinforcement learning (RL)-based solution, modeling scheduling as a Markov decision process and employing PPO and DQN algorithms to jointly maximize overall task completion rate while guaranteeing schedulability of high-criticality tasks. Our approach innovatively overcomes the performance limitations of conventional static analysis and heuristic methods, enabling adaptive handling of dynamic workloads and processor-speed heterogeneity. Evaluated on 100,000 synthetic instances and real-world datasets, our method achieves an average task completion rate of 80% (85% for high-criticality tasks), rising to 94% (93% for high-criticality tasks) under stable scenarios—significantly outperforming state-of-the-art offline MC schedulers.
📝 Abstract
This paper introduces a novel reinforcement learning (RL) approach to scheduling mixed-criticality (MC) systems on processors with varying speeds. Building upon the foundation laid by [1], we extend their work to address the non-preemptive scheduling problem, which is known to be NP-hard. By modeling this scheduling challenge as a Markov Decision Process (MDP), we develop an RL agent capable of generating near-optimal schedules for real-time MC systems. Our RL-based scheduler prioritizes high-critical tasks while maintaining overall system performance. Through extensive experiments, we demonstrate the scalability and effectiveness of our approach. The RL scheduler significantly improves task completion rates, achieving around 80% overall and 85% for high-criticality tasks across 100,000 instances of synthetic data and real data under varying system conditions. Moreover, under stable conditions without degradation, the scheduler achieves 94% overall task completion and 93% for high-criticality tasks. These results highlight the potential of RL-based schedulers in real-time and safety-critical applications, offering substantial improvements in handling complex and dynamic scheduling scenarios.