資料介紹
1.引言
虛擬機最初是美國計算機科學家波佩克(Popek)與戈德堡(Gerald)在虛擬化需求中給出了定義,專指有效的、孤立的真實計算機的副本,現(xiàn)在則指可像真實計算機一樣運行程序的軟件實現(xiàn),包括跟任何真實計算機無關的虛擬機。根據(jù)運用和與機器的相關性可分為系統(tǒng)虛擬機和程序虛擬機,一個提供了完整的操作系統(tǒng),另一個則以運行單個計算機程序為主。
在嵌入式應用領域,嵌入式系統(tǒng)相關的CPU芯片和微計算機硬件系統(tǒng)種類繁多,并且不斷推陳出新,甚至多核處理器已被普遍采用。但是在新平臺上,難以針對每一種芯片或平臺制定一種計算機語言來編程。解決的方法一是可采用公共計算機語言,用不同的編譯器來生成機器碼,但該方法需要具有該語言的編譯器,在新平臺上往往難以具備。另一種方法即建立一個虛擬機,然后用一個計算機語言,用一個解釋器來解釋執(zhí)行。采用該方法,難點在于嵌入式虛擬機的構建,要能夠適應多種環(huán)境、快速構建、可擴展。
FORTH是一種與眾不同的計算機程序設計語言。它具有極強的擴展性,通過字的定義,可實現(xiàn)不斷堆疊和擴展。同時,它又具有極好的交互性,指令可解釋執(zhí)行,這就為應用的調試帶來了極大的便捷。本文基于FORTH語言,以自主構建的JLPFORTH虛擬平臺為例,詳細闡述FORTH虛擬機的實現(xiàn)原理和核心實現(xiàn)方法,模擬和實現(xiàn)了通用的交互式計算機結構,實現(xiàn)了真實計算機的典型工作流程[4],并且一改過去FORTH代碼和數(shù)據(jù)混合存儲的方式,在內存的存儲上以分段的方式將內存分為CS、VS、DS、SS四個段,分別存儲指令和數(shù)據(jù),這樣,就實現(xiàn)了系統(tǒng)指令和用戶數(shù)據(jù)的分離,有效地提高了代碼和系統(tǒng)的安全性,并且調試方便、擴展性強,尤其適合應用于對安全性、兼容性、移植性、擴展性、交互性要求高的嵌入式系統(tǒng)領域。
2.FORTH虛擬機實現(xiàn)原理
真實計算機的基本工作原理是存儲和控制。計算機在控制器的指揮下,取出預先存儲的指令序列(即程序)和數(shù)據(jù),通過控制器譯碼,按指令的要求,取出數(shù)據(jù)完成運算,再把結果重新存儲起來,如此循環(huán),直至完成全部指令。對真實計算機來說,這個過程依托中央處理器CPU來實現(xiàn),CPU包括運算器、控制器和寄存器。如果描述CPU核心工作過程,主要包括以下步驟:
(1)提取程序計數(shù)器值,該值指向的地址即指令地址;
(2)從該地址取出指令;
?。?)程序計數(shù)器增加指令長度,即指向下一條指令地址;
(4)解碼執(zhí)行指令;
(5)返回結果。
由于FORTH虛擬機是工作在真實計算機上的,因此要實現(xiàn)FORTH虛擬機必須用對應關系依托真實計算機的代碼來實現(xiàn)這個核心過程。
在FORTH虛擬機中,用核心算法--NEXT模擬了這個過程,將虛擬機指令和真實計算機指令實現(xiàn)對應,通過建立字典表,設置地址跳轉,以串線碼的方式將虛擬機命令字和直接機器指令實現(xiàn)對應,依托真實計算機指令完成了CPU的處理過程。如圖1所示。

