發(fā)布時間：2018-07-25 11:42

【摘要】：一些面向上下文的編程語言已經(jīng)實現(xiàn),但在這些語言中所有的層被編譯為程序可執(zhí)行代碼的一部分,這限制了程序的應用范圍.為了解決該問題,提出一種以虛擬機為核心的方法支持動態(tài)層綁定,它融入對象組合與代理到虛擬機實現(xiàn)層激活,利用虛擬機服務支持動態(tài)層綁定.為了精確描述該方法并有效分析該方法對程序類型安全的影響,定義一個以Featherweight Java演算為核心的演算.基于該演算,形式化分析它對程序類型安全的影響,定義相應的約束,并證明在滿足該約束下動態(tài)層綁定能保持程序的類型安全.為證明方法可行,以演算為指導,通過擴展Java的編譯器與虛擬機實現(xiàn)并評估該方法.該演算和方法的實現(xiàn)可用于指導類似Java的語言的擴展,以支持程序動態(tài)地綁定層,同時保證擴展后語言的類型安全.
[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) 國家“八六三”高技術研究發(fā)展計劃基金項目(2012AA011003)
【分類號】：TP312.1;TP302

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 張仕;黃林鵬;;基于FJ的多版本類動態(tài)更新演算[J];軟件學報;2008年10期

2 丁博;王懷民;史殿習;李驍;;一種支持軟件可信演化的構件模型[J];軟件學報;2011年01期

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前7條

1 秦園園;;淺談可信軟件體系結構研究[J];電腦知識與技術;2011年21期

2 王建冬;劉洋;王繼民;;國內(nèi)云計算研究領域核心作者群知識結構及演化路徑分析[J];北京大學學報(自然科學版);2013年05期

3 馬華;張紅宇;;結合可信度模糊評價與動態(tài)聚類的構件選擇[J];計算機工程與應用;2011年21期

4 岳洋;曾廣平;;支持動態(tài)演化的開放構件模型及其設計規(guī)范[J];計算機工程;2012年13期

5 向劍平;喬少杰;胡劍;;WMB*:一種提高大數(shù)據(jù)上軟件執(zhí)行效率改進算法[J];內(nèi)江師范學院學報;2012年12期

6 許靜;司冠南;楊巨峰;文碩;張彪;;一個網(wǎng)構軟件可信實體模型及基于評估的信任度量[J];中國科學:信息科學;2013年01期

7 趙銀亮;朱常鵬;韓博;曾慶花;;一種利用適合性測試支持方法重定向的演算[J];軟件學報;2013年07期

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 王闖;軟件智能進化模型及其實現(xiàn)機制研究[D];北京郵電大學;2012年

中國碩士學位論文全文數(shù)據(jù)庫 前4條

1 李佳偉;一種基于GA的網(wǎng)構軟件構件選擇方法[D];華中師范大學;2012年

2 王瑩潔;基于Wright-Fisher的網(wǎng)構軟件多策略信任演化模型研究[D];哈爾濱工程大學;2012年

3 劉毅;基于客戶滿意度的信息系統(tǒng)（服務）設計[D];天津大學;2012年

4 周翔宇;基于感知數(shù)據(jù)的路況信息管理服務系統(tǒng)軟件體系結構設計[D];天津大學;2012年

【二級參考文獻】

中國期刊全文數(shù)據(jù)庫 前9條

1 梅宏;黃罡;趙海燕;焦文品;;一種以軟件體系結構為中心的網(wǎng)構軟件開發(fā)方法[J];中國科學E輯:信息科學;2006年10期

2 王懷民;唐揚斌;尹剛;李磊;;互聯(lián)網(wǎng)軟件的可信機理[J];中國科學E輯:信息科學;2006年10期

3 楊芙清;呂建;梅宏;;網(wǎng)構軟件技術體系:一種以體系結構為中心的途徑[J];中國科學(E輯:信息科學);2008年06期

