以虚拟机为核心支持动态层绑定的方法

发布时间：2018-07-25 11:42

【摘要】：一些面向上下文的编程语言已经实现,但在这些语言中所有的层被编译为程序可执行代码的一部分,这限制了程序的应用范围.为了解决该问题,提出一种以虚拟机为核心的方法支持动态层绑定,它融入对象组合与代理到虚拟机实现层激活,利用虚拟机服务支持动态层绑定.为了精确描述该方法并有效分析该方法对程序类型安全的影响,定义一个以Featherweight Java演算为核心的演算.基于该演算,形式化分析它对程序类型安全的影响,定义相应的约束,并证明在满足该约束下动态层绑定能保持程序的类型安全.为证明方法可行,以演算为指导,通过扩展Java的编译器与虚拟机实现并评估该方法.该演算和方法的实现可用于指导类似Java的语言的扩展,以支持程序动态地绑定层,同时保证扩展后语言的类型安全.
[Abstract]:Some context-oriented programming languages have been implemented, but in these languages all layers are compiled into part of the executable code, which limits the scope of application of the program. In order to solve this problem, a method based on virtual machine is proposed to support dynamic layer binding, which integrates object composition and proxy into virtual machine implementation layer activation, and uses virtual machine services to support dynamic layer binding. In order to accurately describe the method and analyze the effect of the method on the program type safety, a calculus with Featherweight Java calculus as its core is defined. Based on the calculus, the influence of this algorithm on the type safety of the program is formally analyzed, the corresponding constraints are defined, and it is proved that the dynamic layer binding can maintain the type safety of the program when the constraint is satisfied. In order to prove the feasibility of the method, the method is implemented and evaluated by extending the compiler and virtual machine of Java under the guidance of calculus. The implementation of the calculus and method can be used to guide the extension of languages like Java to support the dynamic binding layer of the program and to ensure the type safety of the extended language at the same time.
【作者单位】： 西安交通大学计算机科学与技术系;
【基金】：国家自然科学基金项目(61173040) 国家“八六三”高技术研究发展计划基金项目(2012AA011003)
【分类号】：TP312.1;TP302

【参考文献】

中国期刊全文数据库 前2条

1 张仕;黄林鹏;;基于FJ的多版本类动态更新演算[J];软件学报;2008年10期

2 丁博;王怀民;史殿习;李骁;;一种支持软件可信演化的构件模型[J];软件学报;2011年01期

【共引文献】

中国期刊全文数据库 前7条

1 秦园园;;浅谈可信软件体系结构研究[J];电脑知识与技术;2011年21期

2 王建冬;刘洋;王继民;;国内云计算研究领域核心作者群知识结构及演化路径分析[J];北京大学学报(自然科学版);2013年05期

3 马华;张红宇;;结合可信度模糊评价与动态聚类的构件选择[J];计算机工程与应用;2011年21期

4 岳洋;曾广平;;支持动态演化的开放构件模型及其设计规范[J];计算机工程;2012年13期

5 向剑平;乔少杰;胡剑;;WMB*:一种提高大数据上软件执行效率改进算法[J];内江师范学院学报;2012年12期

6 许静;司冠南;杨巨峰;文硕;张彪;;一个网构软件可信实体模型及基于评估的信任度量[J];中国科学:信息科学;2013年01期

7 赵银亮;朱常鹏;韩博;曾庆花;;一种利用适合性测试支持方法重定向的演算[J];软件学报;2013年07期

中国博士学位论文全文数据库 前1条

1 王闯;软件智能进化模型及其实现机制研究[D];北京邮电大学;2012年

中国硕士学位论文全文数据库 前4条

1 李佳伟;一种基于GA的网构软件构件选择方法[D];华中师范大学;2012年

2 王莹洁;基于Wright-Fisher的网构软件多策略信任演化模型研究[D];哈尔滨工程大学;2012年

3 刘毅;基于客户满意度的信息系统（服务）设计[D];天津大学;2012年

