www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

當前位置:首頁 > 嵌入式 > 嵌入式硬件
[導讀]本文基于FORTH語言,以自主構(gòu)建的JLPFORTH虛擬平臺為例,詳細闡述FORTH虛擬機的實現(xiàn)原理和核心實現(xiàn)方法,模擬和實現(xiàn)了通用的交互式計算機結(jié)構(gòu),實現(xiàn)了真實計算機的典型工作流程,并且一改過去FORTH代碼和數(shù)據(jù)混合存儲的方式,在內(nèi)存的存儲上以分段的方式將內(nèi)存分為CS、VS、DS、SS四個段,分別存儲指令和數(shù)據(jù)。

1.引言

虛擬機最初是美國計算機科學家波佩克(Popek)與戈德堡(Gerald)在虛擬化需求中給出了定義,專指有效的、孤立的真實計算機的副本,現(xiàn)在則指可像真實計算機一樣運行程序的軟件實現(xiàn),包括跟任何真實計算機無關(guān)的虛擬機。根據(jù)運用和與機器的相關(guān)性可分為系統(tǒng)虛擬機和程序虛擬機,一個提供了完整的操作系統(tǒng),另一個則以運行單個計算機程序為主。


在嵌入式應用領(lǐng)域,嵌入式系統(tǒng)相關(guān)的CPU芯片和微計算機硬件系統(tǒng)種類繁多,并且不斷推陳出新,甚至多核處理器已被普遍采用。但是在新平臺上,難以針對每一種芯片或平臺制定一種計算機語言來編程。解決的方法一是可采用公共計算機語言,用不同的編譯器來生成機器碼,但該方法需要具有該語言的編譯器,在新平臺上往往難以具備。另一種方法即建立一個虛擬機,然后用一個計算機語言,用一個解釋器來解釋執(zhí)行。采用該方法,難點在于嵌入式虛擬機的構(gòu)建,要能夠適應多種環(huán)境、快速構(gòu)建、可擴展。


FORTH是一種與眾不同的計算機程序設(shè)計語言。它具有極強的擴展性,通過字的定義,可實現(xiàn)不斷堆疊和擴展。同時,它又具有極好的交互性,指令可解釋執(zhí)行,這就為應用的調(diào)試帶來了極大的便捷。本文基于FORTH語言,以自主構(gòu)建的JLPFORTH虛擬平臺為例,詳細闡述FORTH虛擬機的實現(xiàn)原理和核心實現(xiàn)方法,模擬和實現(xiàn)了通用的交互式計算機結(jié)構(gòu),實現(xiàn)了真實計算機的典型工作流程[4],并且一改過去FORTH代碼和數(shù)據(jù)混合存儲的方式,在內(nèi)存的存儲上以分段的方式將內(nèi)存分為CS、VS、DS、SS四個段,分別存儲指令和數(shù)據(jù),這樣,就實現(xiàn)了系統(tǒng)指令和用戶數(shù)據(jù)的分離,有效地提高了代碼和系統(tǒng)的安全性,并且調(diào)試方便、擴展性強,尤其適合應用于對安全性、兼容性、移植性、擴展性、交互性要求高的嵌入式系統(tǒng)領(lǐng)域。

2.FORTH虛擬機實現(xiàn)原理


真實計算機的基本工作原理是存儲和控制。計算機在控制器的指揮下,取出預先存儲的指令序列(即程序)和數(shù)據(jù),通過控制器譯碼,按指令的要求,取出數(shù)據(jù)完成運算,再把結(jié)果重新存儲起來,如此循環(huán),直至完成全部指令。對真實計算機來說,這個過程依托中央處理器CPU來實現(xiàn),CPU包括運算器、控制器和寄存器。如果描述CPU核心工作過程,主要包括以下步驟:


(1)提取程序計數(shù)器值,該值指向的地址即指令地址;


(2)從該地址取出指令;


(3)程序計數(shù)器增加指令長度,即指向下一條指令地址;


(4)解碼執(zhí)行指令;


(5)返回結(jié)果。


由于FORTH虛擬機是工作在真實計算機上的,因此要實現(xiàn)FORTH虛擬機必須用對應關(guān)系依托真實計算機的代碼來實現(xiàn)這個核心過程。


