Rate-Monotonic Optimal Design Based on Tree-Like Linear Programming Search
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (61170072); the National Science Foundation for Young Scientists of China under Grant (61303057); the CAS/SAFEA International Partnership Program for Creative Research Teams

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Over the last four decades, a critical problem in real-time system is to improve the efficiency of the decision algorithm for the rate-monotonic(RM) scheduling. Nowadays researchers extend the decision problem to a generalized optimal design problem, that is, how to adjust the task execution time in the corresponding interval such that(1) the system is schedulable and(2) certain system performance(e.g. CPU utilization) is optimized. All the existing methods for solving this problem are to formulate the problem as the generalized constrained optimization problem(GCOP). However, these methods run very slowly and cannot be applied to the systems with large numbers of tasks. In this paper, a new method for solving the optimization problem is proposed. The method is called tree-like linear programming search(LPS). First, the problem is transformed into a GCOP. Next, the GCOP is partitioned into several linear programming sub-problems. Then, a linear programming search tree is constructed and the node of linear programming is solved by depth-first-search as the optimal solution. The experimental results illustrate that the new method can save 20%~70% of runtime comparing with other existing methods. This work also relates to the research areas of satisfiability modulo theories(SMT), and is expected to improve the efficiency for solving SMT problems.

    Reference
    Related
    Cited by
Get Citation

陈力,王永吉,吴敬征,吕荫润.基于树状线性规划搜索的单调速率优化设计.软件学报,2015,26(12):3223-3241

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 23,2014
  • Revised:April 14,2015
  • Adopted:
  • Online: December 04,2015
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063