Title
Thermal-aware Real-time Scheduling Using Timed Continuous Petri Nets.
Abstract
We present a thermal-aware, hard real-time (HRT) global scheduler for a multiprocessor system designed upon three novel techinques. First, we present a modeling methodology based on Timed Continuous Petri nets (TCPN) that yields a complete state variable model, including job arrivals, CPU usage, power, and thermal behavior. The model is accurate and avoids the calibration stage of RC thermal models. Second, based on this model, a linear programming problem (LPP) determines the existence of a feasible HRT thermal-aware schedule. Last, a sliding-mode controller and an online discretization algorithm implement the global HRT scheduler, which is capable of managing thermal constraints, context switching, migrations, and disturbances.
Year
DOI
Venue
2019
10.1145/3322643
ACM Transactions on Embedded Computing Systems
Keywords
Field
DocType
Real-time systems,feedback control,modeling,multiprocessor,thermal-aware scheduling,timed continuous petri nets
Discretization,Control theory,Petri net,Computer science,CPU time,Scheduling (computing),Real-time computing,Multiprocessing,Linear programming,Context switch
Journal
Volume
Issue
ISSN
18
4
1539-9087
Citations 
PageRank 
References 
0
0.34
0
Authors
5