具體過程是:在FORTH定義字時創(chuàng)建鏈結構的字典表,在其中存儲各個字的名稱、長度、狀態(tài)、指令碼以及鏈接指針。例如定義FORTH字S:S DUP *;在字典表存放了各個FORTH高級字的名稱和代碼執(zhí)行地址,其中也有S字的定義,在S字的代碼場中存有S字的代碼執(zhí)行地址,該代碼執(zhí)行地址與code所描述的直接機器執(zhí)行代碼相對應,構成間接串線編碼。當執(zhí)行該指令時,首先查找字典表,找到S定義后,取出其WPF指令碼中存放的地址,然后跳轉到代碼場該地址中,由于是FORTH高級字定義,所以首先執(zhí)行“:”機器碼將程序計數(shù)器所記錄的下一條指令返回地址壓入棧,然后跳轉到參數(shù)場地址依序執(zhí)行,直到最后的“;”返回指令執(zhí)行后,再將原先存入棧的返回地址彈出,這樣即完成一條指令的執(zhí)行。其中,代碼場和參數(shù)場分別存儲指令和參數(shù)。以下以JLP FORTH虛擬機為例,詳細描述其字典表、代碼場、參數(shù)場的定義、虛擬機存儲和指針的分配,以及核心算法。
3.指令的定義和存儲
FORTH虛擬計算機采用該虛擬指令的存儲地址來表示該指令,稱為“地址碼”。虛擬計算機的每個指令用名稱(例如+、-、*)來表示,稱為“字(Word)”。FORTH虛擬計算機的指令包括“復合字”和“基本字”?;咀忠卜Q為“低級字”,由真實計算機機器碼和數(shù)據(jù)組成的,低級字組合可構成“復合字”,所以,“復合字”也稱為“高級字”。
高級字和低級字都可通過定義擴展。擴展高級字用“:”冒號定義,通過高級字定義用已有的指令形成新的指令。格式如下:
?。好?… leave … ;其中執(zhí)行l(wèi)eave指令可以跳出該FORTH字的執(zhí)行,忽略掉其后的指令。擴展低級字則用機器碼定義,格式如下:
CODE名字 … … NEXT, END-CODE其中NEXT,指令可以讓計算機執(zhí)行下一條虛擬機指令。
對于真實計算機,用編譯器生成的指令碼序列中不需要保留指令名稱。FORTH虛擬計算機不同,由于需要虛擬機執(zhí)行和構造新的虛擬機指令,因此在虛擬計算機中要保留FORTH字的名稱,用于存儲FORTH字的存儲空間就是“字典表”。在JLP FORTH虛擬平臺中,字典表結構如表1,在圖1中也有標注。

WPF里存儲的指令碼即FORTH字在存儲空間的地址。由于允許FORTH字的名稱長度不一樣,因此采用鏈表結構可有效地存儲它們,在LPF中即存放了下一個字的定義地址。
虛擬機最初是美國計算機科學家波佩克(Popek)與戈德堡(Gerald)在虛擬化需求中給出了定義,專指有效的、孤立的真實計算機的副本,現(xiàn)在則指可像真實計算機一樣運行程序的軟件實現(xiàn),包括跟任何真實計算機無關的虛擬機。根據(jù)運用和與機器的相關性可分為系統(tǒng)虛擬機和程序虛擬機,一個提供了完整的操作系統(tǒng),另一個則以運行單個計算機程序為主。
在嵌入式應用領域,嵌入式系統(tǒng)相關的CPU芯片和微計算機硬件系統(tǒng)種類繁多,并且不斷推陳出新,甚至多核處理器已被普遍采用。但是在新平臺上,難以針對每一種芯片或平臺制定一種計算機語言來編程。解決的方法一是可采用公共計算機語言,用不同的編譯器來生成機器碼,但該方法需要具有該語言的編譯器,在新平臺上往往難以具備。另一種方法即建立一個虛擬機,然后用一個計算機語言,用一個解釋器來解釋執(zhí)行。采用該方法,難點在于嵌入式虛擬機的構建,要能夠適應多種環(huán)境、快速構建、可擴展。
FORTH是一種與眾不同的計算機程序設計語言。它具有極強的擴展性,通過字的定義,可實現(xiàn)不斷堆疊和擴展。同時,它又具有極好的交互性,指令可解釋執(zhí)行,這就為應用的調試帶來了極大的便捷。本文基于FORTH語言,以自主構建的JLPFORTH虛擬平臺為例,詳細闡述FORTH虛擬機的實現(xiàn)原理和核心實現(xiàn)方法,模擬和實現(xiàn)了通用的交互式計算機結構,實現(xiàn)了真實計算機的典型工作流程[4],并且一改過去FORTH代碼和數(shù)據(jù)混合存儲的方式,在內存的存儲上以分段的方式將內存分為CS、VS、DS、SS四個段,分別存儲指令和數(shù)據(jù),這樣,就實現(xiàn)了系統(tǒng)指令和用戶數(shù)據(jù)的分離,有效地提高了代碼和系統(tǒng)的安全性,并且調試方便、擴展性強,尤其適合應用于對安全性、兼容性、移植性、擴展性、交互性要求高的嵌入式系統(tǒng)領域。
2.FORTH虛擬機實現(xiàn)原理
真實計算機的基本工作原理是存儲和控制。計算機在控制器的指揮下,取出預先存儲的指令序列(即程序)和數(shù)據(jù),通過控制器譯碼,按指令的要求,取出數(shù)據(jù)完成運算,再把結果重新存儲起來,如此循環(huán),直至完成全部指令。對真實計算機來說,這個過程依托中央處理器CPU來實現(xiàn),CPU包括運算器、控制器和寄存器。如果描述CPU核心工作過程,主要包括以下步驟:
(1)提取程序計數(shù)器值,該值指向的地址即指令地址;
(2)從該地址取出指令;
?。?)程序計數(shù)器增加指令長度,即指向下一條指令地址;
(4)解碼執(zhí)行指令;
(5)返回結果。
由于FORTH虛擬機是工作在真實計算機上的,因此要實現(xiàn)FORTH虛擬機必須用對應關系依托真實計算機的代碼來實現(xiàn)這個核心過程。
在FORTH虛擬機中,用核心算法--NEXT模擬了這個過程,將虛擬機指令和真實計算機指令實現(xiàn)對應,通過建立字典表,設置地址跳轉,以串線碼的方式將虛擬機命令字和直接機器指令實現(xiàn)對應,依托真實計算機指令完成了CPU的處理過程。如圖1所示。

