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

【參考文獻(xiàn)】

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

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

2 丁博;王懷民;史殿習(xí);李驍;;一種支持軟件可信演化的構(gòu)件模型[J];軟件學(xué)報(bào);2011年01期

【共引文獻(xiàn)】

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

1 秦園園;;淺談可信軟件體系結(jié)構(gòu)研究[J];電腦知識(shí)與技術(shù);2011年21期

2 王建冬;劉洋;王繼民;;國(guó)內(nèi)云計(jì)算研究領(lǐng)域核心作者群知識(shí)結(jié)構(gòu)及演化路徑分析[J];北京大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年05期

3 馬華;張紅宇;;結(jié)合可信度模糊評(píng)價(jià)與動(dòng)態(tài)聚類(lèi)的構(gòu)件選擇[J];計(jì)算機(jī)工程與應(yīng)用;2011年21期

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

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

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

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

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

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

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

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

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

3 劉毅;基于客戶(hù)滿(mǎn)意度的信息系統(tǒng)（服務(wù)）設(shè)計(jì)[D];天津大學(xué);2012年

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

【二級(jí)參考文獻(xiàn)】

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

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

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

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

4 呂建;馬曉星;陶先平;曹春;黃宇;余萍;;面向網(wǎng)構(gòu)軟件的環(huán)境驅(qū)動(dòng)模型與支撐技術(shù)研究[J];中國(guó)科學(xué)(E輯:信息科學(xué));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 王曉鵬,王千祥,梅宏;一種面向構(gòu)件化軟件的在線演化方法[J];計(jì)算機(jī)學(xué)報(bào);2005年11期

9 梅宏;申峻嶸;;軟件體系結(jié)構(gòu)研究進(jìn)展[J];軟件學(xué)報(bào);2006年06期

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

1 丁博;史殿習(xí);王懷民;;一種面向普適計(jì)算的適應(yīng)性軟件體系結(jié)構(gòu)[A];第四屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2008年

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

【相似文獻(xiàn)】

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

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

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

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

4 湯聲潮,張林,李春元;計(jì)算機(jī)系統(tǒng)維護(hù)實(shí)驗(yàn)教學(xué)的改革[J];內(nèi)江師范學(xué)院學(xué)報(bào);2005年04期

5 黃弋簡(jiǎn);高曉桐;陳榕;陳海波;;基于自動(dòng)測(cè)試的虛擬機(jī)磁盤(pán)I/O服務(wù)質(zhì)量評(píng)估框架[J];計(jì)算機(jī)應(yīng)用與軟件;2011年03期

6 馬漢達(dá);;計(jì)算機(jī)維護(hù)技術(shù)課程實(shí)踐教學(xué)改革[J];實(shí)驗(yàn)科學(xué)與技術(shù);2008年05期

7 汪中才;;基于VMware的計(jì)算機(jī)組裝課程實(shí)訓(xùn)教學(xué)設(shè)計(jì)[J];太原城市職業(yè)技術(shù)學(xué)院學(xué)報(bào);2009年05期

8 俞文洋;;“硬盤(pán)主引導(dǎo)扇區(qū)的修復(fù)”課程實(shí)驗(yàn)設(shè)計(jì)[J];電腦編程技巧與維護(hù);2010年12期

9 馬一楠;;虛擬化技術(shù)在并行計(jì)算機(jī)中的應(yīng)用探討[J];價(jià)值工程;2010年24期

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

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

1 郝甲東;張?jiān)骑w;魏冰;;PlanetLab綜述[A];中國(guó)通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)2009年年會(huì)論文集（上冊(cè)）[C];2009年

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

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

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

5 鞏榮芬;儲(chǔ)茂祥;吳慶洪;;Java平臺(tái)單片機(jī)系統(tǒng)實(shí)現(xiàn)[A];2005中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集（下）[C];2005年

6 張蕭;祝明發(fā);肖利民;;分布式I/O資源虛擬化技術(shù)的研究[A];2008年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集(下冊(cè))[C];2008年

7 崔云飛;劉東;李昀;;云計(jì)算:一種新型服務(wù)計(jì)算模式[A];2008年中國(guó)高校通信類(lèi)院系學(xué)術(shù)研討會(huì)論文集（下冊(cè)）[C];2009年

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

9 龍舜;鐘衍凡;;一個(gè)基于實(shí)例學(xué)習(xí)的并行負(fù)荷分配方法[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

1 特約作者：聶陽(yáng)德 鐘達(dá)文;體驗(yàn)虛擬機(jī)的神奇魅力(第B04版)[N];電腦報(bào);2002年

2 江蘇 王志軍;用好虛擬機(jī)VMware[N];電腦報(bào);2002年

3 趙尉辰;想裝幾個(gè)系統(tǒng)，就裝幾個(gè)系統(tǒng)[N];中國(guó)計(jì)算機(jī)報(bào);2004年

4 特約作者 麗華;不花錢(qián)，，用上雙硬盤(pán)[N];電腦報(bào);2002年

5 丁士明;聯(lián)想虛擬化解決方案[N];中國(guó)計(jì)算機(jī)報(bào);2007年

6 引火蟲(chóng);VMware功能巧增_7[N];中國(guó)電腦教育報(bào);2005年

7 特約作者 麗華;不用數(shù)碼相機(jī)也截開(kāi)機(jī)圖[N];電腦報(bào);2002年

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

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

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

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

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

2 趙佳;虛擬機(jī)動(dòng)態(tài)遷移的關(guān)鍵問(wèn)題研究[D];吉林大學(xué);2013年

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

4 唐遇星;面向動(dòng)態(tài)二進(jìn)制翻譯的動(dòng)態(tài)優(yōu)化和微處理器體系結(jié)構(gòu)支撐技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

5 陳海波;云計(jì)算平臺(tái)可信性增強(qiáng)技術(shù)的研究[D];復(fù)旦大學(xué);2008年

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

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

8 胡光;硬Java實(shí)時(shí)嵌入式平臺(tái)及其關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2012年

9 陳銳忠;非對(duì)稱(chēng)多核處理器的若干調(diào)度問(wèn)題研究[D];華南理工大學(xué);2013年

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

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

2 金新寶;嵌入式Java虛擬機(jī)的研究與實(shí)踐[D];電子科技大學(xué);2005年

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

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

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

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

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

8 李進(jìn)超;虛擬機(jī)動(dòng)態(tài)資源分配及放置算法研究[D];復(fù)旦大學(xué);2012年

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

10 楊斌;云計(jì)算中虛擬機(jī)遷移的研究[D];北京郵電大學(xué);2013年

本文編號(hào)：2143716