×

FORTH虚拟机实现原理分析

消耗积分:1 | 格式:rar | 大小:0.6 MB | 2017-10-17

分享资料个

　1.引言
　　虚拟机最初是美国计算机科学家波佩克（Popek）与戈德堡（Gerald）在虚拟化需求中给出了定义，专指有效的、孤立的真实计算机的副本，现在则指可像真实计算机一样运行程序的软件实现，包括跟任何真实计算机无关的虚拟机。根据运用和与机器的相关性可分为系统虚拟机和程序虚拟机，一个提供了完整的操作系统，另一个则以运行单个计算机程序为主。
　　在嵌入式应用领域，嵌入式系统相关的CPU芯片和微计算机硬件系统种类繁多，并且不断推陈出新，甚至多核处理器已被普遍采用。但是在新平台上，难以针对每一种芯片或平台制定一种计算机语言来编程。解决的方法一是可采用公共计算机语言，用不同的编译器来生成机器码，但该方法需要具有该语言的编译器，在新平台上往往难以具备。另一种方法即建立一个虚拟机，然后用一个计算机语言，用一个解释器来解释执行。采用该方法，难点在于嵌入式虚拟机的构建，要能够适应多种环境、快速构建、可扩展。
　　FORTH是一种与众不同的计算机程序设计语言。它具有极强的扩展性，通过字的定义，可实现不断堆叠和扩展。同时，它又具有极好的交互性，指令可解释执行，这就为应用的调试带来了极大的便捷。本文基于FORTH语言，以自主构建的JLPFORTH虚拟平台为例，详细阐述FORTH虚拟机的实现原理和核心实现方法，模拟和实现了通用的交互式计算机结构，实现了真实计算机的典型工作流程［4］，并且一改过去FORTH代码和数据混合存储的方式，在内存的存储上以分段的方式将内存分为CS、VS、DS、SS四个段，分别存储指令和数据，这样，就实现了系统指令和用户数据的分离，有效地提高了代码和系统的安全性，并且调试方便、扩展性强，尤其适合应用于对安全性、兼容性、移植性、扩展性、交互性要求高的嵌入式系统领域。
　　2.FORTH虚拟机实现原理
　　真实计算机的基本工作原理是存储和控制。计算机在控制器的指挥下，取出预先存储的指令序列（即程序）和数据，通过控制器译码，按指令的要求，取出数据完成运算，再把结果重新存储起来，如此循环，直至完成全部指令。对真实计算机来说，这个过程依托中央处理器CPU来实现，CPU包括运算器、控制器和寄存器。如果描述CPU核心工作过程，主要包括以下步骤：
　　（1）提取程序计数器值，该值指向的地址即指令地址；
　　（2）从该地址取出指令；
　　（3）程序计数器增加指令长度，即指向下一条指令地址；
　　（4）解码执行指令；
　　（5）返回结果。
　　由于FORTH虚拟机是工作在真实计算机上的，因此要实现FORTH虚拟机必须用对应关系依托真实计算机的代码来实现这个核心过程。
　　在FORTH虚拟机中，用核心算法--NEXT模拟了这个过程，将虚拟机指令和真实计算机指令实现对应，通过建立字典表，设置地址跳转，以串线码的方式将虚拟机命令字和直接机器指令实现对应，依托真实计算机指令完成了CPU的处理过程。如图1所示。
　　FORTH虚拟机实现原理分析
　　具体过程是：在FORTH定义字时创建链结构的字典表，在其中存储各个字的名称、长度、状态、指令码以及链接指针。例如定义FORTH字S:S DUP *;在字典表存放了各个FORTH高级字的名称和代码执行地址，其中也有S字的定义，在S字的代码场中存有S字的代码执行地址，该代码执行地址与code所描述的直接机器执行代码相对应，构成间接串线编码。当执行该指令时，首先查找字典表，找到S定义后，取出其WPF指令码中存放的地址，然后跳转到代码场该地址中，由于是FORTH高级字定义，所以首先执行“：”机器码将程序计数器所记录的下一条指令返回地址压入栈，然后跳转到参数场地址依序执行，直到最后的“;”返回指令执行后，再将原先存入栈的返回地址弹出，这样即完成一条指令的执行。其中，代码场和参数场分别存储指令和参数。以下以JLP FORTH虚拟机为例，详细描述其字典表、代码场、参数场的定义、虚拟机存储和指针的分配，以及核心算法。
　　3.指令的定义和存储
　　FORTH虚拟计算机采用该虚拟指令的存储地址来表示该指令，称为“地址码”。虚拟计算机的每个指令用名称（例如+、-、*）来表示，称为“字（Word）”。FORTH虚拟计算机的指令包括“复合字”和“基本字”。基本字也称为“低级字”，由真实计算机机器码和数据组成的，低级字组合可构成“复合字”，所以，“复合字”也称为“高级字”。
　　高级字和低级字都可通过定义扩展。扩展高级字用“：”冒号定义，通过高级字定义用已有的指令形成新的指令。格式如下：
　　：名字 … leave … ;其中执行leave指令可以跳出该FORTH字的执行，忽略掉其后的指令。扩展低级字则用机器码定义，格式如下：
　　CODE名字 … … NEXT， END-CODE其中NEXT，指令可以让计算机执行下一条虚拟机指令。
　　对于真实计算机，用编译器生成的指令码序列中不需要保留指令名称。FORTH虚拟计算机不同，由于需要虚拟机执行和构造新的虚拟机指令，因此在虚拟计算机中要保留FORTH字的名称，用于存储FORTH字的存储空间就是“字典表”。在JLP FORTH虚拟平台中，字典表结构如表1，在图1中也有标注。
　　FORTH虚拟机实现原理分析
　　WPF里存储的指令码即FORTH字在存储空间的地址。由于允许FORTH字的名称长度不一样，因此采用链表结构可有效地存储它们，在LPF中即存放了下一个字的定义地址。
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !

'+ '

'+ '

'+ ''+ '
'+ ''+ ''+ '
'+ ''+ '' ); $.get('/article/vipdownload/aid/'+webid,function(data){ if(data.code ==5){ $(pop_this).attr('href',"/login/index.html"); return false } if(data.code == 2){ //跳转到VIP升级页面 window.location.href="//m.jibsdb.com/vip/index?aid=" + webid return false } //是会员 if (data.code > 0) { $('body').append(htmlSetNormalDownload); var getWidth=$("#poplayer").width(); $("#poplayer").css("margin-left","-"+getWidth/2+"px"); $('#tips').html(data.msg) $('.download_confirm').click(function(){ $('#dialog').remove(); }) } else { var down_url = $('#vipdownload').attr('data-url'); isBindAnalysisForm(pop_this, down_url, 1) } }); }); //是否开通VIP $.get('/article/vipdownload/aid/'+webid,function(data){ if(data.code == 2 || data.code ==5){ //跳转到VIP升级页面 $('#vipdownload>span').text("开通VIP 免费下载") return false }else{ // 待续费 if(data.code == 3) { vipExpiredInfo.ifVipExpired = true vipExpiredInfo.vipExpiredDate = data.data.endoftime } $('#vipdownload .icon-vip-tips').remove() $('#vipdownload>span').text("VIP免积分下载") } }); }).on("click",".download_cancel",function(){ $('#dialog').remove(); }) var setWeixinShare={};//定义默认的微信分享信息，页面如果要自定义分享，直接更改此变量即可 if(window.navigator.userAgent.toLowerCase().match(/MicroMessenger/i) == 'micromessenger'){ var d={ title:'FORTH虚拟机实现原理分析',//标题 desc:$('[name=description]').attr("content"), //描述 imgUrl:'https://'+location.host+'/static/images/ele-logo.png',// 分享图标,默认是logo link:'',//链接 type:'',// 分享类型,music、video或link，不填默认为link dataUrl:'',//如果type是music或video，则要提供数据链接，默认为空 success:'', // 用户确认分享后执行的回调函数 cancel:''// 用户取消分享后执行的回调函数 } setWeixinShare=$.extend(d,setWeixinShare); $.ajax({ url:"https://www.elecfans.com/app/wechat/index.php?s=Home/ShareConfig/index", data:"share_url="+encodeURIComponent(location.href)+"&format=jsonp&domain=m", type:'get', dataType:'jsonp', success:function(res){ if(res.status!="successed"){ return false; } $.getScript('https://res.wx.qq.com/open/js/jweixin-1.0.0.js',function(result,status){ if(status!="success"){ return false; } var getWxCfg=res.data; wx.config({ //debug: true, // 开启调试模式,调用的所有api的返回值会在客户端alert出来，若要查看传入的参数，可以在pc端打开，参数信息会通过log打出，仅在pc端时才会打印。 appId:getWxCfg.appId, // 必填，公众号的唯一标识 timestamp:getWxCfg.timestamp, // 必填，生成签名的时间戳 nonceStr:getWxCfg.nonceStr, // 必填，生成签名的随机串 signature:getWxCfg.signature,// 必填，签名，见附录1 jsApiList:['onMenuShareTimeline','onMenuShareAppMessage','onMenuShareQQ','onMenuShareWeibo','onMenuShareQZone'] // 必填，需要使用的JS接口列表，所有JS接口列表见附录2 }); wx.ready(function(){ //获取“分享到朋友圈”按钮点击状态及自定义分享内容接口 wx.onMenuShareTimeline({ title: setWeixinShare.title, // 分享标题 link: setWeixinShare.link, // 分享链接 imgUrl: setWeixinShare.imgUrl, // 分享图标 success: function () { setWeixinShare.success; // 用户确认分享后执行的回调函数 }, cancel: function () { setWeixinShare.cancel; // 用户取消分享后执行的回调函数 } }); //获取“分享给朋友”按钮点击状态及自定义分享内容接口 wx.onMenuShareAppMessage({ title: setWeixinShare.title, // 分享标题 desc: setWeixinShare.desc, // 分享描述 link: setWeixinShare.link, // 分享链接 imgUrl: setWeixinShare.imgUrl, // 分享图标 type: setWeixinShare.type, // 分享类型,music、video或link，不填默认为link dataUrl: setWeixinShare.dataUrl, // 如果type是music或video，则要提供数据链接，默认为空 success: function () { setWeixinShare.success; // 用户确认分享后执行的回调函数 }, cancel: function () { setWeixinShare.cancel; // 用户取消分享后执行的回调函数 } }); //获取“分享到QQ”按钮点击状态及自定义分享内容接口 wx.onMenuShareQQ({ title: setWeixinShare.title, // 分享标题 desc: setWeixinShare.desc, // 分享描述 link: setWeixinShare.link, // 分享链接 imgUrl: setWeixinShare.imgUrl, // 分享图标 success: function () { setWeixinShare.success; // 用户确认分享后执行的回调函数 }, cancel: function () { setWeixinShare.cancel; // 用户取消分享后执行的回调函数 } }); //获取“分享到腾讯微博”按钮点击状态及自定义分享内容接口 wx.onMenuShareWeibo({ title: setWeixinShare.title, // 分享标题 desc: setWeixinShare.desc, // 分享描述 link: setWeixinShare.link, // 分享链接 imgUrl: setWeixinShare.imgUrl, // 分享图标 success: function () { setWeixinShare.success; // 用户确认分享后执行的回调函数 }, cancel: function () { setWeixinShare.cancel; // 用户取消分享后执行的回调函数 } }); //获取“分享到QQ空间”按钮点击状态及自定义分享内容接口 wx.onMenuShareQZone({ title: setWeixinShare.title, // 分享标题 desc: setWeixinShare.desc, // 分享描述 link: setWeixinShare.link, // 分享链接 imgUrl: setWeixinShare.imgUrl, // 分享图标 success: function () { setWeixinShare.success; // 用户确认分享后执行的回调函数 }, cancel: function () { setWeixinShare.cancel; // 用户取消分享后执行的回调函数 } }); }); }); } }); } function openX_ad(posterid, htmlid, width, height) { if ($(htmlid).length > 0) { var randomnumber = Math.random(); var now_url = encodeURIComponent(window.location.href); var ga = document.createElement('iframe'); ga.src = 'https://www1.elecfans.com/www/delivery/myafr.php?target=_blank&cb=' + randomnumber + '&zoneid=' + posterid+'&prefer='+now_url; ga.width = width; ga.height = height; ga.frameBorder = 0; ga.scrolling = 'no'; var s = $(htmlid).append(ga); } } openX_ad(828, '#berry-300', 300, 250);