4 呂建;馬曉星;陶先平;曹春;黃宇;余萍;;面向網(wǎng)構軟件的環(huán)境驅(qū)動模型與支撐技術研究[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期

中國重要會議論文全文數(shù)據(jù)庫 前2條

1 丁博;史殿習;王懷民;;一種面向普適計算的適應性軟件體系結構[A];第四屆和諧人機環(huán)境聯(lián)合學術會議論文集[C];2008年

2 吳元立;丁博;史殿習;劉惠;王懷民;;普適計算環(huán)境下的構件模型映射機制的研究與實現(xiàn)[A];第四屆和諧人機環(huán)境聯(lián)合學術會議論文集[C];2008年

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 張海軍;楊懋;;Virtual PC在教學中的應用及優(yōu)勢[J];甘肅科技縱橫;2007年02期

2 管建超;;基于VM ware的虛擬機安全設計與實現(xiàn)[J];電力信息化;2010年06期

3 ;數(shù)據(jù)中心的網(wǎng)絡虛擬化和自動化[J];計算機與網(wǎng)絡;2010年Z1期

4 湯聲潮,張林,李春元;計算機系統(tǒng)維護實驗教學的改革[J];內(nèi)江師范學院學報;2005年04期

5 黃弋簡;高曉桐;陳榕;陳海波;;基于自動測試的虛擬機磁盤I/O服務質(zhì)量評估框架[J];計算機應用與軟件;2011年03期

6 馬漢達;;計算機維護技術課程實踐教學改革[J];實驗科學與技術;2008年05期

7 汪中才;;基于VMware的計算機組裝課程實訓教學設計[J];太原城市職業(yè)技術學院學報;2009年05期

8 俞文洋;;“硬盤主引導扇區(qū)的修復”課程實驗設計[J];電腦編程技巧與維護;2010年12期

9 馬一楠;;虛擬化技術在并行計算機中的應用探討[J];價值工程;2010年24期

10 雷鴻;;基于虛擬機架構下嵌入式開發(fā)環(huán)境搭建的研究與實現(xiàn)[J];信息通信;2011年04期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 郝甲東;張云飛;魏冰;;PlanetLab綜述[A];中國通信學會信息通信網(wǎng)絡技術委員會2009年年會論文集（上冊）[C];2009年

2 劉紅軍;黃遵國;;基于狀態(tài)管理的服務漂移技術研究[A];2007北京地區(qū)高校研究生學術交流會通信與信息技術會議論文集（上冊）[C];2008年

3 張大華;羅志明;王鐵軍;李凡;楊義彬;;云計算平臺關鍵技術研究[A];2011電力通信管理暨智能電網(wǎng)通信技術論壇論文集[C];2011年

4 王寶剛;;論虛擬化在企業(yè)生產(chǎn)設計的應用[A];2011年CAD/CAM學術交流會議論文集[C];2011年

5 鞏榮芬;儲茂祥;吳慶洪;;Java平臺單片機系統(tǒng)實現(xiàn)[A];2005中國控制與決策學術年會論文集（下）[C];2005年

6 張蕭;祝明發(fā);肖利民;;分布式I/O資源虛擬化技術的研究[A];2008年全國開放式分布與并行計算機學術會議論文集(下冊)[C];2008年

7 崔云飛;劉東;李昀;;云計算:一種新型服務計算模式[A];2008年中國高校通信類院系學術研討會論文集（下冊）[C];2009年

8 葉梅;趙京偉;;PC環(huán)境下VME數(shù)據(jù)獲取系統(tǒng)組網(wǎng)及驅(qū)動軟件的編寫[A];第9屆全國核電子學與核探測技術學術年會論文集[C];1998年

9 龍舜;鐘衍凡;;一個基于實例學習的并行負荷分配方法[A];2006年全國理論計算機科學學術年會論文集[C];2006年

10 王甲;;陜西陜煤黃陵礦業(yè)有限公司數(shù)據(jù)中心虛擬化整合技術應用分析[A];安全高效礦井機電裝備及信息化技術——陜西省煤炭學會學術年會論文集（2011）[C];2011年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 特約作者：聶陽德 鐘達文;體驗虛擬機的神奇魅力(第B04版)[N];電腦報;2002年

2 江蘇 王志軍;用好虛擬機VMware[N];電腦報;2002年

3 趙尉辰;想裝幾個系統(tǒng)，就裝幾個系統(tǒng)[N];中國計算機報;2004年

4 特約作者 麗華;不花錢，，用上雙硬盤[N];電腦報;2002年

5 丁士明;聯(lián)想虛擬化解決方案[N];中國計算機報;2007年

6 引火蟲;VMware功能巧增_7[N];中國電腦教育報;2005年

7 特約作者 麗華;不用數(shù)碼相機也截開機圖[N];電腦報;2002年

8 凡妮;惠普ProLiant BL495c突破虛擬機托管性能瓶頸[N];電腦商報;2008年

9 宋家雨;別拿虛擬機不當固定資產(chǎn)[N];網(wǎng)絡世界;2008年

10 計算機世界實驗室;虛擬化 企業(yè)發(fā)展的方向[N];計算機世界;2008年

中國博士學位論文全文數(shù)據(jù)庫 前9條

1 杜雨陽;虛擬機狀態(tài)遷移和相變存儲磨損均衡方法研究[D];清華大學;2011年

2 趙佳;虛擬機動態(tài)遷移的關鍵問題研究[D];吉林大學;2013年

3 陳華才;虛擬化環(huán)境中計算效能優(yōu)化研究[D];華中科技大學;2011年

4 唐遇星;面向動態(tài)二進制翻譯的動態(tài)優(yōu)化和微處理器體系結構支撐技術研究[D];國防科學技術大學;2005年

5 陳海波;云計算平臺可信性增強技術的研究[D];復旦大學;2008年

6 劉云新;面向新一代移動計算平臺的系統(tǒng)虛擬化研究與應用[D];上海交通大學;2011年

7 馮振乾;云計算數(shù)據(jù)中心的網(wǎng)絡帶寬隔離技術研究[D];國防科學技術大學;2012年

8 胡光;硬Java實時嵌入式平臺及其關鍵技術研究[D];復旦大學;2012年

9 陳銳忠;非對稱多核處理器的若干調(diào)度問題研究[D];華南理工大學;2013年

中國碩士學位論文全文數(shù)據(jù)庫 前10條

1 葉海波;SMART-VMM：基于VT-x的虛擬機監(jiān)控器設計與實現(xiàn)[D];浙江大學;2011年

2 金新寶;嵌入式Java虛擬機的研究與實踐[D];電子科技大學;2005年

3 李勇;適用于高性能計算的虛擬機計算資源管理系統(tǒng)[D];華中科技大學;2008年

4 樂偉;云計算環(huán)境下虛擬機資源分配及部署策略研究[D];云南大學;2012年

5 歐陽晟;云環(huán)境中虛擬機遷移策略的研究[D];中南大學;2012年

6 李小偉;跨域虛擬機加密通信技術方案設計與實現(xiàn)[D];北京郵電大學;2013年

7 Korir Sammy（克瑞）;云計算數(shù)據(jù)中心中節(jié)能安全的虛擬機實時遷移研究[D];中南大學;2012年

8 李進超;虛擬機動態(tài)資源分配及放置算法研究[D];復旦大學;2012年

9 馮偉;多目標優(yōu)化的虛擬機調(diào)度模型與關鍵算法研究[D];復旦大學;2012年

10 楊斌;云計算中虛擬機遷移的研究[D];北京郵電大學;2013年

本文編號：2143716