Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays

Dominik Walter, Michael Witterauf, J. Teich
{"title":"Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays","authors":"Dominik Walter, Michael Witterauf, J. Teich","doi":"10.1109/MEMOCODE51338.2020.9315179","DOIUrl":null,"url":null,"abstract":"A fundamental problem of massively parallel accelerator architectures is the management of typically small peripheral I/O buffers that decouple the accelerator from an external memory. Very often, these buffers cannot store the entire input and output data of one execution and must be updated, i.e., filled or drained, frequently. Moreover, if a processor array performs either a read on an empty bank or a write on a full bank, it must interrupt its execution immediately until the corresponding data transfer between the accelerator and an external memory has been carried out. As a consequence, the timing predictability of the array execution might be impaired. Therefore, a precise analysis of a schedule for all data transfers is inevitable. Moreover, as it is prohibitive to store all data transfers entirely within the accelerator itself, we must determine and schedule all necessary data transfers dynamically at runtime. In this paper, we present an approach to characterize all necessary data transfers and to issue them in time so that the peripheral I/O buffers never run full or empty. Here, it is shown first that a deadline for each data transfer can be derived from a given loop schedule resulting in a traditional task scheduling problem. Unfortunately, however, standard real-time scheduling techniques such as earliest deadline first (EDF) cannot be applied here, as each data transfer must not be interrupted and even existing non-preemptive variants of EDF are known to be prone to timing anomalies. As a solution, we present a strictly non-work-conserving variant of EDF together with an efficient schedulability test for periodic loop executions. In an experimental section, the scheduling approach is applied to a randomly generated set of loop programs observing that our algorithm is able to feasibly schedule 95% of the theoretically schedulable problem instances. Altogether, we provide a fully timing-predictable buffer management for massively parallel processor arrays that avoids any I/O related stalls of a processor array by construction.","PeriodicalId":212741,"journal":{"name":"2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMOCODE51338.2020.9315179","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

A fundamental problem of massively parallel accelerator architectures is the management of typically small peripheral I/O buffers that decouple the accelerator from an external memory. Very often, these buffers cannot store the entire input and output data of one execution and must be updated, i.e., filled or drained, frequently. Moreover, if a processor array performs either a read on an empty bank or a write on a full bank, it must interrupt its execution immediately until the corresponding data transfer between the accelerator and an external memory has been carried out. As a consequence, the timing predictability of the array execution might be impaired. Therefore, a precise analysis of a schedule for all data transfers is inevitable. Moreover, as it is prohibitive to store all data transfers entirely within the accelerator itself, we must determine and schedule all necessary data transfers dynamically at runtime. In this paper, we present an approach to characterize all necessary data transfers and to issue them in time so that the peripheral I/O buffers never run full or empty. Here, it is shown first that a deadline for each data transfer can be derived from a given loop schedule resulting in a traditional task scheduling problem. Unfortunately, however, standard real-time scheduling techniques such as earliest deadline first (EDF) cannot be applied here, as each data transfer must not be interrupted and even existing non-preemptive variants of EDF are known to be prone to timing anomalies. As a solution, we present a strictly non-work-conserving variant of EDF together with an efficient schedulability test for periodic loop executions. In an experimental section, the scheduling approach is applied to a randomly generated set of loop programs observing that our algorithm is able to feasibly schedule 95% of the theoretically schedulable problem instances. Altogether, we provide a fully timing-predictable buffer management for massively parallel processor arrays that avoids any I/O related stalls of a processor array by construction.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
大规模并行处理器阵列I/O传输的实时调度
大规模并行加速器架构的一个基本问题是管理通常较小的外设I/O缓冲区,使加速器与外部存储器分离。通常,这些缓冲区不能存储一次执行的全部输入和输出数据,必须经常更新,即填充或耗尽。此外,如果处理器阵列在空存储库上执行读操作或在满存储库上执行写操作,则必须立即中断其执行,直到在加速器和外部存储器之间执行相应的数据传输。因此,数组执行的时间可预测性可能会受到损害。因此,对所有数据传输的时间表进行精确分析是不可避免的。此外,由于禁止将所有数据传输完全存储在加速器本身中,因此我们必须在运行时动态地确定和调度所有必要的数据传输。在本文中,我们提出了一种方法来描述所有必要的数据传输,并及时发出它们,以便外设I/O缓冲区永远不会满或空。在这里,首先显示了每个数据传输的截止日期可以从给定的循环调度中导出,从而导致传统的任务调度问题。然而,不幸的是,标准的实时调度技术,如最早截止日期优先(EDF)不能在这里应用,因为每个数据传输都不能被中断,即使是现有的非抢占式EDF变体,也容易出现时间异常。作为解决方案,我们提出了一个严格的非节省工作的EDF变体以及一个有效的周期性循环执行的可调度性测试。在实验部分,将调度方法应用于随机生成的一组循环程序,观察到我们的算法能够可行地调度95%的理论上可调度的问题实例。总之,我们为大规模并行处理器阵列提供了完全可预测的缓冲区管理,从而避免了处理器阵列在构建过程中出现任何与I/O相关的停顿。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Bayesian Statistical Model Checking for Continuous Stochastic Logic Verifying Absence of Hardware-Software Data Races using Counting Abstraction Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems CROME: Contract-Based Robotic Mission Specification Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1