Saved in:
Bibliographic Details
Main Authors: Wang, Sen, Li, Dong, Huang, Shao-Yu, Deng, Xuanliang, Sifat, Ashrarul H., Jung, Changhee, Williams, Ryan, Zeng, Haibo
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2401.03284
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915203861446656
author Wang, Sen
Li, Dong
Huang, Shao-Yu
Deng, Xuanliang
Sifat, Ashrarul H.
Jung, Changhee
Williams, Ryan
Zeng, Haibo
author_facet Wang, Sen
Li, Dong
Huang, Shao-Yu
Deng, Xuanliang
Sifat, Ashrarul H.
Jung, Changhee
Williams, Ryan
Zeng, Haibo
contents In real-time systems optimization, designers often face a challenging problem posed by the non-convex and non-continuous schedulability conditions, which may even lack an analytical form to understand their properties. To tackle this challenging problem, we treat the schedulability analysis as a black box that only returns true/false results. We propose a general and scalable framework to optimize real-time systems, named Numerical Optimizer with Real-Time Highlight (NORTH). NORTH is built upon the gradient-based active-set methods from the numerical optimization literature but with new methods to manage active constraints for the non-differentiable schedulability constraints. In addition, we also generalize NORTH to NORTH+, to collaboratively optimize certain types of discrete variables (e.g., priority assignments, categorical variables) with continuous variables based on numerical optimization algorithms. We demonstrate the algorithm performance with two example applications: energy minimization based on dynamic voltage and frequency scaling (DVFS), and optimization of control system performance. In these experiments, NORTH achieved $10^2$ to $10^5$ times speed improvements over state-of-the-art methods while maintaining similar or better solution quality. NORTH+ outperforms NORTH by 30% with similar algorithm scalability. Both NORTH and NORTH+ support black-box schedulability analysis, ensuring broad applicability.
format Preprint
id arxiv_https___arxiv_org_abs_2401_03284
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Joint Optimization of Continuous Variables and Priority Assignments for Real-Time Systems with Black-box Schedulability Constraints
Wang, Sen
Li, Dong
Huang, Shao-Yu
Deng, Xuanliang
Sifat, Ashrarul H.
Jung, Changhee
Williams, Ryan
Zeng, Haibo
Systems and Control
In real-time systems optimization, designers often face a challenging problem posed by the non-convex and non-continuous schedulability conditions, which may even lack an analytical form to understand their properties. To tackle this challenging problem, we treat the schedulability analysis as a black box that only returns true/false results. We propose a general and scalable framework to optimize real-time systems, named Numerical Optimizer with Real-Time Highlight (NORTH). NORTH is built upon the gradient-based active-set methods from the numerical optimization literature but with new methods to manage active constraints for the non-differentiable schedulability constraints. In addition, we also generalize NORTH to NORTH+, to collaboratively optimize certain types of discrete variables (e.g., priority assignments, categorical variables) with continuous variables based on numerical optimization algorithms. We demonstrate the algorithm performance with two example applications: energy minimization based on dynamic voltage and frequency scaling (DVFS), and optimization of control system performance. In these experiments, NORTH achieved $10^2$ to $10^5$ times speed improvements over state-of-the-art methods while maintaining similar or better solution quality. NORTH+ outperforms NORTH by 30% with similar algorithm scalability. Both NORTH and NORTH+ support black-box schedulability analysis, ensuring broad applicability.
title Joint Optimization of Continuous Variables and Priority Assignments for Real-Time Systems with Black-box Schedulability Constraints
topic Systems and Control
url https://arxiv.org/abs/2401.03284