具體過程是:在FORTH定義字時創(chuàng)建鏈結構的字典表,在其中存儲各個字的名稱、長度、狀態(tài)、指令碼以及鏈接指針。例如定義FORTH字S:S DUP *;在字典表存放了各個FORTH高級字的名稱和代碼執(zhí)行地址,其中也有S字的定義,在S字的代碼場中存有S字的代碼執(zhí)行地址,該代碼執(zhí)行地址與code所描述的直接機器執(zhí)行代碼相對應,構成間接串線編碼。當執(zhí)行該指令時,首先查找字典表,找到S定義后,取出其WPF指令碼中存放的地址,然后跳轉到代碼場該地址中,由于是FORTH高級字定義,所以首先執(zhí)行“:”機器碼將程序計數(shù)器所記錄的下一條指令返回地址壓入棧,然后跳轉到參數(shù)場地址依序執(zhí)行,直到最后的“;”返回指令執(zhí)行后,再將原先存入棧的返回地址彈出,這樣即完成一條指令的執(zhí)行。其中,代碼場和參數(shù)場分別存儲指令和參數(shù)。以下以JLP FORTH虛擬機為例,詳細描述其字典表、代碼場、參數(shù)場的定義、虛擬機存儲和指針的分配,以及核心算法。
3.指令的定義和存儲
FORTH虛擬計算機采用該虛擬指令的存儲地址來表示該指令,稱為“地址碼”。虛擬計算機的每個指令用名稱(例如+、-、*)來表示,稱為“字(Word)”。FORTH虛擬計算機的指令包括“復合字”和“基本字”?;咀忠卜Q為“低級字”,由真實計算機機器碼和數(shù)據(jù)組成的,低級字組合可構成“復合字”,所以,“復合字”也稱為“高級字”。
高級字和低級字都可通過定義擴展。擴展高級字用“:”冒號定義,通過高級字定義用已有的指令形成新的指令。格式如下:
?。好?… leave … ;其中執(zhí)行l(wèi)eave指令可以跳出該FORTH字的執(zhí)行,忽略掉其后的指令。擴展低級字則用機器碼定義,格式如下:
CODE名字 … … NEXT, END-CODE其中NEXT,指令可以讓計算機執(zhí)行下一條虛擬機指令。
對于真實計算機,用編譯器生成的指令碼序列中不需要保留指令名稱。FORTH虛擬計算機不同,由于需要虛擬機執(zhí)行和構造新的虛擬機指令,因此在虛擬計算機中要保留FORTH字的名稱,用于存儲FORTH字的存儲空間就是“字典表”。在JLP FORTH虛擬平臺中,字典表結構如表1,在圖1中也有標注。