4 周翔宇;基于感知数据的路况信息管理服务系统软件体系结构设计[D];天津大学;2012年

【二级参考文献】

中国期刊全文数据库 前9条

1 梅宏;黄罡;赵海燕;焦文品;;一种以软件体系结构为中心的网构软件开发方法[J];中国科学E辑:信息科学;2006年10期

2 王怀民;唐扬斌;尹刚;李磊;;互联网软件的可信机理[J];中国科学E辑:信息科学;2006年10期

3 杨芙清;吕建;梅宏;;网构软件技术体系:一种以体系结构为中心的途径[J];中国科学(E辑:信息科学);2008年06期

4 吕建;马晓星;陶先平;曹春;黄宇;余萍;;面向网构软件的环境驱动模型与支撑技术研究[J];中国科学(E辑:信息科学);2008年06期

5 梅宏 ,常继传 ,杨芙清;Software component composition based on ADL and Middleware[J];Science in China(Series F:Information Sciences);2001年02期

6 ;Technical framework for Internetware: An architecture centric approach[J];Science in China(Series F:Information Sciences);2008年06期

7 ;On environment-driven software model for Internetware[J];Science in China(Series F:Information Sciences);2008年06期

8 王晓鹏,王千祥,梅宏;一种面向构件化软件的在线演化方法[J];计算机学报;2005年11期

9 梅宏;申峻嵘;;软件体系结构研究进展[J];软件学报;2006年06期

中国重要会议论文全文数据库 前2条

1 丁博;史殿习;王怀民;;一种面向普适计算的适应性软件体系结构[A];第四届和谐人机环境联合学术会议论文集[C];2008年

2 吴元立;丁博;史殿习;刘惠;王怀民;;普适计算环境下的构件模型映射机制的研究与实现[A];第四届和谐人机环境联合学术会议论文集[C];2008年

【相似文献】

中国期刊全文数据库 前10条

1 张海军;杨懋;;Virtual PC在教学中的应用及优势[J];甘肃科技纵横;2007年02期

2 管建超;;基于VM ware的虚拟机安全设计与实现[J];电力信息化;2010年06期

3 ;数据中心的网络虚拟化和自动化[J];计算机与网络;2010年Z1期

4 汤声潮,张林,李春元;计算机系统维护实验教学的改革[J];内江师范学院学报;2005年04期

5 黄弋简;高晓桐;陈榕;陈海波;;基于自动测试的虚拟机磁盘I/O服务质量评估框架[J];计算机应用与软件;2011年03期

6 马汉达;;计算机维护技术课程实践教学改革[J];实验科学与技术;2008年05期

7 汪中才;;基于VMware的计算机组装课程实训教学设计[J];太原城市职业技术学院学报;2009年05期

8 俞文洋;;“硬盘主引导扇区的修复”课程实验设计[J];电脑编程技巧与维护;2010年12期

9 马一楠;;虚拟化技术在并行计算机中的应用探讨[J];价值工程;2010年24期

10 雷鸿;;基于虚拟机架构下嵌入式开发环境搭建的研究与实现[J];信息通信;2011年04期

中国重要会议论文全文数据库 前10条

1 郝甲东;张云飞;魏冰;;PlanetLab综述[A];中国通信学会信息通信网络技术委员会2009年年会论文集（上册）[C];2009年

2 刘红军;黄遵国;;基于状态管理的服务漂移技术研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

3 张大华;罗志明;王铁军;李凡;杨义彬;;云计算平台关键技术研究[A];2011电力通信管理暨智能电网通信技术论坛论文集[C];2011年

4 王宝刚;;论虚拟化在企业生产设计的应用[A];2011年CAD/CAM学术交流会议论文集[C];2011年

5 巩荣芬;储茂祥;吴庆洪;;Java平台单片机系统实现[A];2005中国控制与决策学术年会论文集（下）[C];2005年