在FORTH虛擬機中,用核心算法--NEXT模擬了這個過程,將虛擬機指令和真實計算機指令實現(xiàn)對應,通過建立字典表,設(shè)置地址跳轉(zhuǎn),以串線碼的方式將虛擬機命令字和直接機器指令實現(xiàn)對應,依托真實計算機指令完成了CPU的處理過程。如圖1所示。


具體過程是:在FORTH定義字時創(chuàng)建鏈結(jié)構(gòu)的字典表,在其中存儲各個字的名稱、長度、狀態(tài)、指令碼以及鏈接指針。例如定義FORTH字S:S DUP *;在字典表存放了各個FORTH高級字的名稱和代碼執(zhí)行地址,其中也有S字的定義,在S字的代碼場中存有S字的代碼執(zhí)行地址,該代碼執(zhí)行地址與code所描述的直接機器執(zhí)行代碼相對應,構(gòu)成間接串線編碼。當執(zhí)行該指令時,首先查找字典表,找到S定義后,取出其WPF指令碼中存放的地址,然后跳轉(zhuǎn)到代碼場該地址中,由于是FORTH高級字定義,所以首先執(zhí)行“:”機器碼將程序計數(shù)器所記錄的下一條指令返回地址壓入棧,然后跳轉(zhuǎn)到參數(shù)場地址依序執(zhí)行,直到最后的“;”返回指令執(zhí)行后,再將原先存入棧的返回地址彈出,這樣即完成一條指令的執(zhí)行。其中,代碼場和參數(shù)場分別存儲指令和參數(shù)。以下以JLP FORTH虛擬機為例,詳細描述其字典表、代碼場、參數(shù)場的定義、虛擬機存儲和指針的分配,以及核心算法。

3.指令的定義和存儲


FORTH虛擬計算機采用該虛擬指令的存儲地址來表示該指令,稱為“地址碼”。虛擬計算機的每個指令用名稱(例如+、-、*)來表示,稱為“字(Word)”。FORTH虛擬計算機的指令包括“復合字”和“基本字”?;咀忠卜Q為“低級字”,由真實計算機機器碼和數(shù)據(jù)組成的,低級字組合可構(gòu)成“復合字”,所以,“復合字”也稱為“高級字”。


高級字和低級字都可通過定義擴展。擴展高級字用“:”冒號定義,通過高級字定義用已有的指令形成新的指令。格式如下:


:名字 … leave … ;其中執(zhí)行l(wèi)eave指令可以跳出該FORTH字的執(zhí)行,忽略掉其后的指令。擴展低級字則用機器碼定義,格式如下:


CODE名字 … … NEXT, END-CODE其中NEXT,指令可以讓計算機執(zhí)行下一條虛擬機指令。


對于真實計算機,用編譯器生成的指令碼序列中不需要保留指令名稱。FORTH虛擬計算機不同,由于需要虛擬機執(zhí)行和構(gòu)造新的虛擬機指令,因此在虛擬計算機中要保留FORTH字的名稱,用于存儲FORTH字的存儲空間就是“字典表”。在JLP FORTH虛擬平臺中,字典表結(jié)構(gòu)如表1,在圖1中也有標注。


WPF里存儲的指令碼即FORTH字在存儲空間的地址。由于允許FORTH字的名稱長度不一樣,因此采用鏈表結(jié)構(gòu)可有效地存儲它們,在LPF中即存放了下一個字的定義地址。


代碼場和參數(shù)場用于共同存儲FORTH字,如表2。


其中CFA存放實現(xiàn)虛擬機功能的CPU機器碼開始地址。PFA依次存放組成它的虛擬機指令。對于基本字PFA的內(nèi)容不一樣。對于一個常數(shù)基本字,PFA就直接存放這個常數(shù)。對于一個變量基本字,PFA就存放數(shù)據(jù)段中這個變量的地址[6]。

4.內(nèi)存和指針分配


以往FORTH并未將代碼和數(shù)據(jù)分開,在嵌入式應用中,往往指令和程序相對固定,而代碼和數(shù)據(jù)混合致使調(diào)試不方便,同時在系統(tǒng)安全上也帶來問題。在JLP FORTH虛擬機上,將內(nèi)存分為代碼段CS、代碼空間VS、數(shù)據(jù)段DS、系統(tǒng)段SS四個部分。


(1)代碼段CS:存放真實計算機的機器指令、內(nèi)存分配信息以及與硬件有關(guān)的系統(tǒng)數(shù)據(jù)。


(2)“代碼”空間VS:用來存放虛擬計算機的指令和字典。


