CORC  > 软件研究所  > 中科院软件所  > 中科院软件所
题名Feasibility Analysis and Design of Real-Time Systems
作者NASRO MIN ALLAH
学位类别博士
答辩日期2008-05-26
授予单位中国科学院软件研究所
授予地点软件研究所
关键词实时系统 静态优先级调度 可调度分析 在线可调度判定 实时系统设计
其他题名Feasibility Analysis and Design of Real-Time Systems
中文摘要针对周期性任务系统,主要是静态优先级调度策略的在线分析,本文提出了一组可调度判定算法。一个是增强的时间需求分析(ETDA),相比经典的时间需求分析(TDA),它精简了判定任务可调度性需要考察的调度点数目。另一个是混合可调度判定(HT),这是一种严格的可调度判定条件,它将已有的充分条件和充要条件结合起来,大大减少了分析时间。为进一步减少分析时间,本文还展示了一个有希望的方法:在进行可调度判定时,将现有的最高优先级优先策略替换为最低优先级优先(LPF)策略。 我们也考察了任务截止期和谐(即复合截止期)的效果,已有多个严格判定条件与此相关。我们提出的第一个判定条件主要关注如何在单个调度点上判定任务的可行性,而提出的第二个判定条件给出了一个基于CPU 利用率的严格判定算法,该算法针对和谐任务系统,其时间复杂度为O(n)。 现有的调度技术大多假设系统提供的优先级个数是不受限制的。然而,基于多种因素如经济等的考虑,大量的系统仅支持有限的优先级,相比优先级个数不受限制的情况,这方面的研究还很有限。为了适应上述应用的需求,转换技术用于将在优先级个数不受限制下可调度的任务集转换为在有限优先级下可调度的任务集,然而这种转换需要付出代价,新得到的任务集会变得不可调度,因此需要研究相应的转换技术,使得原来可调度的任务集在有限优先级下仍旧可以确保其可调度性。 节约能源是当今实时嵌入式系统设计的一个关键技术,处理器消耗了整个系统的很大一部分能源。一方面,最新器件及其复杂需求导致了对能源的大量需求,另一方面,电池技术的改进进展缓慢。由于近期相关技术很难有突破,所以目前研究重点是如何有效地利用电池能源。大量研究集中于利用动态电压调整技术,而其代价是降低了系统的响应性。但是在最新的设备中,尤其是交互式手持设备中,响应性要比节约能源更重要。因此,有效的调度策略应当同时考虑系统的响应性和节约能源。除了对动态电压调整技术在实时调度理论中的应用进行了综述,本文也提出了一个解决方法,用于处理混合负载的情形,使得系统的性能可以得到保证。 周期性任务系统的可调度性对任务参数是敏感的,系统设计师通过调整多个参数,使得系统的某个目标函数最优,如处理器利用率最大,或者能源消耗最少等。这些参数主要包括任务周期,截止期和执行时间。任务周期通常取决于系统需求,而截止期和执行时间可以被修改以便改善系统性能。在基于优先级调度的系统中,这种敏感性分析集中于改变任务执行时间和截止期上,然而迄今为止还没有最优的解决方法。我们将给定的一串由“逻辑或”连接的不等式,转换为一个独立的不等式,然后用这个不等式作为任务可调度的约束条件。这个不等式可以通过非线性规划的方法解决,以便可以设计出最大化系统目标函数如系统利用率、优化能源的方案。这同时也提供了一个通过改变任务执行时间或者处理器执行速度,将不可调度的任务集转换为可调度任务集的方法。
语种中文
公开日期2011-03-17
页码177
内容类型学位论文
源URL[http://ir.iscas.ac.cn/handle/311060/7216]  
专题软件研究所_中科院软件所_中科院软件所
推荐引用方式
GB/T 7714
NASRO MIN ALLAH. Feasibility Analysis and Design of Real-Time Systems[D]. 软件研究所. 中国科学院软件研究所. 2008.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace