摘要
A.Aiken、J.S.Foster、J.Kodumal和T.Terauchi。 检查并推断局部非锯齿。 程序中。 PLDI,2003年。]] 谷歌学者 数字图书馆 G.Altekar、I.Bagrak、P.Burstein和A.Schultz。 OPUS:在线补丁和安全更新。 程序中。 USENIX Security,2005年。]] 谷歌学者 数字图书馆 J.Armstrong、R.Virding、C.Wikstrom和M.Williams。 ERLANG中的并发编程(第二版)。 普伦蒂斯·霍尔国际有限公司,1996年。]] 谷歌学者 数字图书馆 A.Baumann、J.Appavoo、D.D.Silva、J.Kerr、O.Krieger和R.W.Wisniewski。 在操作系统中提供动态更新。 程序中。 USENIX ATC,2005年。]] 谷歌学者 数字图书馆 T.布鲁姆。 分布式编程系统中的动态模块替换。 MIT/LCS博士论文,1983年3月。]] 谷歌学者 T.Bloom和M.Day。 Argus中的重新配置和模块更换:理论和实践。 软件工程期刊,8(2):102-1081993。]] 谷歌学者 交叉引用 C.Boyapati、B.Liskov、L.Shrra、C.H.Moh和S.Richman。 持久对象存储中的延迟模块化升级。 程序中。 奥普斯拉,2003年。]] 谷歌学者 数字图书馆 G.Bronevetsky、M.Schulz、P.Szwed、D.Marques和K.Pingali。 共享内存程序的应用程序级检查点。 程序中。 ASPLOS,2004年。]] 谷歌学者 数字图书馆 B.Buck和J.K.Hollingsworth。 用于运行时代码修补的API。 高性能计算应用杂志,14(4):317--3292000。]] 谷歌学者 数字图书馆 C.加尔加尼奥。 区域演算安全性和正确性的分层操作语义。 在POPL,2001年。]] 谷歌学者 数字图书馆 S.Drossopoulou和S.Eisenbach。 灵活的源代码级动态链接和重新链接。 程序中。 Java程序形式化技术研讨会,2003年。]] 谷歌学者 D.达根。 正在运行的模块的基于类型的热交换。 在ICFP中,2001年。]] 谷歌学者 数字图书馆 O.Frieder和M.E.Segal。 关于动态更新计算机程序:从概念到原型。 《系统与软件杂志》,14(2):111-1281991 谷歌学者 数字图书馆 S.Gilmore、D.Kirli和C.Walton。 没有动态类型的动态ML。 技术报告ECS-LFCS-97-378,LFCS,爱丁堡大学,1997年。]] 谷歌学者 A.Goldberg和D.Robson。 Smalltalk 80——语言及其实现。 Addison-Wesley,雷丁,1989年。]] 谷歌学者 数字图书馆 D.古普塔。 在线软件版本更改。 印度技术学院博士论文,坎普尔,1994年11月。]] 谷歌学者 M.W.希克斯。 动态软件更新。 宾夕法尼亚大学博士论文,2001年8月。]] 谷歌学者 数字图书馆 G.Hjálmtísson和R.Gray。 动态C++类,一种在运行程序中更新代码的轻量级机制。 程序中。 USENIX ATC,1998年。]] 谷歌学者 数字图书馆 Java平台调试器体系结构。 这支持类替换。 请参见 http://java.sun.com/j2se/1.4.2/docs/guide/jpda/。 ]] 谷歌学者 K42项目。 http://www.research.ibm.com/K42/。 ]] 谷歌学者 J.Kodumal和A.Aiken。 Banshee:一个可扩展的基于约束的分析工具包。 程序中。 SAS,2005年9月。]] 谷歌学者 数字图书馆 D.E.Lowell、Y.Saito和E.J.Samberg。支持一般单节点在线维护的可变形虚拟机。 程序中。 ASPLOS,2004年。]] 谷歌学者 数字图书馆 J.M.Lucassen和D.K.Gifford。 多态效应系统。 POPL,1988年。]] 谷歌学者 数字图书馆 S.Malabarba、R.Pandey、J.Gragg、E.Barr和J.F.Barnes。 对类型安全的动态java类的运行时支持。 程序中。 ECOOP,2000年。]] 谷歌学者 数字图书馆 G.C.Necula、S.McPeak、S.P.Rahul和W.Weimer。 CIL:用于分析和转换C程序的中间语言和工具。 LNCS,2304:213--2282002年。]] 谷歌学者 数字图书馆 D.Oppenheimer、A.Brown、J.Beck、D.Hettena、J.Kuroda、N.Treuhaft、D.A.Patterson和K.Yelick。 Roc-1:面向恢复计算的硬件支持。 IEEE传输。 计算。, 51(2):100--107, 2002.]] 谷歌学者 数字图书馆 A.Orso、A.Rao和M.Harrold。 Java软件的动态更新技术。 程序中。 ICSM,2002年。]] 谷歌学者 数字图书馆 S.Parker。 一个简单的等式:IT on=Business on。IT Journal,Hewlett-Packard,2001。]] 谷歌学者 J.S.普朗克。 单处理器和分布式系统中检查点的概述,重点介绍实现和性能。 技术报告UT-CS-97-372,田纳西大学计算机科学系,1997年。]] 谷歌学者 数字图书馆 J.M.史密斯。 进程迁移机制的调查。 ACM操作系统评论,SIGOPS,22(3):28--40,1988年。]] 谷歌学者 数字图书馆 C.Soules、J.Appavoo、K.Hui、D.D.Silva、G.Ganger、O.Krieger、M.Stumm、R.Wisniewski、M.Auslander、M.Ostrowski、B.Rosen-burg和J.Xenidis。 系统支持在线重新配置。 程序中。 USENIX ATC,2003年6月。]] 谷歌学者 G.斯托尔。 动态软件更新理论。 剑桥大学计算机实验室博士论文。 出现。]] 谷歌学者 G.Stoyle、M.Hicks、G.Bierman、P.Sewell和I.Neamtiu。 Mutantis Mutandis:安全且可预测的动态软件更新。 程序中。 POPL,2005年。]] 谷歌学者 数字图书馆 M.Tofte和J.-P.Talpin。 基于区域的内存管理。 信息与计算,132(2):109--1761997。]] 谷歌学者 数字图书馆 B.佐恩。 个人通信,基于与Microsoft Windows客户的经验,2005年8月。]] 谷歌学者
索引术语
实用的C语言动态软件更新
建议
动态软件更新:以虚拟机为中心的方法 PLDI’09:第30届ACM SIGPLAN编程语言设计与实现会议记录 软件不断发展以修复错误并添加功能。 停止和重新启动程序以应用更改是不方便的,而且通常代价高昂。 动态软件更新(DSU)通过在程序执行时更新程序来解决此问题,但现有的DSU系统。。。 动态软件更新:以虚拟机为中心的方法 2009年PLDI 软件不断发展以修复错误并添加功能。 停止和重新启动程序以应用更改是不方便的,而且通常代价高昂。 动态软件更新(DSU)通过在程序执行时更新程序来解决此问题,但现有的DSU系统。。。