arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1107.3734cs.DC
收藏

分布式列表调度

Decentralized List Scheduling

Marc Tchiboukdjian, Nicolas Gast, Denis Trystram

摘要:

经典列表调度是一种非常流行和有效的并行和分布式平台上的调度技术。它本质上是集中的。然而,随着处理器数量的增加,管理单个集中式列表的成本变得过于高昂。减少争用的一个合适的方法是在计算单元之间分发列表:每个处理器只有要执行的工作的本地视图。因此,调度程序不再贪婪,标准性能保证也就失去了。这项工作的目的是研究额外的成本,必须支付的列表时,分布在计算单元。我们首先提出了一个一般的方法来计算预期的完工时间的基础上分析了足够的潜在功能,它代表了本地列表之间的负载不平衡。我们得到一个方程的潜力的演变计算其预期的减少在一个步骤的时间表。我们的主要定理显示了如何解决这样的方程,以限制最大完工时间。然后,我们将此方法应用于几个调度问题,即单元独立任务,加权独立任务和优先约束的任务。更精确地说,我们证明了在m个处理器上调度由独立单元任务组成的全局工作负载W的时间等于W/m加上一个与log_2W成比例的附加项。我们提供了一个下界,表明这是最佳的常数。这个结果被扩展到加权独立任务的情况下。在最后一个设置,优先任务图,我们的分析导致阿罗拉等人的边界上的改进。我们最后提供了一些实验,使用模拟器。最大完工时间的分布符合现有的概率规律。通过模拟显示加法项约为3 \log_2 W,证实了我们分析的严密性。

英文摘要:

Classical list scheduling is a very popular and efficient technique for scheduling jobs in parallel and distributed platforms. It is inherently centralized. However, with the increasing number of processors, the cost for managing a single centralized list becomes too prohibitive. A suitable approach to reduce the contention is to distribute the list among the computational units: each processor has only a local view of the work to execute. Thus, the scheduler is no longer greedy and standard performance guarantees are lost. The objective of this work is to study the extra cost that must be paid when the list is distributed among the computational units. We first present a general methodology for computing the expected makespan based on the analysis of an adequate potential function which represents the load unbalance between the local lists. We obtain an equation on the evolution of the potential by computing its expected decrease in one step of the schedule. Our main theorem shows how to solve such equations to bound the makespan. Then, we apply this method to several scheduling problems, namely, for unit independent tasks, for weighted independent tasks and for tasks with precendence constraints. More precisely, we prove that the time for scheduling a global workload W composed of independent unit tasks on m processors is equal to W/m plus an additional term proportional to log_2 W. We provide a lower bound which shows that this is optimal up to a constant. This result is extended to the case of weighted independent tasks. In the last setting, precedence task graphs, our analysis leads to an improvement on the bound of Arora et al. We finally provide some experiments using a simulator. The distribution of the makespan is shown to fit existing probability laws. The additive term is shown by simulation to be around 3 \log_2 W confirming the tightness of our analysis.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