WPF里存儲的指令碼即FORTH字在存儲空間的地址。由于允許FORTH字的名稱長度不一樣,因此采用鏈表結構可有效地存儲它們,在LPF中即存放了下一個字的定義地址。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 虛擬機的設計與實現(xiàn):C\C++ 0次下載
- Linux虛擬機之tcpdump命令操作詳解 23次下載
- 基于自適應的虛擬機進程實時監(jiān)控系統(tǒng) 19次下載
- 基于任務映射的云數(shù)據(jù)中心虛擬機選擇策略 17次下載
- 如何將VMware虛擬機隨開機自啟
- Dalvik虛擬機進程模型分析 10次下載
- 嵌入式Forth虛擬機架構的多任務調度算法設計與實現(xiàn) 0次下載
- 基于虛擬機負載高峰特征的虛擬機放置策略 0次下載
- 深入JAVA虛擬機 1次下載
- Java虛擬機基礎 0次下載
- 基于虛擬機技術的DSC仿真系統(tǒng)設計
- 虛擬機及虛擬化技術
- 多線程ARM虛擬機的設計與實現(xiàn)
- 微軟java虛擬機下載
- 基于平臺抽象層的進程虛擬機設計與實現(xiàn)
- 什么是虛擬機?什么是虛擬化? 1118次閱讀
- 什么是虛擬機?虛擬機真的那么好用嗎? 463次閱讀
- 什么是虛擬機?使用C代碼實現(xiàn)一個虛擬機 1822次閱讀
- 從Java入手如何了解虛擬機(VM) 989次閱讀
- KVM虛擬機管理和基本使用 1327次閱讀
- 一文帶你了解虛擬機 2913次閱讀
- 虛擬機:Hadoop集群的配置 2811次閱讀
- 虛擬機:Hadoop集群的搭建 3218次閱讀
- 虛擬機:為icescrum 配置MySQL 2158次閱讀
- 虛擬機:Ubuntu的基本配置 3118次閱讀
- 虛擬機:Linux如何測試 DBUS Daemon 4368次閱讀
- 虛擬機:Ubuntu配置gitweb的步驟 2640次閱讀
- 虛擬機:Ubuntu的Thinkpad電池設置 2548次閱讀
- 虛擬機:QEMU虛擬機和主機無線網(wǎng)絡通訊設置 5476次閱讀
- Linux容器和虛擬機之間的區(qū)別差異分析 9062次閱讀
下載排行
本周
- 1索尼333ESL電路圖資料
- 10.11 MB | 2次下載 | 免費
- 2TINA-TI 模擬電路設計、仿真和分析軟件中文教程
- 3.83 MB | 0次下載 | 5 積分
- 3SS6548D40V 直流有刷電機驅動芯片中文資料
- 1.55 MB | 次下載 | 1 積分
- 4SS6235M 4A 33V性價比超高電機驅動芯片中文資料
- 1.26 MB | 次下載 | 免費
- 5FP7195-中文應用說明書
- 0.93 MB | 次下載 | 免費
- 6VSA101-G250T01-I 電壓傳感器產(chǎn)品使用手冊
- 0.72 MB | 次下載 | 免費
- 7FS4056E系列單節(jié)線線充電IC
- 2.41 MB | 次下載 | 免費
- 8FS5281E(5V USB輸入雙節(jié)鋰電池串聯(lián)應用升壓充電管理IC)
- 3.30 MB | 次下載 | 免費
本月
- 148V到5KW無橋LLC雙向逆變器的電路原理圖免費下載
- 0.26 MB | 157次下載 | 10 積分
- 22KW逆變側功率管的損耗如何進行計算詳細公式免費下載
- 0.40 MB | 33次下載 | 2 積分
- 3高功率密度碳化硅MOSFET軟開關三相逆變器損耗分析
- 2.27 MB | 33次下載 | 5 積分
- 4STM32F10x參考手冊資料
- 13.64 MB | 12次下載 | 1 積分
- 5光伏并網(wǎng)逆變器原理
- 7.31 MB | 7次下載 | 2 積分
- 6SW5099規(guī)格書
- 1.37 MB | 6次下載 | 1 積分
- 7星火6J3-1交直流二波段收音機電路圖資料
- 1.86 MB | 6次下載 | 免費
- 8S7-200 可編程序控制器系統(tǒng)手冊
- 12.81 MB | 5次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935134次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191422次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81600次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73818次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
評論