论文部分内容阅读
多核处理器因其高性能、低功耗的显著特点在嵌入式实时系统中的得到越来越广泛的应用。多核处理器虽然能够提供更好的平均性能,但是多核系统中大量存在共享资源,位于不同核心上的程序细粒度的访问共享资源,造成了系统时间行为的高度不可预测。而实时系统通常要求在系统启动之前要对系统的时间特性进行分析,以确保系统的时间需求得以保证。多核处理器的出现,为实时系统时间特性的分析带来了巨大挑战。在多核系统中,共享总线是一类非常重要的共享资源,它广泛存在于处理核心与Cache之间、各级Cache之间,以及处理器与外存之间。共享总线的时间特性严重影响整个系统的时间特性。本文主要研究面向多核共享总线的最坏情况响应时间(Worst-Case Response Time, WCRT)分析技术。我们首先提出一种具有伪多项式复杂度的技术来分析和描述一个程序对共享资源的请求。该技术以基于抽象解释技术的Cache分析结果为输入,能够采用阶梯函数来描述单位时间内一个程序对共享资源的最大请求数量,其特点是能够对程序对共享资源的访问行为进行精确的描述。在此基础上,我们提出了一种系统的WCRT分析方法。该方法假定每个处理核心上运行一个实时任务,不同核心上的实时任务共享总线,并在总线上发生访问冲突。我们的WCRT分析方法能够迭代计算不同任务的执行时间交叠,并根据交叠情况确定每个任务最坏情况下在共享总线上受到的来自其它任务的干涉数量。通过这种方法,求得每个实时任务的最坏情况响应时间。为了验证上述的WCRT分析方法,本文设计了相关实验,并将实验结果与考虑了最坏情况干涉的任务WCET值进行了比较。实验证明,本论文提出的分析方法具有更高的精度。