(3)數(shù)據(jù)段DS:用來存放用戶數(shù)據(jù)和虛擬機的堆棧等數(shù)據(jù)。


(4)系統(tǒng)段SS:用來存放系統(tǒng)堆棧和多任務系統(tǒng)數(shù)據(jù)表等,達到分離系統(tǒng)任務和用戶,保證系統(tǒng)安全的目的。


采用這種存放方式,就可將CS和VS放在FLASH中,將DS和SS放在RAM,如此實現(xiàn)程序和數(shù)據(jù)的分離。這種新的虛擬機架構(gòu)不僅可以適合嵌入式系統(tǒng),也適合PC結(jié)構(gòu)系統(tǒng),而且更有利于內(nèi)存保護的實現(xiàn)。


真實計算機主要依靠寄存器來實現(xiàn)加減乘除等運算。例如將AX和BX寄存器的內(nèi)容相加結(jié)果放到AX中,因此寄存器的數(shù)量是衡量CPU運算能力的一個指標。FORTH虛擬計算機則采用直接面向運算過程的方法,采用堆棧的方式來實現(xiàn)簡單的運算,例如取出堆棧頂上的兩個數(shù)相加后,結(jié)果放回堆棧頂。對于復雜運算,直接用復合字或者機器碼寫出面向數(shù)據(jù)的算法,比如對矢量和矩陣的運算等。由于沒有寄存器的概念,只有表示系統(tǒng)工作狀態(tài)的各種系統(tǒng)變量以及實現(xiàn)系統(tǒng)運行的各種指針。為了提高虛擬計算機的執(zhí)行效率,用間接尋址的CPU寄存器來實現(xiàn)。對應關(guān)系如下(注:箭頭為在X86計算機中對應的寄存器)。


通過這些指針的定義,F(xiàn)ORTH虛擬機可實現(xiàn)各種各樣復雜的算法。

5.NEXT核心算法與函數(shù)


FORTH虛擬機的核心算法--NEXT,它完成了指令的控制執(zhí)行過程。如借用以上描述,用形式化的方法表示為:


由于FORTH虛擬機是工作在真實計算機上,因此要實現(xiàn)FORTH虛擬機必須用真實計算機的代碼來實現(xiàn)這個核心過程,以X86匯編語言為例,其實現(xiàn)FORTH虛擬機核心過程的代碼為(16位地址空間):


ES:BX,SI MOV


SI,#2 ADD


ES:[BX]JMP


從代碼可以看出,它非常象一個子過程或函數(shù)的調(diào)用。在真實計算機中,函數(shù)是非常常用的一個功能,是若干指令的有序集合。


在FORTH虛擬計算機中高級字就可認為是“函數(shù)”。表3是真實計算機和FORTH虛擬計算機在函數(shù)調(diào)用中的執(zhí)行過程對比。



6.結(jié)論


對于嵌入式應用來說,一個可擴展性好、可移植性好、可裁剪、實現(xiàn)快速,并且便于調(diào)試的嵌入式虛擬機,能給嵌入式應用的開發(fā)帶來極大的方便?;贔ORTH構(gòu)筑的虛擬機,引入字典表完成指令和機器代碼的對應,并用字定義來完成指令的擴展,使系統(tǒng)的結(jié)構(gòu)具有了極大的靈活性和擴展性,僅僅通過對基本字的堆疊、組合就可完成高級字的層層定義,實現(xiàn)極其復雜的系統(tǒng)。在JLP FORTH中存儲分段使得程序指令和數(shù)據(jù)能相對獨立,有效地增強了系統(tǒng)的安全性。這些設(shè)計思路使得在其上構(gòu)建的FORTH虛擬機具有了代碼簡單、調(diào)試方便、安全性高、擴展性強等特點,特別適合應用于嵌入式系統(tǒng)中。

本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫毥谦F公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關(guān)鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動 BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務能7×24不間斷運行,同時企業(yè)卻面臨越來越多業(yè)務中斷的風險,如企業(yè)系統(tǒng)復雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會上,華為常務董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機 衛(wèi)星通信

要點: 有效應對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅持高質(zhì)量發(fā)展策略,塑強核心競爭優(yōu)勢...

關(guān)鍵字: 通信 BSP 電信運營商 數(shù)字經(jīng)濟

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學會聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會上宣布正式成立。 活動現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會上,軟通動力信息技術(shù)(集團)股份有限公司(以下簡稱"軟通動力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