跳到主要内容
文章
免费访问

基于指令缓存建模的嵌入式软件性能评估

出版:1999年7月1日出版历史
跳过抽象节

摘要

嵌入式系统通常以某种方式与外部交互世界。这可能涉及测量传感器和控制致动器、与其他系统通信或与用户交互。这些功能对系统设计施加了实时约束。验证这些规范需要计算硬件/软件系统的最坏情况执行时间(WCET)的上限。此外,为了有效地利用系统资源,推导WCET的严格上限是至关重要的。

在现代处理器上,绑定WCET的问题尤其困难。这些处理器使用基于缓存的内存系统,根据程序的动态内存访问模式改变内存访问时间。为了紧密绑定WCET,必须对其进行精确建模。已经提出了几种分析方法来将WCET绑定到具有指令缓存的处理器上。现有的方法要么搜索所有可能的程序路径,这是一个棘手的问题,要么使用高度悲观的假设来限制搜索空间。本文提出了一种更有效的方法来建模WCET上的指令缓存活动并计算紧界。该方法使用整数线性规划公式,不需要显式枚举程序路径。该方法在程序灰姑娘中实现,我们给出了该实现的一些实验结果。

工具书类

  1. ARNOLD,R.、MUELLER,F.、WHALLEY,D.和HARMON,M.,1994年。限制最坏情况下的指令缓存性能。第15届IEEE实时系统研讨会会议记录(12月)。IEEE计算机学会出版社,加利福尼亚州洛斯阿拉米托斯,172-181。谷歌学者谷歌学者
  2. AVRUNIN,G.S.、CORBETT,J.C.、DILLON,L.K.和WILEDEN,J.C.1994年。单处理器并发系统中时间界限的自动推导。IEEE传输。柔和。工程20,9(1994年9月),708-719。谷歌学者谷歌学者
  3. GUPTA,R.K.,1994年。数字嵌入式系统硬件和软件的协同合成。博士论文。斯坦福大学,加利福尼亚州斯坦福。谷歌学者谷歌学者
  4. 英特尔公司,1990年。QT960用户手册。英特尔公司,加利福尼亚州圣克拉拉。谷歌学者谷歌学者
  5. 英特尔公司,1991年。i960KA/KB微处理器程序员参考手册。英特尔公司,加利福尼亚州圣克拉拉。谷歌学者谷歌学者
  6. KLIGERMAN,E和STOYENKO,A D 1986。实时欧几里德:一种用于可靠实时系统的语言。IEEE传输。柔和。工程SE-12,9(1986年9月),941-949。谷歌学者谷歌学者
  7. LI,Y.-T.S.和MALIK,S.1995年。使用隐式路径枚举的嵌入式软件性能分析。《第32届ACM/IEEE设计自动化会议论文集》(DAC’95,加利福尼亚州旧金山,1995年6月12-16日),B.T.Preas,Ed.ACM Press,纽约州纽约市,456-461。谷歌学者谷歌学者
  8. LIM,S.,BAE,Y.H.,JANG,G.T.,RHEE,B.,MIN,S.L.,PARK,C.S.,1994年。RISC处理器的精确最坏情况时序分析技术。第15届IEEE实时系统研讨会会议记录(12月)。IEEE计算机学会出版社,加利福尼亚州洛斯阿拉米托斯,97-108。谷歌学者谷歌学者
  9. 刘,J.和李,H.1994。缓存程序最坏情况下执行时间的确定上限。第15届IEEE实时系统研讨会会议记录(12月)。IEEE计算机学会出版社,加利福尼亚州洛斯阿拉米托斯,182-191年。谷歌学者谷歌学者
  10. MOK,A.K.、AMERASINGHE,P.、CHEN,M.和TANTISIRIVAT,K.1989年。通过注释评估程序的严格执行时间界限。第六届IEEE实时操作系统和软件研讨会论文集(5月)。IEEE计算机学会出版社,加利福尼亚州洛斯阿拉米托斯,74-80。谷歌学者谷歌学者
  11. MYERS,G.J.和BUDDE,D.L.1988年。80960微处理器体系结构。约翰·威利(John Wiley);Sons,Inc.,纽约州纽约市。谷歌学者谷歌学者
  12. PARK,C.Y.1992年。预测实时程序的确定执行时间。博士论文。华盛顿大学,西雅图,华盛顿州。谷歌学者谷歌学者
  13. PUSCHNER,P.和KOZA,CH.1989年。计算实时程序的最大执行时间。实时系统。1、2(1989年9月),159-176。谷歌学者谷歌学者
  14. RAWAT,J.1993年。实时编程缓存性能的静态分析。硕士论文。爱荷华州艾姆斯州立大学。谷歌学者谷歌学者
  15. SHAW,A.C.1989年。在高级语言软件中推理时间。IEEE传输。柔和。工程15、7(1989年7月),875-889。谷歌学者谷歌学者

索引术语

  1. 基于指令缓存建模的嵌入式软件性能评估

        建议

        评论

        莫里斯·埃尔扎斯

        嵌入式系统的设计与其他计算机系统的设计不同,主要在于,虽然嵌入式系统通常使用与标准PC相同的组件,但它将在用户控制很少的环境中使用,并且将专注于单个应用程序。此外,系统对其嵌入环境的重要性将要求最佳、不间断的操作以及最小的尺寸和成本。这是一篇关于嵌入式系统设计者所面临的关键问题之一的详尽而深入的研究论文。嵌入式系统中使用的处理器与普通计算机中使用的类似,一些通常最受欢迎的组件在用于嵌入式系统时可能会导致设计问题。一个典型的例子是存在缓存,用于指令和数据。尽管系统运行单个应用程序,但其行为将受到从外部获取的数据的极大影响,这一事实使优化设计问题更加复杂。在这种情况下,最佳设计意味着最快的执行速度、最小的尺寸和最低的成本,以实现所需的可靠性。显然,如果没有广泛的测试,就无法评估这种设计。虽然对于具有小型应用程序的简单系统来说,这在物理上可能是可行的,但对于更大、更复杂的情况,这项任务将变得艰巨。在这种情况下,针对指令缓存问题建立精确的数学模型,以确定所设计系统的最坏执行时间,可以解决这一难题。作者清楚地介绍了其方法的数学背景,并通过合理数量的示例实验说明了其威力。一份完整的参考文献列表总结了本文。本文既不适合胆小或经验不足的读者,也不适合关注相对简单系统的设计师。然而,关注更雄心勃勃的嵌入式系统设计的读者可以从本文中获得许多有用的想法和技术。

        访问计算机文献的关键评论在这里

        成为评论员计算评论。

        评论

        登录选项

        检查您是否可以通过登录凭据或您的机构访问本文。

        登录

        完全访问权限

        • 发布于

          封面图片ACM电子系统设计自动化汇刊
          ACM电子系统设计自动化汇刊 第4卷第3期
          1999年7月
          120页
          国际标准编号:1084-4309年
          EISSN公司:1557-7309
          内政部:10.1145/315773
          期刊目录

          版权所有©1999 ACM

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:1999年7月1日
          发布于今天第4卷第3期

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 文章

        PDF格式

        以PDF文件的形式查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器