跳到主要内容
10.1145/2384616.2384635acm会议文章/章节视图摘要出版物页面泼洒会议记录会议集合
研究论文

Kitsune:C的高效通用动态软件更新

出版:2012年10月19日出版历史

摘要

动态软件更新(DSU)系统允许程序在运行时进行更新,从而允许开发人员在不停机的情况下添加功能并修复错误。本文介绍了Kitsune,一种用于C的新型DSU系统,其设计有三个显著特点。首先,Kitsune的更新机制会更新整个程序,而不是单个功能。这种机制比大多数以前的方法更灵活,对数据表示或允许的编译器优化没有任何限制。其次,Kitsune在程序文本中明确了更新的重要方面,使程序的语义易于理解,同时最小化了程序员的工作量。最后,程序员可以编写简单的规范来指导Kitsune生成遍历和转换旧版本状态以供新代码使用的代码;这种状态转换通常是必要的,在以前的DSU系统中要困难得多。我们已经使用Kitsune更新了五个流行的、开源的、单线程和多线程的程序,发现使用Kitsue只需要很少的程序更改,而且基本上不会产生性能开销。

工具书类

  1. G.Altekar、I.Bagrak、P.Burstein和A.Schultz。OPUS:在线补丁和安全更新。程序中。USENIX Security,2005年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. J.Arnold和M.F.Kaashoek。Ksplice:自动无重启内核更新。程序中。EuroSys,2009年。谷歌学者谷歌学者数字图书馆数字图书馆
  3. A.Baumann、J.Appavoo、D.D.Silva、J.Kerr、O.Krieger和R.W.Wisniewski。在操作系统中提供动态更新。程序中。USENIX ATC,2005年。谷歌学者谷歌学者数字图书馆数字图书馆
  4. H.Chen、R.Chen、F.Zhang、B.Zang和P.C.Yew。使用虚拟化实时更新操作系统。程序中。VEE,2006年。谷歌学者谷歌学者数字图书馆数字图书馆
  5. H.Chen、J.Yu、C.Hang、B.Zang和P.C.Yew。使用放松一致性模型进行动态软件更新。IEEE软件工程汇刊,37(5),2011年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. J.Condit、M.Harren、Z.Anderson、D.Gay和G.C.Necula。低级编程的依赖类型。程序中。ESOP,2007年。谷歌学者谷歌学者数字图书馆数字图书馆
  7. S.Gilmore、D.Kirli和C.Walton。没有动态类型的动态ML。技术报告ECS-LFCS-97-378,LFCS,爱丁堡大学,1997年。统一资源定位地址http://www.dcs.ed.ac.uk/home/stg/DynamicML/dynamic.ps.gz。谷歌学者谷歌学者
  8. C.M.Hayden、E.K.Smith、E.A.Hardisty、M.Hicks和J.S.Foster。使用有效的系统测试评估动态软件更新安全性。IEEE软件工程汇刊,99(预打印),2011年9月。谷歌学者谷歌学者
  9. C.M.Hayden、E.K.Smith、M.Hicks和J.S.Foster。状态传输可实现清晰高效的运行时升级。程序中。HotSWUp,2011年。谷歌学者谷歌学者数字图书馆数字图书馆
  10. C.M.Hayden、S.Magill、M.Hicks、N.Foster和J.S.Foster。指定并验证动态软件更新的正确性。程序中。国际验证软件会议:理论、工具和实验(VSTTE),2012年。谷歌学者谷歌学者数字图书馆数字图书馆
  11. C.M.Hayden、K.Saur、M.Hicks和J.S.Foster。多线程程序动态软件更新静止的研究。程序中。HotSWUp,2012年。谷歌学者谷歌学者交叉引用交叉引用
  12. M.Hicks和S.Nettles。动态软件更新。ACM TOPLAS,27(6),2005年。谷歌学者谷歌学者数字图书馆数字图书馆
  13. K.Makris和R.Bazzi。使用堆栈重建立即进行多线程动态软件更新。USENIX ATC,2009年。谷歌学者谷歌学者数字图书馆数字图书馆
  14. K.Makris和K.D.Ryu。商品操作系统内核中非静态子系统的动态和自适应更新。程序中。欧洲系统,2007年。谷歌学者谷歌学者数字图书馆数字图书馆
  15. T.Mytkowicz、A.Diwan、M.Hauswirth和P.F.Sweeney。生成错误的数据而没有做任何明显错误的事情!程序中。阿斯普洛斯,2009年。谷歌学者谷歌学者数字图书馆数字图书馆
  16. I.Neamtiu和M.Hicks。多线程程序的安全及时的动态更新。程序中。PLDI,2009年。谷歌学者谷歌学者数字图书馆数字图书馆
  17. I.Neamtiu、M.Hicks、G.Stoyle和M.Oriol。C.In Proc.的实用动态软件更新。PLDI,2006年。谷歌学者谷歌学者数字图书馆数字图书馆
  18. E.罗马。检查点/重启实施的调查。技术报告,劳伦斯伯克利国家实验室,技术,2002年。谷歌学者谷歌学者
  19. S.Subramanian、M.Hicks和K.S.McKinley。动态软件更新:一种以虚拟机为中心的方法。程序中。PLDI,2009年。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 零回转。LiveRebel。http://www.zeroturnaround.com/liverebel。谷歌学者谷歌学者

索引术语

  1. Kitsune:C的高效通用动态软件更新

          建议

          评论

          登录选项

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

          登录

          完全访问权限

          • 发布于

            封面图片ACM会议
            OOPSLA’12:ACM面向对象编程系统语言和应用国际会议记录
            2012年10月
            1052页
            国际标准图书编号:9781450315616
            内政部:10.1145/2384616
            • 封面图片ACM SIGPLAN注意事项
              ACM SIGPLAN通知 第47卷第10期
              2012年OOPSLA
              2012年10月
              1011页
              国际标准编号:0362-1340
              EISSN公司:1558-1160
              内政部:10.1145/2398857
              期刊目录

            版权所有©2012 ACM

            允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

            出版商

            计算机协会

            美国纽约州纽约市

            出版历史

            • 出版:2012年10月19日

            权限

            请求有关此文章的权限。

            请求权限

            检查更新

            作者标记

            限定符

            • 研究论文

            接受率

            总体验收率268属于1,244提交文件,22%

            即将召开的会议

            24年飞溅
            ACM SIGPLAN系统、编程、语言和应用国际会议:人文软件
            2024年10月20日至25日
            帕萨迪纳,加利福尼亚州,美国

          PDF格式

          以PDF文件查看或下载。

          PDF格式

          电子阅读器

          使用eReader联机查看。

          电子阅读器