DAG调度问题的ILP表示

IF 1.4 4区计算机科学 Q3 COMPUTER SCIENCE, THEORY & METHODS

Real-Time Systems Pub Date : 2021-05-27 DOI:10.1007/s11241-021-09370-7

Sanjoy Baruah

{"title":"DAG调度问题的ILP表示","authors":"Sanjoy Baruah","doi":"10.1007/s11241-021-09370-7","DOIUrl":null,"url":null,"abstract":"<p>The use of integer linear programs for solving complex real-time scheduling problems is investigated. The problem of scheduling a workload represented as a directed acyclic graph (DAG) upon a dedicated multiprocessor platform is considered, in which each individual vertex of the DAG is assigned to a specific processor and the entire DAG is required to complete execution within a specified duration. A representation of this scheduling problem as a zero-one integer linear program is obtained. Some guidelines are proposed for identifying scheduling problems amenable to solution by converting to integer linear programs.</p>","PeriodicalId":54507,"journal":{"name":"Real-Time Systems","volume":"221 1","pages":""},"PeriodicalIF":1.4000,"publicationDate":"2021-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"An ILP representation of a DAG scheduling problem\",\"authors\":\"Sanjoy Baruah\",\"doi\":\"10.1007/s11241-021-09370-7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The use of integer linear programs for solving complex real-time scheduling problems is investigated. The problem of scheduling a workload represented as a directed acyclic graph (DAG) upon a dedicated multiprocessor platform is considered, in which each individual vertex of the DAG is assigned to a specific processor and the entire DAG is required to complete execution within a specified duration. A representation of this scheduling problem as a zero-one integer linear program is obtained. Some guidelines are proposed for identifying scheduling problems amenable to solution by converting to integer linear programs.</p>\",\"PeriodicalId\":54507,\"journal\":{\"name\":\"Real-Time Systems\",\"volume\":\"221 1\",\"pages\":\"\"},\"PeriodicalIF\":1.4000,\"publicationDate\":\"2021-05-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Real-Time Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1007/s11241-021-09370-7\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Real-Time Systems","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1007/s11241-021-09370-7","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}

引用次数: 8

摘要

研究了整数线性规划在求解复杂实时调度问题中的应用。考虑了在专用多处理器平台上以有向无环图(DAG)表示的工作负载调度问题，其中DAG的每个单独顶点被分配给特定的处理器，并且要求整个DAG在指定的持续时间内完成执行。将该调度问题表示为一个0 - 1整数线性规划。提出了一些识别调度问题的准则，这些问题可以通过转换为整数线性规划来解决。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An ILP representation of a DAG scheduling problem

The use of integer linear programs for solving complex real-time scheduling problems is investigated. The problem of scheduling a workload represented as a directed acyclic graph (DAG) upon a dedicated multiprocessor platform is considered, in which each individual vertex of the DAG is assigned to a specific processor and the entire DAG is required to complete execution within a specified duration. A representation of this scheduling problem as a zero-one integer linear program is obtained. Some guidelines are proposed for identifying scheduling problems amenable to solution by converting to integer linear programs.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Real-Time Systems 工程技术-计算机：理论方法

CiteScore

2.90

自引率

7.70%

发文量

审稿时长

6 months

期刊介绍： Papers published in Real-Time Systems cover, among others, the following topics: requirements engineering, specification and verification techniques, design methods and tools, programming languages, operating systems, scheduling algorithms, architecture, hardware and interfacing, dependability and safety, distributed and other novel architectures, wired and wireless communications, wireless sensor systems, distributed databases, artificial intelligence techniques, expert systems, and application case studies. Applications are found in command and control systems, process control, automated manufacturing, flight control, avionics, space avionics and defense systems, shipborne systems, vision and robotics, pervasive and ubiquitous computing, and in an abundance of embedded systems.