摘要
G.Altekar、I.Bagrak、P.Burstein和A.Schultz。 OPUS:在线补丁和安全更新。 程序中。 USENIX Security,2005年。 谷歌学者 数字图书馆 J.Arnold和M.F.Kaashoek。 Ksplice:自动无重启内核更新。 程序中。 EuroSys,2009年。 谷歌学者 数字图书馆 A.Baumann、J.Appavoo、D.D.Silva、J.Kerr、O.Krieger和R.W.Wisniewski。 在操作系统中提供动态更新。 程序中。 USENIX ATC,2005年。 谷歌学者 数字图书馆 H.Chen、R.Chen、F.Zhang、B.Zang和P.C.Yew。 使用虚拟化实时更新操作系统。 程序中。 VEE,2006年。 谷歌学者 数字图书馆 H.Chen、J.Yu、C.Hang、B.Zang和P.C.Yew。 使用放松一致性模型进行动态软件更新。 IEEE软件工程汇刊,37(5),2011年。 谷歌学者 数字图书馆 J.Condit、M.Harren、Z.Anderson、D.Gay和G.C.Necula。 低级编程的依赖类型。 程序中。 ESOP,2007年。 谷歌学者 数字图书馆 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。 谷歌学者 C.M.Hayden、E.K.Smith、E.A.Hardisty、M.Hicks和J.S.Foster。 使用有效的系统测试评估动态软件更新安全性。 IEEE软件工程汇刊,99(预打印),2011年9月。 谷歌学者 C.M.Hayden、E.K.Smith、M.Hicks和J.S.Foster。 状态传输可实现清晰高效的运行时升级。 程序中。 HotSWUp,2011年。 谷歌学者 数字图书馆 C.M.Hayden、S.Magill、M.Hicks、N.Foster和J.S.Foster。 指定并验证动态软件更新的正确性。 程序中。 国际验证软件会议:理论、工具和实验(VSTTE),2012年。 谷歌学者 数字图书馆 C.M.Hayden、K.Saur、M.Hicks和J.S.Foster。 多线程程序动态软件更新静止的研究。 程序中。 HotSWUp,2012年。 谷歌学者 交叉引用 M.Hicks和S.Nettles。 动态软件更新。 ACM TOPLAS,27(6),2005年。 谷歌学者 数字图书馆 K.Makris和R.Bazzi。 使用堆栈重建立即进行多线程动态软件更新。 USENIX ATC,2009年。 谷歌学者 数字图书馆 K.Makris和K.D.Ryu。 商品操作系统内核中非静态子系统的动态和自适应更新。 程序中。 欧洲系统,2007年。 谷歌学者 数字图书馆 T.Mytkowicz、A.Diwan、M.Hauswirth和P.F.Sweeney。 生成错误的数据而没有做任何明显错误的事情! 程序中。 阿斯普洛斯,2009年。 谷歌学者 数字图书馆 I.Neamtiu和M.Hicks。 多线程程序的安全及时的动态更新。 程序中。 PLDI,2009年。 谷歌学者 数字图书馆 I.Neamtiu、M.Hicks、G.Stoyle和M.Oriol。 C.In Proc.的实用动态软件更新。 PLDI,2006年。 谷歌学者 数字图书馆 E.罗马。 检查点/重启实施的调查。 技术报告,劳伦斯伯克利国家实验室,技术,2002年。 谷歌学者 S.Subramanian、M.Hicks和K.S.McKinley。 动态软件更新:一种以虚拟机为中心的方法。 程序中。 PLDI,2009年。 谷歌学者 数字图书馆 零回转。 LiveRebel。 http://www.zeroturnaround.com/liverebel。 谷歌学者
建议
Kitsune:高效、通用的C语言动态软件更新 动态软件更新(DSU)系统便于对正在运行的程序进行软件更新,从而允许开发人员在不停机的情况下添加功能并修复错误。 本文介绍了用于C.Kitsune设计的DSU系统Kittune,它有三个值得注意的。。。 Kitsune:C的高效通用动态软件更新 2012年OOPSLA 动态软件更新(DSU)系统允许程序在运行时进行更新,从而允许开发人员在不停机的情况下添加功能并修复错误。 本文介绍了Kitsune,一种用于C的新型DSU系统,其设计有三个显著特点。。。