【摘 要】
:
动态更新作为当今一项热门技术,其关键问题在于如何保障运行系统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需
【机 构】
:
南京大学计算机科学与技术系 南京 210093
【出 处】
:
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
动态更新作为当今一项热门技术,其关键问题在于如何保障运行系统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需要依靠系统运行时刻的动态依赖关系才能完成,而且精确的动态依赖关系可以加快动态更新。传统的动态依赖技术在实现时需要程序员针对每个程序手工地计算其动态依赖关系,而现有的可自动获得的方法在某些点得到的动态依赖关系是不精确的。针对这些问题,本文提出一种新的动态依赖技术,即在程序运行前,通过静态分析构建程序的动态依赖自动机,在程序运行时,自动机自动运行,并自适应地获得程序当前执行环境的精确的动态依赖关系。本文的工作是基于字节码的,所有工作都是自动完成,在开发效率和正确性上与已有的方法相比有了很大的提高。此外,利用此项技术本文开发了动态依赖抽取工具DDET,经实验证明,该项技术在一定程度上加快了动态更新。
其他文献
曹云莲是位师职女军官,是我的挚友,也是《老人天地》的挚友。在创办《老人天地》的过程中,我们和她及她的老伴李德生将军,共事22年。李德生曾是党的副主席,德高望重,但他公务繁忙,有了云莲的参与,两人参加我刊的活动机会更多。我们这些当时还算年轻的老人,互相支持着,鼓舞着,着实高高兴兴热热闹闹地奋斗了这么多年,做了对社会有益的工作,我们之间也结下了难忘的友谊。 今年4月,我带了一个中医大夫,到云莲的住处
本文就短信平台系统功能、特点、结构作一简要介绍,并阐述其和广播电视相结合的重要性,并提出设计要求,和初步的构建方案。
This text briefs the function, the characteri
Zhang Fan, Founding Partner of Sequoia Capital China Fund, has witnessed the growth of many Chinese enterprises
Zhang Fan, Founding Partner of Sequoia Capital
在云计算环境下,引入网络化的协同开发机制,能优化Web 应用的开发过程,缩短开发周期,提高Web 应用的开发效率。为此,提出了一种采用构件组装技术协同开发Web 应用的方法
根据劳动部1990年颁发的《女职工禁忌劳动范围的规定》,女职工禁忌从事的劳动范围包括:矿山井下作业;森林业伐木、归楞及流放作业;《体力劳动强度分级》标准中第四级体力劳
针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法。通过在时间通信顺序进程上扩展价格信息得到价
1984年的选秀大会,芝加哥人在挑到了迈克尔·乔丹之后又挑上了卡尔·刘易斯。幸亏刘易斯没去公牛报道,要不然洛杉矶奥运会的跳远金牌指不定被谁摘走了。同一年的状元,后来的
她本是儿科专家,专治新生儿和早产儿。可她做梦也没有想到会把40多年的治疗经验用到动物身上。给动物治病让她得了一个雅号——
She was a pediatrician specializing in ne
随着越来越多的业务过程模型开始在工作流引擎上直接运行,过程模型的正确性变得至关重要。尽早的检测和发现过程模型中的反模式,可以减少大量的损失。由于目前缺乏有效的
一位七十多岁的老人徒步一天一夜走到西安,听了你会信吗?但事实确实就是这样。 秋日的夜幕刚刚降临,西安协和医院的院长刚要下班,一位头发花白、衣衫褴褛的老人佝偻着背进入了他的眼帘,眼前的老人让他惊呆了:本来瘦削的身体全都肿了,嘴唇干裂,衣衫破旧、裤子沾满了泥土。原来老人为了节省十几元的路费,步行了一天一夜赶来看病的。任院长急忙让老人进屋,老人胆怯地说:“我身上不干净,别把里面弄脏了。”“没关系,……