随机DAG任务在线执行的时间约束能量最小化

IF 4.5 3区 管理学 Q1 OPERATIONS RESEARCH & MANAGEMENT SCIENCE
Jonatha Anselmi, Bruno Gaujal, Karl Gottlieb
{"title":"随机DAG任务在线执行的时间约束能量最小化","authors":"Jonatha Anselmi,&nbsp;Bruno Gaujal,&nbsp;Karl Gottlieb","doi":"10.1007/s10479-026-07130-z","DOIUrl":null,"url":null,"abstract":"<div><p>We study the problem of energy-efficient online execution of a complex task on a server with variable processing speed. The task consists of a set of stochastic elementary jobs structured as a Directed Acyclic Graph (DAG), where each job’s execution may reveal new information that influences future scheduling decisions. Our objective is to determine an online speed control policy that minimizes the expected energy consumption while ensuring that the task completes before a strict deadline. Leveraging tools from convex optimization, the optimality principle, and backward induction, we derive a structural characterization of the optimal policy. We find that this is linked to a set of second-order differential equations and exhibits a non-trivial form. Building on this result, we develop a discretization-based algorithm that efficiently approximates the optimal policy. The proposed algorithm is provably asymptotically exact in the discretization step and has computational complexity <i>O</i>(<i>AN</i>), where <i>A</i> denotes the number of edges in the underlying DAG and <i>N</i> is the size of the discretization. Our results offer a principled and computationally efficient solution framework for online execution of structured stochastic workloads under strict energy and timing constraints.</p></div>","PeriodicalId":8215,"journal":{"name":"Annals of Operations Research","volume":"360 2-3","pages":"815 - 838"},"PeriodicalIF":4.5000,"publicationDate":"2026-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Time-constrained energy minimization for online execution of a stochastic DAG task\",\"authors\":\"Jonatha Anselmi,&nbsp;Bruno Gaujal,&nbsp;Karl Gottlieb\",\"doi\":\"10.1007/s10479-026-07130-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study the problem of energy-efficient online execution of a complex task on a server with variable processing speed. The task consists of a set of stochastic elementary jobs structured as a Directed Acyclic Graph (DAG), where each job’s execution may reveal new information that influences future scheduling decisions. Our objective is to determine an online speed control policy that minimizes the expected energy consumption while ensuring that the task completes before a strict deadline. Leveraging tools from convex optimization, the optimality principle, and backward induction, we derive a structural characterization of the optimal policy. We find that this is linked to a set of second-order differential equations and exhibits a non-trivial form. Building on this result, we develop a discretization-based algorithm that efficiently approximates the optimal policy. The proposed algorithm is provably asymptotically exact in the discretization step and has computational complexity <i>O</i>(<i>AN</i>), where <i>A</i> denotes the number of edges in the underlying DAG and <i>N</i> is the size of the discretization. Our results offer a principled and computationally efficient solution framework for online execution of structured stochastic workloads under strict energy and timing constraints.</p></div>\",\"PeriodicalId\":8215,\"journal\":{\"name\":\"Annals of Operations Research\",\"volume\":\"360 2-3\",\"pages\":\"815 - 838\"},\"PeriodicalIF\":4.5000,\"publicationDate\":\"2026-03-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annals of Operations Research\",\"FirstCategoryId\":\"91\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s10479-026-07130-z\",\"RegionNum\":3,\"RegionCategory\":\"管理学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"OPERATIONS RESEARCH & MANAGEMENT SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of Operations Research","FirstCategoryId":"91","ListUrlMain":"https://link.springer.com/article/10.1007/s10479-026-07130-z","RegionNum":3,"RegionCategory":"管理学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"OPERATIONS RESEARCH & MANAGEMENT SCIENCE","Score":null,"Total":0}
引用次数: 0

摘要

研究了在可变处理速度的服务器上高效在线执行复杂任务的问题。该任务由一组随机基本作业组成,其结构为有向无环图(DAG),其中每个作业的执行可能会揭示影响未来调度决策的新信息。我们的目标是确定在线速度控制策略,使预期能耗最小化,同时确保任务在严格的截止日期前完成。利用凸优化、最优性原理和逆向归纳法的工具,我们推导出最优策略的结构表征。我们发现它与一组二阶微分方程相联系,并表现出非平凡形式。在此结果的基础上,我们开发了一种基于离散化的算法,该算法有效地近似于最优策略。该算法在离散化步骤中是可证明的渐近精确的,其计算复杂度为O(AN),其中A表示底层DAG中的边数,N表示离散化的大小。我们的研究结果为在严格的能量和时间限制下在线执行结构化随机工作负载提供了一个原则性和计算效率高的解决方案框架。
本文章由计算机程序翻译,如有差异,请以英文原文为准。

Time-constrained energy minimization for online execution of a stochastic DAG task

Time-constrained energy minimization for online execution of a stochastic DAG task

We study the problem of energy-efficient online execution of a complex task on a server with variable processing speed. The task consists of a set of stochastic elementary jobs structured as a Directed Acyclic Graph (DAG), where each job’s execution may reveal new information that influences future scheduling decisions. Our objective is to determine an online speed control policy that minimizes the expected energy consumption while ensuring that the task completes before a strict deadline. Leveraging tools from convex optimization, the optimality principle, and backward induction, we derive a structural characterization of the optimal policy. We find that this is linked to a set of second-order differential equations and exhibits a non-trivial form. Building on this result, we develop a discretization-based algorithm that efficiently approximates the optimal policy. The proposed algorithm is provably asymptotically exact in the discretization step and has computational complexity O(AN), where A denotes the number of edges in the underlying DAG and N is the size of the discretization. Our results offer a principled and computationally efficient solution framework for online execution of structured stochastic workloads under strict energy and timing constraints.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Annals of Operations Research
Annals of Operations Research 管理科学-运筹学与管理科学
CiteScore
7.90
自引率
16.70%
发文量
596
审稿时长
8.4 months
期刊介绍: The Annals of Operations Research publishes peer-reviewed original articles dealing with key aspects of operations research, including theory, practice, and computation. The journal publishes full-length research articles, short notes, expositions and surveys, reports on computational studies, and case studies that present new and innovative practical applications. In addition to regular issues, the journal publishes periodic special volumes that focus on defined fields of operations research, ranging from the highly theoretical to the algorithmic and the applied. These volumes have one or more Guest Editors who are responsible for collecting the papers and overseeing the refereeing process.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书