分布式实时系统能耗优化设计方法研究计算机系统结构专业论文.docxVIP

摘要摘要 摘要 摘要 实时系统在工业控制、航空航天和军事装备等众多领域里有着广泛的应用。顾 名思义，其首要设计目标是要确保系统满足定时约束。随着电路规模的飞速增长， 能耗问题已成为实时系统又一重要的设计约束。与其他系统相比，实时(尤其是分 布式实时)系统的能耗约束更加复杂和严格。所以，如何在满足定时约束的前提下 尽可能降低系统能耗已成为目前实时系统设计的迫切需求和新的挑战。纵观各层次 的低能耗研究成果，设计层次越高，节能潜力越大，因而此类研究的重心已逐渐向 系统级能耗优化设计倾斜。特别是在分布式实时系统设计领域，将新兴的硬件节能 机制同系统级设计过程相结合，已成为最有效的能耗优化设计策略。 分布式实时系统的系统级设计过程由任务调度、任务同步和资源分配三大步骤 组成，其结果相互影响、相互制约，共同决定系统的整体行为。因此，为切实有效 的优化系统能耗，本论文‘将自＆耗优化引入整个设计过程中，全面考察了底层硬件节 能机制在各个设计步骤中的有效应用，提出了一套较为完整的分布式实时系统能耗 优化设计理论和实现技术。 实时系统的能耗优化设计必须以正确、高效的可调度性验证为基础。由于实际 复杂的分布式实时系统包含了释放时间抖动、偶发任务、贪心同步、非确定性执行 时间等不稳定因素，传统的可调度性验证手段己无法适用，必须启用严格的形式化 验证技术。由于描述模型的选择不仅会对建模的准确度和难度产生实质性影响，而 且会直接决定语义模型的特点及模型检测的方式，进而影响验证过程同能耗优化过 程的可结合性。对此，本文首先分析比较了目前各种描述模型在表达能力和建模难 度等方面的优劣，选择时间Petri网作为目标系统的建模工具，详尽的归纳了各项系 统特征在该模型中的表达方式，并引入一种基于状态类空间遍历的可调度性验证方 法，为后续能耗优化设计奠定基础。 基于动态电压调整(DVS)的能耗优化调度技术是当前实时系统能耗优化设计 领域的研究热点。其中，离线(off．1ine)DVS调度是一种在系统设计阶段有效挖掘 DVs节能潜力的实用方法。由于已有的离线Dvs调度研究所采用的可调度性验证技 术无法适用于具有上述不稳定因素的分布式实时系统，相应成果也就无法满足此类 系统的低能耗设计需求。为此，本文以形式化可调度性验证为基础，从权衡设计效 奉论文的工作得到国家自然科学基金(No和安徽省自然科学基金(No的资助。 摘要 率和能耗优化效果的角度出发，提出了一种能耗渐变率驱动的贪心式离线Dvs调度 算法，并利用时间Petri网状念空间的性质，优化了设计过程，较好的解决了引入形 式化验证后的高复杂度问题，既有效开发了DVS节能潜力，也兼顾了方法实用性。 同步协议设计是分布式实时系统设计的重要问题。不同的同步方式会极大的影 响系统的各项性能指标。针对成本(尤其是软件成本)受限的系统设计，贪心同步 协议由于其易实现性而成为最佳的同步策略，但它会导致较大的响应时间波动。对 此，本论文首次将底层节能机制与同步协议相结合，围绕造成响应时间波动的关键 因素——非确定性执行时间，提出了一种新的分布式实时系统同步协议，约定各子 任务尽可能以最大执行时间完成，以缩小执行时间变化幅度，缓和任务响应时间的 波动。该协议的实现依赖于单任务Dvs调度，为此，本文围绕如何在运行时精确预 估程序的剩余最大周期数这一单任务DVs调度的核心问题，提出了一种形式化的编 译分析算法，以及若干旨在降低预估开销的优化实现技术，既有效支持了上述同步 协议的实现，又降低了系统能耗。 分布式实时系统的资源分配不仅直接决定目标系统的性能与成本，也会深刻影 响到后续离线DVS调度对底层硬件节能潜力的有效发挥。考察前述离线DvS调度 的结果，当共享同一处理单元的互斥子任务的最终频率相差较大时，该处理单元上 的子任务切换会导致过大的频率调整开销。围绕如何缩小互斥子任务间频率差这一 问题，本文提出了一种以均匀化任务利用率为指导的启发式资源分配方法。该方法 从一个无共享的初始分配方案开始，逐步施加资源约束，直至系统满足其成本限额， 且各任务的利用率趋于均匀，使各任务在离线DVS调度时拥有相近的潜在降频能力， 从而减小甚至消除互斥子任务的最终频率差，降低频率调整开销。在实现时，本文 利用时间Petri网状态空间的变化规律，简化了验证过程，提高了资源分配的效率。 综上，本文所做出的主要贡献如下： 1．提出了一种能耗渐变率驱动的分布式实时系统离线Dvs调度方法，能够以 很低的时间代价获得接近最优的频率设置结果： 2．在国内、外首次提出了一种依托于DVS机制的新型分布式实时系统同步协 议，能够有效缓解响应时间波动问题，并提供了一种新颖的编译实现方法； 3．提出了一种以均匀化任务利用率为指导的分布式实时系