跳到主要内容
研究论文

在能量约束下优化实时系统的服务质量

出版:2012年2月16日出版历史
跳过摘要部分

摘要

由电池供电的嵌入式实时系统需要在操作系统级别提供适当的节能支持。这样做的机制不仅必须考虑能量约束,还必须考虑可调度性,因为在这种系统中,任务必须在预定义的时间窗口内执行。除此之外,还需要优化应用程序服务质量(QoS)。

在本文中,我们提出了一个能够在可调度性和能量约束下最大化应用程序QoS的框架。假设应用程序任务可能有多种操作模式,每种模式在特定处理器操作频率下运行时都会显示特定的QoS级别。虽然公式化问题是NP-Hard问题,但实验分析表明,导出的启发式算法能够获得很好的近似结果,并且运行时间较短。

工具书类

  1. L.Abeni和G.Buttazzo。动态实时系统中的资源预留。实时系统,27(2):123-1672004。谷歌学者谷歌学者数字图书馆数字图书馆
  2. 臂。应用说明和教程,2011年6月。谷歌学者谷歌学者
  3. E.Bini和G.Buttazzo。测量可调度性测试的性能。实时系统,30(1):129--1542005。谷歌学者谷歌学者数字图书馆数字图书馆
  4. S.Boyd和L.Vandenberghe。凸优化。剑桥大学出版社,2004年。谷歌学者谷歌学者数字图书馆数字图书馆
  5. A.Burns、D.Prasad、A.Bondavalli、F.D.Giandomenico、K.Rammritham、J.Stankovic和L.Strigini。价值在调度灵活实时系统中的意义和作用。《系统体系结构杂志》,46(4):305-3252000。谷歌学者谷歌学者数字图书馆数字图书馆
  6. G.布塔佐。嵌入式系统实时计算的研究趋势。ACM SIGBED审查,3(3),2006年。谷歌学者谷歌学者数字图书馆数字图书馆
  7. E.Camponogara、A.B.de Oliveira和G.Lima。支持随机处理器消耗的实时调度器的基于优化的动态重新配置。IEEE工业信息学汇刊,6(4):594--6092010年11月。谷歌学者谷歌学者交叉引用交叉引用
  8. A.B.de Oliveira、E.Camponogara和G.Lima。基于预留的调度中的动态重构:一种优化方法。第15届IEEE实时和嵌入式技术与应用研讨会论文集,第173-182页,2009年4月。谷歌学者谷歌学者数字图书馆数字图书馆
  9. M.L.Fisher。求解整数规划问题的拉格朗日松弛方法。管理科学,50(12):1861-18712004。谷歌学者谷歌学者数字图书馆数字图书馆
  10. A.M.杰弗里恩。拉格朗日松弛法及其在整数规划中的应用。数学规划研究,2:82-1141974。谷歌学者谷歌学者交叉引用交叉引用
  11. F.手套。代理约束。运筹学,16(4):741--7491968年7月-8月。谷歌学者谷歌学者数字图书馆数字图书馆
  12. 英特尔。英特尔技术文档-英特尔核心2双核移动处理器,2010年10月。谷歌学者谷歌学者
  13. J.Jehuda和A.以色列人。自适应实时软件的自动元控制。实时系统,14(2):107--1341998。谷歌学者谷歌学者数字图书馆数字图书馆
  14. R.Jejurikar、C.Pereira和R.Gupta。实时嵌入式系统的泄漏感知动态电压缩放。第41届年度设计自动化会议论文集,第275-280页,2004年。谷歌学者谷歌学者数字图书馆数字图书馆
  15. W.Kim、J.Kim和S.Min。使用松弛时间分析的动态优先级硬实时系统的动态电压缩放算法。2002年欧洲设计、自动化和测试会议记录。谷歌学者谷歌学者数字图书馆数字图书馆
  16. C.Lee、J.P.Lehoczky、D.S.R.Rajkumar和J.Hansen。多资源QoS问题的可扩展解决方案。第20届IEEE实时系统研讨会论文集,第315-3261999页。谷歌学者谷歌学者数字图书馆数字图书馆
  17. C.Lee、J.P.Lehoczky、R.Rajkumar和D.Siewiorek。使用离散QoS选项优化服务质量。第五届IEEE实时技术和应用研讨会论文集,第276-2861999页。谷歌学者谷歌学者数字图书馆数字图书馆
  18. G.Lima、E.Camponogara和A.C.Sokolonski。自适应多版本实时系统的动态重构。《第20届IEEE欧洲微系统实时系统会议记录》,第115-124页,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  19. S.Martello和P.Toth。两约束0-1背包问题的一种精确算法。运筹学,51(5):826--8352003。谷歌学者谷歌学者数字图书馆数字图书馆
  20. C.W.Mercer、S.Savage和H.Tokuda。多媒体操作系统的处理器容量储备。技术报告CMU-CS-93-157,卡内基梅隆大学,1993年。谷歌学者谷歌学者数字图书馆数字图书馆
  21. 微米。技术说明,2010年10月。谷歌学者谷歌学者
  22. P.Pillai和K.G.Shin。低功耗嵌入式操作系统的实时动态电压缩放。SIGOPS操作系统评论,35:89-1022001年10月。谷歌学者谷歌学者数字图书馆数字图书馆
  23. N.Pinckney、T.Barr、M.Daylinger、M.McKnett、N.Jiang、C.Nygaard、D.M.Harris、J.Stanley和B.Phillips。MIPS R2000实现。第45届年度设计自动化会议论文集,第102-107页,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  24. 别针。动态二进制指令插入工具。http://www.pintool.org/2011年7月。在线;2011年7月访问。谷歌学者谷歌学者
  25. D.Prasad和A.Burns。一种基于值的实时自主车辆控制调度方法。Robotica,18(3):273-2792000。谷歌学者谷歌学者数字图书馆数字图书馆
  26. G.Quan和X.Hu。可变电压处理器上实时系统的节能固定优先级调度。《设计自动化会议论文集》,第828-833页,2001年。谷歌学者谷歌学者数字图书馆数字图书馆
  27. C.Rusu、R.Melhem和D.Mossé。可充电能源感知实时系统中的多版本调度。嵌入式计算杂志,1(2):271-2832005。谷歌学者谷歌学者数字图书馆数字图书馆
  28. C.A.Rusu、R.Melhem和D.Mossé。在满足时间和能量限制的同时,最大化系统价值。IBM研究与开发杂志,47(5-6):689-7022003年9月。谷歌学者谷歌学者数字图书馆数字图书馆
  29. Y.Shin、K.Choi和T.Sakurai。变速处理器上实时嵌入式系统的功耗优化。《IEEE/ACM计算机辅助设计国际会议论文集》,第365-368页,2000年。谷歌学者谷歌学者数字图书馆数字图书馆
  30. L.A.Wolsey。整数编程。John Wiley&Sons,纽约州纽约市,1998年。谷歌学者谷歌学者
  31. C.Xian、Y.-H.Lu和Z.Li。执行时间不确定的多任务实时系统的动态电压缩放。IEEE集成电路和系统计算机辅助设计汇刊,27(8):1467-14782008年8月。谷歌学者谷歌学者数字图书馆数字图书馆
  32. F.Yao、A.Demers和S.Shenker。减少CPU能量的调度模型。第36届计算机科学基础年度研讨会论文集,第374-382页,1995年10月。谷歌学者谷歌学者数字图书馆数字图书馆
  33. H.Yu、B.Veeravalli和Y.Ha。嵌入式系统能量约束下QoS最大化中非精确计算任务的动态调度。《亚洲及南太平洋设计自动化会议论文集》,第452-455页,2008年3月。谷歌学者谷歌学者数字图书馆数字图书馆
  34. X.Zhong和C.-Z.Xu。具有统计实时性保证的动态电压调节的能量感知建模和调度。IEEE计算机汇刊,56(3):358-3722007年3月。谷歌学者谷歌学者数字图书馆数字图书馆
  35. D.Zhu、R.Melhem和D.Mossé。能量管理对实时嵌入式系统可靠性的影响。《计算机辅助设计国际会议论文集》,第35-40页,2004年。谷歌学者谷歌学者数字图书馆数字图书馆
  36. Y.Zhu和F.Mueller。利用动态电压调节的实时任务反馈EDF调度。实时系统,31(1-3):33-632005。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 能量约束下实时系统的服务质量优化

        建议

        评论

        登录选项

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

        登录

        完全访问权限

        • 发布于

          封面图片ACM SIGOPS操作系统评论
          ACM SIGOPS操作系统审查 第46卷第1期
          2012年1月
          99页
          国际标准编号:0163-5980
          内政部:10.1145/2146382
          期刊目录

          版权所有©2012作者

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:2012年2月16日

          检查更新

          限定符

          • 研究论文

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器