6 张萧;祝明发;肖利民;;分布式I/O资源虚拟化技术的研究[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年

7 崔云飞;刘东;李昀;;云计算:一种新型服务计算模式[A];2008年中国高校通信类院系学术研讨会论文集（下册）[C];2009年

8 叶梅;赵京伟;;PC环境下VME数据获取系统组网及驱动软件的编写[A];第9届全国核电子学与核探测技术学术年会论文集[C];1998年

9 龙舜;钟衍凡;;一个基于实例学习的并行负荷分配方法[A];2006年全国理论计算机科学学术年会论文集[C];2006年

10 王甲;;陕西陕煤黄陵矿业有限公司数据中心虚拟化整合技术应用分析[A];安全高效矿井机电装备及信息化技术——陕西省煤炭学会学术年会论文集（2011）[C];2011年

中国重要报纸全文数据库 前10条

1 特约作者：聂阳德 钟达文;体验虚拟机的神奇魅力(第B04版)[N];电脑报;2002年

2 江苏 王志军;用好虚拟机VMware[N];电脑报;2002年

3 赵尉辰;想装几个系统，就装几个系统[N];中国计算机报;2004年

4 特约作者 丽华;不花钱，，用上双硬盘[N];电脑报;2002年

5 丁士明;联想虚拟化解决方案[N];中国计算机报;2007年

6 引火虫;VMware功能巧增_7[N];中国电脑教育报;2005年

7 特约作者 丽华;不用数码相机也截开机图[N];电脑报;2002年

8 凡妮;惠普ProLiant BL495c突破虚拟机托管性能瓶颈[N];电脑商报;2008年

9 宋家雨;别拿虚拟机不当固定资产[N];网络世界;2008年

10 计算机世界实验室;虚拟化 企业发展的方向[N];计算机世界;2008年

中国博士学位论文全文数据库 前9条

1 杜雨阳;虚拟机状态迁移和相变存储磨损均衡方法研究[D];清华大学;2011年

2 赵佳;虚拟机动态迁移的关键问题研究[D];吉林大学;2013年

3 陈华才;虚拟化环境中计算效能优化研究[D];华中科技大学;2011年

4 唐遇星;面向动态二进制翻译的动态优化和微处理器体系结构支撑技术研究[D];国防科学技术大学;2005年

5 陈海波;云计算平台可信性增强技术的研究[D];复旦大学;2008年

6 刘云新;面向新一代移动计算平台的系统虚拟化研究与应用[D];上海交通大学;2011年

7 冯振乾;云计算数据中心的网络带宽隔离技术研究[D];国防科学技术大学;2012年

8 胡光;硬Java实时嵌入式平台及其关键技术研究[D];复旦大学;2012年

9 陈锐忠;非对称多核处理器的若干调度问题研究[D];华南理工大学;2013年

中国硕士学位论文全文数据库 前10条

1 叶海波;SMART-VMM：基于VT-x的虚拟机监控器设计与实现[D];浙江大学;2011年

2 金新宝;嵌入式Java虚拟机的研究与实践[D];电子科技大学;2005年

3 李勇;适用于高性能计算的虚拟机计算资源管理系统[D];华中科技大学;2008年

4 乐伟;云计算环境下虚拟机资源分配及部署策略研究[D];云南大学;2012年

5 欧阳晟;云环境中虚拟机迁移策略的研究[D];中南大学;2012年

6 李小伟;跨域虚拟机加密通信技术方案设计与实现[D];北京邮电大学;2013年

7 Korir Sammy（克瑞）;云计算数据中心中节能安全的虚拟机实时迁移研究[D];中南大学;2012年

8 李进超;虚拟机动态资源分配及放置算法研究[D];复旦大学;2012年

9 冯伟;多目标优化的虚拟机调度模型与关键算法研究[D];复旦大学;2012年

10 杨斌;云计算中虚拟机迁移的研究[D];北京邮电大学;2013年

本文编号：2143716