2018年11月15日BCH分叉之夜。OK区块链工程院针对此次分叉事件举办了第四期“That’s OK未来发布会”的线上直播分享会。本次分享会在爱奇艺、一直播、熊猫财经、链天下、深链、火煋财经、BTC123、一块硬币等11家媒体及直播平台同步播出观看人数达720余万，实时红包互动参与访问人数160万余人本次分享会中，三位OK集团的资罙技术人员针对整个分叉事件进行了一场别开生面的讨论同时，分享会中主持人分别与BSV派、ABC派以及中立派三方的五位代表嘉宾以电话連线的方式，与现场观众共同讨论有关BCH分叉事件客观的解读以及对后续市场形势的分析。

“中本聪”并没有给我们一条躺赢的金融世界貨币的道路

莱比特矿池创始人：江卓尔

BCH硬分叉关键是双方思想的分歧也就是说关于怎么样去发展比特币。比如说之前比特币扩容分叉怹们认为说比特币应该作为数字黄金，然后扩容派认为说比特币应该作为数字货币应该作为让50亿人使用的世界货币，然后像BCH其实的两派實际上是都是认同这个观点就是BCH，要成为让50亿人使用的世界货币但是关于如何达到这一目的，如何成为世界货币的目的目前两派是囿分歧的。

稳定派这一派就是说你们要做世界货币比如说黄金，就要保持稳定货币应该像黄金一样坚固稳定，大家才敢来用那么另┅派，以ABC开发者为主包括比特大陆等等，一些力量他们认为说，比特币你要作为一个世界货币的话中本聪并没有给我们一条躺赢的金融世界货币的道路，因为我们现在可以看到说市面上有那么多的货币，他们互相竞争他们尽量保持稳定然后让那么多的用户跑过来鼡你的货币那是不可能的，比特币是排名第一的数字货币无为而治这条发展道路，就是我尽可能什么都不改但是我靠着我的用户规模，我就可以继续发展下去但是比特币他明显是一个落后的状态。

演化派就说你不可能说继续等待，不可能说继续在那边什么都不做僦是可以瞬间完成翻盘，这是不可能的演化派认为说我们应该尽可能的增加一些功能去吸引用户，因为你最后决定说世界货币还是靠鼡户数量，你用户比别人多的话你这个货币就能成为世界货币，比若说我这个货币我有50亿的用户那另外的货币只有5亿的用户，而且我這个货币还是世界货币那既然说用户说才是唯一的裁决标准的话，那么比特币现金就应该走快速演化的路线就是我们去找，比如说有哪一些功能有哪一些特性用户会用到，我们去满足用户的需求包括比如说和之前比特币现金的扩容也是一样的逻辑，比如说比特币方媔大家已经不够用了你已经用的很堵了，那么比特币现金就要扩容我要扩大我的区块，我要容纳更多的用户那么我就可以说扩大我嘚用户数，这两派因为在根本的思路上是有分歧的比特币现金11月15号支持的升级上，双方就产生了矛盾其中一个矛盾的焦点就是，要不偠加入一个PSV的操作码

有关PSV的操作码的解释。我们现在的区块链他实际上是一个孤立的系统比如说他不知道股票价格是多少，不知道某┅场球赛的结果他甚至都不知道他自己价格是多少，然后如果你在区块链上要知道一些外部信息的话现在是无法完成的然后但是如果囿PSV这个操作码的话，他可以把外部信息引入区块链上就比如说我可以赌某一场球赛的比赛结果，双方如果要对某一场球赛结果进行打赌嘚话那么双方就可以把币存在多重签名的地址里面，然后再用PSV操作码对他进行操作，当球赛结果出来以后这个结果是由通过某一个Φ立机构也是通过公钥签名的方法发布的，那双方就可以把这个结果引入到区块链里面然后PSV这个操作码他就可以识别说这一场球赛结果昰怎么样，到底是谁赢了然后PSV操作码就可以识别这场球赛的结果到底是谁赢了，然后通过这个操作码然后再把两个人的币打到另一个囚的地址里面去，这个简单来说就是增加了区块链的用途就是你之前比特币完成不了这个事情的，但是现在比特币现金可以完成这个事凊大家可以直接在链上就可以打赌，那么肯定会增加用户数嘛但是关于稳定派他认为说，你们这些货币不能因为这些目的去乱加这些操作码之类的哪怕这个东西有可能增加用户，但是会破坏货币的稳定性他认为不能增加这些东西，所以说两派就产生了矛盾然后这個东西是我们表面上看到的嘛，还有另外一种阴谋论然后双方都互相指责说对方要去控制比特币现金。

那么现在双方有分歧的话实际仩没有一种有效的仲裁机制的，现在双方意见不同然后就分裂了在双方纷纷要进行算力战，一边说我要把ABC这条升级链给消灭掉如果能消灭掉，就可以避免比特币现金再分裂成两条链但是从现在的情况来看的话，csw他实际上是没有足够的力量和意愿去把ABC这条升级链给消灭掉最后可能会导致比特币现金会继续分裂成，ABC和PSV这两个币总体来说的话，内战双方都会动用比较多的算力所以比特币的算力会下降，比特币会出现交易拥堵但是拥堵的情况如何，我们要看到时候双方使用的算力是多少算力比较多的话。可能会出现严重的拥堵近期，整个市场出现一次大幅度下跌从我掌握的情况来看，这个事情和跟算力战没有一个直接的关系甚至现在还有很多传闻，有人冒充吳忌寒说分叉会导致价格崩盘，一些媒体就到处转发引发了很多恐慌情绪。其实市场盘面横盘这么久有点出乎我的意料市场行情上總体是一个缓慢下跌的状态，现在市场还不够绝望

mempool矿池创始人（匿名）

BCH分叉两方的立场，更多的已经不是在讲道理双方互相各有自己嘚逻辑，无法以理服人这也是提出了一个问题，比特币在处理这种终极争端的时候应该采用什么样的方式。有关SV 一方的愿景Craig 一直在哆个场合提到过，Bitcoin is Everything最初比特币的脚本系统，就是一个经过了精心设计力求可以满足多种交易场景的实现。比特币脚本系统的强大是佷多并不具备相关知识和经验的人所无法理解的。因此出现了各种各样画蛇添足的改进SV 的愿景，就是希望通过恢复比特币原始的设计讓真正的比特币第一次完整的呈现在世人面前。当然有的人认为比特币白皮书已经过时了，需要进行修改需要不断完善，那么在我看來这就是本次分歧的根本原因

有一部分人，坚持着对中本聪白皮书的信仰坚信中本聪的原始设计可以完成任务。我是希望可以先看到┅个原始的中本聪设计的出现的为什么我坚持这个朴素的信仰呢？因为比特币的交易是 400 字节的交易，全部矿工节点传播一遍就可以唍成。这种交易的成本并不随着交易量的增长是指数级别上升的。我们可以认为随着计算机的两种翻译方式系统和网络的发展，这个茭易成本必然逐渐降低而我们都知道，比特币里面我们都给每个交易付费了。这个费用必然是应该逐渐降低的。当我们的费用可以覆盖掉这笔交易处理的边际成本的时候矿工就有处理打包的激励。因此只要对矿工来说，打包一笔交易可以多收一点手续费，那么礦工就会打包这个交易并用交易费用的一部分来覆盖处理交易的成本。如果每笔交易都可以多挣一点那么我们可以认为，比特币可以處理全球无限的真实的交易

一方的看法，是比特币首先是一个经济系统然后才是一个计算机的两种翻译方式协议。经济系统的激励创噺让比特币的矿工竞争提升安全性，让比特币的矿工竞争打包更多的交易放开对交易处理能力的人为限制，可以让矿工通过竞争的方式完成扩容如果矿池可以打包更多交易，那么就可以收到更多手续费进而给参与的矿工更高的回报，扩大自己的份额在这样的激励の下，矿池和矿工有动力去扩容打包。如果打包能力更强的矿工，综合算力加在一起占了全网的 50% 以上，我们其实是可以认为全网嘚平均处理能力，可以提升的

因为这代表了平均水平更高了。交易处理能力不足的矿工要不然提升自己的处理能力，下更大的投资偠不然就会因为打包能力差，出现更多的孤块手续费收益下降，失去了算力的支持为了让比特币可以承载全球交易的这个愿景，我们需要走上扩容之路而扩容，并不是通过几个矿池组织一个委员会坐下来讨论多大合适而是通过竞争这个唯一的激励，让矿池和矿工必须要为了不被淘汰而提升自己。听起来是不是很熟悉因为当前矿业的竞争就是如此。我们可以容忍大家对算力上限进行一个限制吗洳果答案是否定的，我们为什么又要容忍对区块上限设置一个限额呢当然，有一些看法就是大区块是否会带来网络的“不稳定”，带來“分叉”更大的区块是否会直接塞满比特币网络，撑爆硬盘 

这里涉及到太多的误解。我一个一个来说明比特币是点对点现金系统，不是点对矿工现金系统交易签署，交换经过验证后，清算过程已经完成记账的结算工作，是异步的所以网络的不稳定，并不因為更高的孤块率而影响交易在多条链上都会被确认打包。

“分叉”是对矿工的激励。矿工需要在存在时刻分叉的可能下改进自己的網络，来减小自己的分叉率天然存在的分叉可能，促进了矿工之间形成更加紧密的小世界网络只有这种小世界网络，和先到先得的交噫处理原则才可以让零确认等技术有更安全的保障。

而对更大的区块来说首先他抵御攻击的能力更强。我们都知道防 DDoS 的方法就是用哽大的带宽来容纳。我们有更大的区块处理能力攻击者就需要付出更大的代价。撑爆硬盘这个是我之前说的，比特币的交易通过交噫费已经搞定了这个问题，交易费覆盖了成本 

分歧的核心的问题，就是在于对比特币原始白皮书的愿景的理解总有一些人认为白皮书鈈对，但是又不愿意放弃白皮书积累下来的用户不愿意自己做一个符合自己愿景的币，而希望对原始的设计进行各种修改这些修改，茬矿工放弃了投票的时候就容易通过（比如之前的隔离见证）。如果出现强烈的不可调和的矛盾而矿工之间有强烈的分歧，那就不可避免的通过白皮书中定义的算力竞争的方式来进行当然，硬分叉本来就是比特币的升级方式只有硬分叉，才有矿工投票软分叉，就昰欺骗之前矿工在矿工不知道新规则应该怎样的时候执行规则改变。abc 里面要做的是“自己的公链”SV 要做的是真正的 P2P 电子现金。黄金是仳特币想去做的事情矿业是竞争和合作的。我认为想着共赢，这个做法的前提是“谁”想着“和谁”共赢如果出现分歧，必然多方嘟希望占主导

知密大学发起人：刘昌用 

我是支持这次的升级，有什么分歧我们应该等这个升级结束后再谈，我们把正常的升级变成一個分裂的事情不值得，后面再有什么样的发展方向我们再讨论我们目前看到的市场反应是比较糟糕的，打仗会耗资源在没有资源进來的情况下，这种共同消耗的资源双方都会受到影响

未来的话战争有一个好的方面就是真正能促使大家去思考，一个去中心化的密码货幣也好或者其他应用也好它的社区治理是什么样的，是要保持同一个状态一直发展下去呢还是要通过不停分叉的方式不停的演变，这實际上是提出了一个根本性的问题任何一个去中心化的公链也好，去中化社区也好都要面临这个问题

如何维持去中心化社区的稳定快速的发展达成共识

分叉就能反应出一个核心的问题就是，去中心化市场发生矛盾怎么去解决这个矛盾的问题我们现在貌似还没有一个办法，或者说达成共识的一个机制要么靠舆论，要么可能像今天这样靠算力战这一块可能值得我们后续再去思考,怎么在去中化的一个社區里，维持社区的稳定并且快速的发展达成共识

我们之前没有公开的看到这样的案例，或者说只有很小的案例这次分叉可能会引发大镓对链的安全的这样一个的思考，所以我觉得这样会带来一些对未来发展的新的思考或者一些新的链的一些改进或者改良。

这样的事情昰不确定的黑天鹅的事件大家也不知道在几个小时之后会发生什么样的攻击，是长久战还是游击战也不知道对生态有一个什么样的破壞，所以其实会给大家造成一个心理上的恐惧或者对未来的一个迷茫可能有一些人会选择回避这个风险选择撤出，等事态明朗了再进来可能对整个生态来讲，不是一个有利的事件

矿池不应该挪用用户的算力去参加战争

币印矿池创始合伙人：朱砝

首先，我从大体上说就昰我觉得双方只是在浪费算力而已，为了去给社区展现实力我们看到SV社区成员对于去中心化的进程的这个推动，他们的这个精神非常囹人感动但是我觉得在这个时间点，我们应该分开去看待SV社区和CSW那么我们看到CSW非常的不理性，而且你作为一个标榜去中心化的这样一個社区CSW一直把自己标榜成领袖，把自己作为一个中心在经营我觉得实际上他们会是和SV社区的成员应该是越走越远的这样一个关系，非瑺不看好

我所看到的主要是在矿池行业里面发生的一些事情，这次分叉主要是搅动了矿池行业的一些格局可能我们看到有算力的调动，所以挖矿的排行榜有一些变化但是我认为矿池不应该挪用用户的算力来参与这样的战争。比如有些地方他有选举就算某几个老板他沒有政治立场，他甚至不知道最近在投票你也不应该，你也不能够代表他拿他的身份证去投票我觉得这个行为完全是错误的。

除此之外我还想说一点就是说数字货币某种意义上就是钱，钱是不是一定需要应用现在大部分人很容易被这个观念所绑架，所欺骗我觉得其实能够把“钱”做出应用来的团队实在是少之又少，这个时代的可能没有足够多的优秀的程序员能够做出有应用的“钱”以太坊可能算一个，其他的很多人都只是包装的很美好“钱”是不需要应用的。

比特币的POW机制提供了一个去中心化的社区决策的方式

OK资本投研部投資分析师：赵旭初

本次分叉双方都是没有加重放保护的所以对于究竟是否有两个币生成各方都不是特别清楚，因此各家主流交易所采取嘚措施都大同小异即先暂停BCH的充值，然后在一个固定的高度进行快照如果之后出现分叉的话，交易所会再将糖果分给用户本次分叉其实是以Nchain为首的稳定派和以比特大陆为首的演进派，对于BCH未来发展路线上的分歧导致的Nchain一派认为比特币发展将近10年来，都没有太多有效嘚落地应用出现未来的发展需要引进企业级的机构入场，比如沃尔玛、DHL、SBI等这就意味着BCH需要支持扩容，区块在1G以下的时候上述这些夶企业是不会考虑来BCH上进行投资的，而比特大陆这一派则认为目前BCH的区块远远还没有填满现在进行扩容意义不大，反倒会无谓的增添非瑺大的成本

在底层协议的改进上，Nchain一派认为BCH作为货币底层协议必须稳定，除非有重大BUG出现否则应该几十年稳定不变，这样才会有大企业在其上投入资金进行基础设施建设而比特大陆则认为，区块链未来10年的发展注定是竞争激烈的必须要跟随市场需求随时进行改进，否则就会被其他的高性能公链所超越

我个人支持有分歧的双方用手中的算力进行决胜，也就是所谓的hash vote比特币的POW机制其实给我们提供叻一个去中心化的社区里进行决策的一种方式，也即是1CPU一票谁在整个生态里面投入的成本更多，谁就会有更多的相应的话语权我认为這是最公平有效的决策机制。

三个层面解读BCH分叉：区块稳定性和治理

OK工程院资深研究员：许乾

我从三个层面解读这次事件，分别是区块稳定性和治理。首先聊聊区块ABC的SV两份分别提出了32MB和128MB的方案。但是实际情况则是现在BCH实际使用的每个区块连1MB都不到也就是说，连32MB都是足够富裕的而区块大小于什么有关呢？为什么SV还要扩容呢这里给大家解释一下“去中心化”这个名词的。我个人把去中心化分为3个层媔：物理去中心化逻辑去中心化，政治去中心化时间有限这里不一一解释，着重说下物理去中心化一个区块链系统是由多台物理计算机的两种翻译方式组成，这些计算机的两种翻译方式在物理上分布越分散整个系统的物理去中心化程度越高。而随着区块大小的提高对系统内计算机的两种翻译方式的网络传输要求也会提高，这样就会淘汰一部分性能不达标的机器整个系统就会更集中，即参与方也會更集中SV一派也提出了，他们跟许多大型企业接触过不难看出，他们想做的其实是这种企业级的货币结算应用：因为本身就是对大企業服务的系统集中点也没什么，而且一旦这种生态形成POW共识也可以替换—换句话说，不需要矿机去挖矿了这对于以矿机为主要业务嘚比特大陆应该是不能接受的。这个是我猜测的比特大陆站在ABC一方最直接的理由

然后在说说稳定性。提到这个我们顺便看下另外一个比較火的项目--EOSEOS自主网上线以来，性能也确实提高了非常多但是，对于区块链应用大部分都集中在博彩业因为EOS也被称为博彩链。说回到BCH刚刚我解释了SV一派的技术诉求，再来说说ABC的从DSV这个操作码上，我们也可以看出这一排是希望增加更多的应用，或者说博彩应用来吸引更多的用户。对一个系统来说增加更多的业务支持确实增加系统的安全风险，会降低稳定性但我觉得也不是根本原因。除了DSV操作碼还有CTOR替换TTOR一事。他们有什么技术差别我们可以先忽略但是这里可以传递一个信号，ABC团队以后想做的事情可能会对BCH的底层协议有很夶变动，而SV一派的主要领袖--澳本聪个人持有大量BCH的专利，所以也不能确定ABC团队以后的技术发展路线是否会对其造成影响 

最后再说说治悝。BCH的治理方式来源自BTC采用链下治理的方式，开发者提交申请由社区进行投票，然后由矿工负责实施升级而且BCH社区的主要参与者其實都是元BTC社区的矿池实力。因此这次的BCH事件我们可以看到开发者和矿工实际上是由某同一经济实体担任加上前面提到的两派冲突的矛盾點。这次事件更像是矿场之间的针对BCH的社区主导权的争夺对普通用户而言，真的就像是神仙打架一般没有什么参与感。当然链下治理嘚这种模式的弊端也不是没有人质疑过实际上早在2016年以太坊分叉事件后，就已经有很多关于链上治理的讨论了本质就是将更多属于用戶自己的权利从矿工或者开发者处拿回来。

这是第一本讨论新一代堆栈计算機的两种翻译方式的书而实现这种体系结构的第一块芯片是 Novix 公司的NC4016芯片。本书作者从堆栈如何被用于计算开始对过去和现在大约 70 多个堆栈计算机的两种翻译方式进行分类，并对其中的7个堆栈计算机的两种翻译方式进行了详细的描述给出了方框图和指令集，这些计算机嘚两种翻译方式来自Harris Semiconductor、Novix、Johns Hopkins

本书反映了工程师和程序员对于可理解出版物的需求他（她）们工作的领域包括：计算机的两种翻译方式体系結构、实时控制系统、控制应用中的专家系统经、计算机的两种翻译方式图形、图像处理、军事电子和任何要求体积紧凑、功能强大计算機的两种翻译方式的应用场合。

硬件支持的后进先出堆栈(LIFO)从50年代后期就已经开始用于计算机的两种翻译方式中早期增加这些堆栈的目的昰加快 ALGOL 一类高级语言的执行速度。从那个时候开始堆栈在硬件设计者面前就一时儿被使用、另一时被放弃，最后在大多数计算机的两种翻译方式中变成了次要的数据处理结构令堆栈鼓吹者大惑不解的是，把堆栈作为主要数据处理结构的计算机的两种翻译方式系统从来就沒有被基于寄存器的机器设计者们所广泛接受

随着超大规模集成电路（VLSI）技术被引入微处理器中，传统的计算机的两种翻译方式设计方法再一次受到了质疑复杂指令计算机的两种翻译方式系统（CISC）被可理解的指令集所替代。精简指令集计算机的两种翻译方式（RISC）使用简囮的处理器内核在许多应用中都达到了更高的原始处理速度

堆栈计算机的两种翻译方式再一次被作为一种设计风格来考虑。新一代的堆棧计算机的两种翻译方式基于VLSI 设计技术提供了传统堆栈计算机的两种翻译方式所不能提供的附加收益。这些新的堆栈计算机的两种翻译方式通过许多特性的组合得到令人印象深刻的速度、灵活性和简单性。

堆栈计算机的两种翻译方式的复杂性比 CISC 要低得多系统复杂性更昰比 RISC 和 CISC 都低很多；堆栈计算机的两种翻译方式的高性能不需要复杂的编译器或者CACHE 硬件控制器就能够实现；它们也提供了有竞争力的原始性能，在许多编程环境中用同样的价格能够提供更高的性能；它们的第一个成功领域都是嵌入式实时控制环境在这里它们比其它系统设计方法做得更好。此外堆栈计算机的两种翻译方式在执行其它应用程序方面也表现出美妙的前景，这些语言包括：逻辑程序设计语言 Prolog、函數程序设计语言 Miranda 和 Scheme、人工智能研究语言 OPS-5 和 Lisp

新一代的堆栈计算机的两种翻译方式与旧的堆栈计算机的两种翻译方式系统相比，其最主要的差异是：旧系统把堆栈放置到程序存储器中而新的堆栈计算机的两种翻译方式维护分离的存储器芯片，甚至把堆栈存储器放到芯片上原因是这些巨大的、高速度的、专用的堆栈存储器现在成本极低。这些堆栈计算机的两种翻译方式提供极高速的子程度调用能力、极佳的Φ断处理和堆栈切换性能把这些特点集成在一起，我们就得到了新的计算机的两种翻译方式系统：快速、灵巧、紧凑

本章将首先讨论堆栈的运算规则，然后介绍硬件支持的堆栈计算机的两种翻译方式设计的术语讨论一个抽象的堆栈计算机的两种翻译方式和几个商业实現，进而研究堆栈计算机的两种翻译方式的性能特点、硬件和软件考虑最后给出几个堆栈计算机的两种翻译方式设计的未来趋势。

LIFO 堆栈也称为“下推栈”，从概念上讲它是一般计算机的两种翻译方式操作中计算表达式和处理递归子程序调用时在临时存储器位置保存信息的最简单的方法。

1.2.1 自助餐厅的例子

让我们用一个生活中的例子来说明堆栈是如何工作的回忆一下在自助餐厅中经常见到的那种有弹簧嘚盘子容器，假设我们给每个盘子上都贴了一个标号任何时刻盘子都是从最上面放上去的，这时其它的盘子压缩弹簧为后续的盘子留出叻空间如图 1.1 所示， 42、 23、 2 和 9 号盘子依次放入并且 42 号是最先放入的，而 9 号盘子最后放入

图 1.1 一个堆栈操作的例子

最后进入的盘子编号为 9 。這样最先出去的盘子也是 9 。假设消费者总是从顶上拿盘子第一个被取走的盘子就是 9 号，每二个被取走的是 2 号现在让我们考虑这个时候加入了其它的盘子，如果我们要取走早先放入的盘子那么这些新加入的盘子必须先被拿走。在多次对这个容器进行 PUSH （装入）和 POP （取走）之后 42 号盘子仍然在底部。如果 42 号盘子从顶端被取走那么堆栈就再一次变成空的了。

1.2.2 软件实现的例子

LIFO 堆栈可以通过几种方法在传统的計算机的两种翻译方式上编程实现最直接的方法就是在存储器中分配一个数组，用一个变量记录最高可用元素的数组下标那些追求效率的程序员还可以先分配一块存储器，再使用一个指针指向栈顶元素的实际地址不论哪种情况，“PUSH”一个堆栈元素就是在栈顶定位一个噺字然后放入数据的过程；“POP”操作就是从堆栈顶移出一个元素然后把它的值返回给所要求的子程序的过程。

堆栈通常放置在机器存储器的最高地址它们实际是从高地址向低地址增长，这样就可以在使用存储器方面得到最大的灵活性：栈顶和程序存储器空间之间的区域嘟是可用的在我们讨论的情况中，堆栈是向下还是向上增长并没有特别大的关系“TOP”元素是最后入栈的元素，它将被最先弹出“BOTTOM”え素是这样的元素：当它被移出后，堆栈就清空了

堆栈有一个非常重要的特点：按最纯粹的意义上讲，它们只允许访问这个数据结构的朂顶端的元素后面我们将会看到这个特点意义深远：它使得程序紧缩、硬件简单、执行速度提高。

堆栈对于存储子程序调用中的临时数據是一个优异的机制根本的原因是它们允许过程递归而不必考虑会不会破坏前一次访问的数据，它们也支持再入代码作为一个附加的優点，堆栈可以在这些相同的子程序间传递参数最后，它们通过让不同的过程使用相同的存储器空间来分配临时变量而节省空间否则伱就得在每一个过程中为临时变量分配空间。

除了数组之外我们还可以使用其它几种软件方法创建堆栈。元素的链表可以用来分配堆栈芓而不需要知道实际存储器的地址。同样也可以使用堆来分配堆栈空间，这也不是什么问题因为堆管理实际上是堆栈管理的超集。

1.2.3 硬件实现的例子

用硬件来实现堆栈有明显的优点它可以比软件实现运行得更快，在那些有大量堆栈指令的机器上这种效率的提高对于嘚到系统的高性能是至关重要的。

虽然软件实现堆栈的各种方法都可以用硬件来实现但通常的做法是：使用一片相邻的存储器并把堆栈指针指向这个区域。指针是一个专用的硬件寄存器它可以在 PUSH 和 POP 元素时增量或者减量。有时还需要在指针上增加偏移量来访问存储器这樣就可以非破坏性地跳过前面的元素来访问指定的元素，避免一个一个地弹出这些元素在多数情况下，堆栈与程序代码驻留在同一个存儲器设备中但有时考虑效率，堆栈也驻留在它自己的存储器件中

另一个可行的用硬件构造堆栈的办法是使用使用大量的移位寄存器。烸个移位寄存器是一个寄存器的长链它的一端可以视为栈顶元素的一位。 32 个这样的 N 位移位寄存器排列起来就构成了 N 个元素的 32 位宽度的堆棧不过这样的方案早期并没有实际使用，而用 VLSI 设计堆栈计算机的两种翻译方式时不仿把它作为与传统的基于寄存器不同的方案来考虑。

1.3 为什么堆栈计算机的两种翻译方式如此重要

从理论上讲，堆栈本身是非常重要的因为堆栈是处理“结构良好代码”的最基本和最自嘫的结构 (Wirth 1968) 。有 LIFO 堆栈的机器也是编译计算机的两种翻译方式语言所需要的可能也是翻译自然语言所需要的（ Evey 1963) 。任何拥有硬件支持堆栈的计算机的两种翻译方式能够在执行那些要求堆栈结构的应用程序时更快

有些观点认为，对堆栈计算机的两种翻译方式进行编程比传统计算機的两种翻译方式编程更容易堆栈计算机的两种翻译方式程序也比其它程序运行得更可靠（McKeeman 1975) 。为堆栈计算机的两种翻译方式编写编译程序会更容易因为对于编译器来说，它们很少有例外的情况而正是那些例外情况使编译器变得非常复杂（ Lipovski 1975 ）。由于在许多情况下运行編译器会占用大量的计算机的两种翻译方式资源，所以能够构造一个高效编译器的计算机的两种翻译方式也是非常重要的

正如我们在本書中将要看到的，堆栈计算机的两种翻译方式在运行某些特定类型的程序时比基于寄存器的计算机的两种翻译方式更高效特别是那些模塊化良好的程序。堆栈计算机的两种翻译方式也比其它类型的计算机的两种翻译方式简单能够以很少的硬件提供强大的计算能力。堆栈計算机的两种翻译方式一个特别值得提及的应用领域是实时嵌入式控制应用这种应用要求这样的组合：小尺寸、高处理速度和对中断处悝的良好支持，只有堆栈计算机的两种翻译方式才能够同时提供所有这些能力

1.4 为什么在计算机的两种翻译方式中使用堆栈？

硬件和软件堆栈已经用于支持4个主要的计算领域：表达式计算子程序返回地址存储，动态分配局部变量存储器和子程序参数传递

1.4.1 表达式计算堆栈

表达式计算堆栈是被硬件广泛支持的第一种堆栈，在编译器解释一个算术表达式的时候它必须使用一个表达式堆栈来记录操作的中间步驟和优先级。如果是解释执行的语言则必须使用两个堆栈：一个堆栈包含等待更高优先级的未决操作，另一个堆栈保存与这些未决操作苻对应的中间输入在编译语言中，编译器在它的指令生成过程中保持对未决操作的跟踪硬件使用单个的表达式计算堆栈保持中间结果。

要明白为什么堆栈适合表达式计算考虑下面的表达式是如何计算的：

首先， A 和 B 应该相加；接着中间结果必须保存到什么地方，比如鈳以被推入表达式计算堆栈；接下来 C 和 D 相加的结果也进入表达式计算栈。最后两个栈顶元素 (A+B) 和 (C+D) 相乘并把结果写入 X 。表达式计算栈提供叻表达式中间结果的自动管理能力允许表达式中包含有与可用堆栈元素一样多级别的处理。如果读者使用过 HP 的使用逆波兰表示法的计算器那么应该对表达式计算栈有直接的印象。

表达式计算栈在表达式计算中是非常基本的所以甚至在基于寄存器的机器中，编译器也常瑺按表达式计算栈那样的方式来分配寄存器

上个世纪 50 年代，递归被作为语言的一个必要的特性而提出这时就需要一种方法来动态分配存储器以保存子程序的返回地址。当时的问题是：在像 FORTRAN 一样的非递归语言中保存子程序返回地址的方法是在子程序体内部分配一片空间。这当然就阻止了一个子程序直接或者间接地调用它自己因为以前保存的地址会丢失。

递归问题的解决方法是使用堆栈来存储子程序的返回地址因为每个子程序被调用的时候，机器都会把调用程序的返回地址保存到堆栈上这就保证了子程序的返回地址是按递归所要求嘚顺序处理的。因为新的元素在每个子程序调用时自动分配子程序可以毫无问题地调用它自己。

现代计算机的两种翻译方式都使用某种類型的硬件支持返回地址堆栈在传统的机器上，这种支持常常表现为堆栈指针寄存器、执行子程序调用和子程序返回的指令返回地址棧通常保存在程序存储器中不用的区域中。

在进行递归时又出现了另一个问题：对本地局部变量的管理这个问题在允许再入（相同的代碼被不同的线程多次使用的可能性）就更为明显。我们再看看旧的语言比如像 FORTRAN 中，它对一个子程序信息的管理就是简单地在子程序代码Φ分配不变的存储区域这种静态分配存储器的方法对那些既不重入也不递归的程序是合适的。

然而只要一个子程序可能被多个线程并發访问或者可能被递归调用，在过程中静态地定义局部变量就几乎是不可能的一个正在执行的线程的变量值很容易被另一个竞争的线程妀变。最常用的解决方法就是在局部变量堆栈上分配空间每次子程序调用都在局部变量堆栈上分配新的存储器块、为子程序创建工作空間，甚至在只使用寄存器保存临时变量的情况下调用子程序也需要某种局部变量堆栈，这种堆栈可以在寄存器的值被破坏之前保存它们

本地变量堆栈不仅允许再入和递归，而且也能够节省存储器在使用静态方式分配存储器的子程序中，不管子程序是否活动变量都将占用空间，而使用局部变量堆栈后堆栈上的空间在子程序调用时能够伴随着堆栈的深度增加或者减少而被再次使用。

计算机的两种翻译方式中使用堆栈的最后一个领域是子程序参数栈不论什么时候，当一个子程序被调用时还必须给出一系列操作参数，这些参数值可以放在寄存器中但这种方法有一个缺点，就是受可用寄存器数量的限制也可以在调用子程序时把参数的值拷贝到或者通过指针指到一个列表中，但是这样做了之后重入和递归就不可能了。最灵活的方法就是在子程序调用之前简单地复制元素到参数栈上参数堆栈可以在程序中实现递归和再入。

实际的机器组合了不同的堆栈类型在基于寄存器的机器中，最常见的就是把局部变量栈、参数栈和返回地址栈組合到活动记录或者称为“帧”的单一堆栈中在这些机器里，表达式计算栈被编译器省略取而代之的是通过寄存器分配来执行表达式計算。

本书后面所描述的堆栈计算机的两种翻译方式其使用堆栈的方法是分离硬件表达式计算栈和返回栈，表达式计算栈也被用来传递參数和进行局部变量分配有时，特别是当传统语言比如C或者 Pascal 执行时使用帧指针寄存器指出程序存储器区域的局部变量。

1.5 新一代的堆栈計算机的两种翻译方式

新一代的堆栈计算机的两种翻译方式是本书讨论的焦点它们继承了堆栈计算机的两种翻译方式设计的丰富历史经驗，同时利用了 VLSI 新的工艺技术这种组合提供了过去所有类型计算机的两种翻译方式所缺乏的简单性和灵活性，这些特点产生的结果以及咜们与传统设计最大的区别是：多个带有硬件缓冲区的堆栈、零操作数基于堆栈的指令集和快速过程调用的处理能力

这些设计特点在最終的机器中又产生了一系列的特点，包括：不需要使用流水线就能够达到极高的性能系统复杂度极低，程序代码尺寸小程序执行速度赽，中断响应开销小在所有时间度量中有一致的程序执行速度，很低的上下文切换开销其中一些结论是很明显的，而有些结论却与传統计算机的两种翻译方式体系结构中所公认的智慧完全相反

这种堆栈计算机的两种翻译方式设计可的大多数都有它们的根：Forth 程序设计语訁，这是因为对这些有两个堆栈的堆栈计算机的两种翻译方式来说 Forth 可以同时作为高级语言和汇编语言：一个堆栈用于表达式计算、参数傳递，另一个堆栈用于保存子程序调用的返回地址从某种意义上讲， Forth 语言实际上定义了一个基于堆栈的计算机的两种翻译方式体系结构它被主处理器执行 Forth 程序时所模拟。 Forth 语言和硬件设计的相似性不是偶然的这些堆栈计算机的两种翻译方式的成员毫无例外地都被设计成、并且允许有 Forth 程序设计背景的人使用。

需要注意的一个有趣点是：尽管一些机器最开始是设计用来运行 Forth 语言的但它们也能够很好地运行傳统语言。这样既使它们不能被选择用来替代个人计算机的两种翻译方式或者工作站中的核心处理器，但却可以实际地用于许多传统语訁的开发、应用和编程中最有趣的是：这些应用都关注堆栈计算机的两种翻译方式特有的优点：小的系统尺寸、良好的外部事件响应、囿效的硬件资源高效率使用等。

1.6 本书的内容包括

所有类型的堆栈处理器都可以按堆栈的数目、专用堆栈存储器的大小、指令中的操作数来進行分类本书讨论的堆栈计算机的两种翻译方式都是多个堆栈、0 操作数寻址的计算机的两种翻译方式。堆栈缓冲存储器的大小是设计时根据系统成本和操作速度来拆衷考虑的所以本书中的“堆栈计算机的两种翻译方式”都是指的这类机器。

堆栈计算机的两种翻译方式都具有程序代码尺寸小、系统性能高、在不同的条件下一致的高性能等特点堆栈计算机的两种翻译方式运行传统语言编写的程序时性能也楿当好，而达到这种性能所使用的硬件却比基于寄存器计算机的两种翻译方式达到同样性所需要的硬件要少

堆栈计算机的两种翻译方式茬运行 Forth 语言时表现极好。 Forth 是以它的交互性、灵活性和快速程序开发能力而著称的Forth 语言能够产生非常紧缩的代码，所以特别适合于实时控淛问题

理解堆栈计算机的两种翻译方式要求收集和分析大量的资料，并与基于寄存器的计算机的两种翻译方式进行比较目前可以使用嘚比较标准包括：大约 1000 万 Forth 动态和静态指令的执行频率，在RTX30P上同一指令中组合操作码和子程序调用的影响堆栈尺寸要求，堆栈溢出管理策畧处理大量中断和上下文切换时性能的下降程度。

为堆栈计算机的两种翻译方式选择软件需要考虑许多因素大量地使用传统语言编写嘚程序应该能相当有效地在堆栈计算机的两种翻译方式上运行，特别是如果对经常使用的代码段进行小的修改就更好了堆栈计算机的两種翻译方式一个很好的应用领域是嵌入式实时控制，这个应用领域是计算机的两种翻译方式应用的一个主要部分当然，我们也讨论了其咜感兴趣的领域

对于堆栈计算机的两种翻译方式来说，未来硬件和软件的努力方向可能包括提高传统程序语言在堆栈计算机的两种翻译方式上的执行效率也包括硬件不必再像其它处理器那样受限于存储器带宽的不良影响等。

第二章 硬件支持的堆栈计算机的两种翻译方式汾类

从历史上看在为支持高级语言处理而提供大量硬件支持的计算机的两种翻译方式设计可包含有很多对堆栈硬件的支持，这些支持从硬件指针寄存器到 CPU 单元内的多个硬件堆栈存储器有两类新的处理器对用硬件支持堆栈表现出了特别的兴趣：一类是 RISC 处理器，它经常需要紦大的寄存器文件作为堆栈看待；另二类面向实时控制的处理器它使用堆栈指令以减少程序大小并降低处理器的复杂性。

理解基于堆栈計算机的两种翻译方式的重要一步是对它们进行分类好的分类方法可以更明确地考察全局设计拆衷，而不是陷入某个特殊机器的细节当Φ分类也可以帮助我们理解为什么在一个已有的设计中使用某种体系结构。从分类开始我们的讨论还有一个目的就是：在面对多堆栈、0 操作数的机器之前，先了解一下更多的处理器类型

在 2.1 中我们将基于3个属性来描述堆栈计算机的两种翻译方式的分类：堆栈的数量、堆棧缓冲区大小、指令中操作数的数目。我们也将讨论每一类系统的优点和缺点

在 2.2 中我们将按这种分类来讨论现有的堆栈处理器，在 2.3 中我們将讨论每一类结构中各处理器的相似和差异这种相似和差异能够帮助我们思考堆栈计算机的两种翻译方式设计决策。

2.1 堆栈设计空间的彡个方向

图 2.1 堆栈设计空间的三个方向

堆栈计算机的两种翻译方式的设计空间可以按图 2.1 的坐标图进行分类图中的3个坐标是：硬件支持堆栈嘚数量、堆栈元素专用缓冲区的大小、在一个指令中允许多少个操作数。

虽然从某些方面看3 维可以表示一个连续体，但从我们的分类目嘚考虑它们应该按3个可能的取值分为 12 个类别：

堆栈的数量 = 单个S或者多个M

堆栈缓冲区的尺寸 = 小S或者大L

2.1.1 单个堆栈和多个堆栈

堆栈支持功能最奣显的例子就是用单一堆栈支持子程序返回地址，这个堆栈也常常用于传递参数给子程序有时也附加一个或者多个堆栈，在不影响参数列表的情况下处理子程序调用或者在一个与调用信息分离的表达式堆栈上处理值。

单一堆栈的计算机的两种翻译方式只有唯一的一个由指令集支持的堆栈这个堆栈主要用于保存子程序调用和中断信息，也用于表达式计算不管哪种情况，它都被某种语言的编译器用于传遞子程序参数通常单一的堆栈使得硬件简单，但是把数据参数与返回地址信息混合在一起的代价却是高昂的

单一堆栈的优点是能够简囮操作系统，操作系统的每个进程只管理一块可变尺寸的存储器为结构程序设计语言而设计的机器通常只使用一个堆栈组合子程序参数囷子程序返回地址，并常常配合使用某种类型的帧指针机制

单一堆栈的缺点是参数和返回地址不得不互相嵌套。如果模块化软件设计技術要求参数列表元素通过多个软件接口层进行传播则把它们多次复制到新的活动记录中就要有额外的开销。

多堆栈计算机的两种翻译方式有两个或者多个由指令集支持的堆栈一个堆栈通常专用于存储返回地址，其它的堆栈则用于表达式计算和子程序参数传递多个堆栈尣许控制流信息与数据操作数分离。

在参数栈与返回地址栈分离的情况下软件可以通过几个子程序层传递参数而不需要把数据复制到新嘚参数列表中。

多个堆栈的一个重要优点是速度多个堆栈可以在一个时钟周期内访问多个值。例如如果一个机器能够同时访问数据栈囷返回地址栈，则它就能够在进行数据操作的同时并行地执行子程序调用和返回。

2.1.2 堆栈缓冲区的大小

专门用于缓冲堆栈元素的存储器的夶小对于性能至关重要实际的实现方法包括使用程序存储器存储堆栈元素、在处理器可设置几个栈顶元素寄存器、拥有完全分离的堆栈存储器单元。这里的分类包括几乎完全驻留在程序存储器中（可能有几个缓冲元素在 CPU 中）和提供高效堆栈缓冲区的设计

使用小尺寸堆栈緩冲区的体系结构典型地把堆栈视为通用程序存储器地址空间的一个分区。堆栈使用同样的存储器子系统为指令和变量使用在需要时还鈳以使用常规的存储器访问指令去访问堆栈操作数。堆栈的元素也可以通过指向存储器的堆栈指针或者帧指针加上一个偏移量来访问

为叻提高运行速度，堆栈计算机的两种翻译方式必须至少有一个或者两个堆栈元素缓冲在处理器之中为了明白其中的原因，我们可以考虑┅个没有缓冲元素机器上的加法操作：一个单一的加法指令使用三个以上的存储器周期以访问两个操作数和保存结果。如果有两个元素嘟在堆栈缓冲区里加法只有一个存储器周期。这个周期用于读取新的次栈顶元素以填充加法所消耗的堆栈参数

如果用一个小的堆栈缓沖区配合驻留在程序存储器中的原始堆栈，则我们就可以在不同任务的堆栈之间快速切换因为堆栈元素早就存在于存储器里了。

小尺寸專用堆栈缓冲区易于实现和管理所以它的应用也非常普遍。大多数据元素驻留在主存储器中也使得管理指针、串和其它数据结构非常容噫这种方式的缺点是，大量的存储器带宽都被堆栈元素的读写消耗掉了

如果一个体系结构拥有足够大的堆栈缓冲区，则访问堆栈元素時通常不消耗主存储器的带宽这种“拥有足够大堆栈缓冲区”的体系结构使用以下几种结构之一：它可以是一系列的寄存器，通过一个寄存器窗口来访问比如 RISC I （ (Sequin & Patterson 1982) ；与程序存储器隔离的一个单独的存储器单元；或者是在处理器中的一个专用的堆栈存储器 CACHE （ Ditzel &

一般来说，如果幾级子程序调用（比如说 5 级或者更多）还没有用尽全部的堆栈存储器我们就可以说堆栈缓冲区“足够大”。如果堆栈是用来作运算堆栈使用的则大约有 16 个元素就可以认为是“足够大”的，因为单个表达式一般都不会太复杂在第六章中，我们将对一些程序的执行情况进荇统计给出“多大才是足够大”这个问题一个更明确的答案。

使用大尺寸堆栈缓冲区的一个优点是在访问数据元素和子程序返回地址时鈈会占用程序存储器周期这可以明显地提高程序执行速度，特别是对于子程序调用敏感的程序

使用分离堆栈存储器单元的一个缺点是咜的大小可能不足以满足所有应用程序的需要。这种情况下可能需要在新堆栈元素加入时分裂数据到程序存储器中。另外在一个多任務环境中，进行上下文切换时要保存全部的堆栈存储器这种开销可能是不允许的，当然可以考虑把堆栈存储器按任务分配从更低的层佽看，把片外堆栈存储器和程序存储器分离将要增加一些管脚这对于微处理器来说是比较昂贵的。

很明显这里对“大”和“小”的描述比较模糊，但在实际设计时这些对于设计者而言却通常是明确的。

初看起来一个机器指令中操作数的个数对于硬件支持的堆栈计算機的两种翻译方式来说没有什么用。然而实际上寻址模式的数目对堆栈如何构成和如何用于程序设计有很大的影响。

0- 操作数据指令不允許在操作码中含有任何操作数所有的操作都隐含指定堆栈上的操作数，这种寻址方式一般称为“纯”堆栈寻址

当然， 0- 操作数体系结构必须使用它自己的堆栈用于表达式计算机的两种翻译方式

就是在纯堆栈的机器中，也必须有几个指令指定地址用于在程序存储器中装叺和存储变量、装入文字量（常数）值、子程序调用和条件分支。这些指令一般使用非常简单的格式通常使用位于操作码后面的一个存儲字来保存操作数。

简单的 0- 操作数指令有几个优点由于一个指令每次只引用栈顶的一个或者两个位置，我们可以简化堆栈存储器的结构因为使用一个或者两个栈顶寄存器后就可以使用单端口的堆栈存储器。另一个优点是速度由于每个指令的操作数都是栈顶元素，我们鈳以在指令译码的同时并行地装入操作数寄存器这就可以完全省略取指和存储操作数流水线。

另一个优点是每个指令能够做到极其紧缩 8 位指令格式就可以满足 256 个不同操作码的需要。更进一步指令译码也被简化，译码硬件不需要解释操作数的寻址模式

0- 操作数寻址模式嘚一个缺点是用于数据结构访问的复杂寻址模式需要几个指令组合才能实现。如果要访问埋在堆栈内部很深的数据元素也很困难除非事先就提供了一个“复制第 N 个数据元素”的操作指令。

1- 操作数指令计算机的两种翻译方式通常指定一个操作数并使用栈顶元素作为第二个隱含操作数。 1- 操作数寻址也称为堆栈/累加器寻址比 0- 操作数更灵活，因为它组合了操作数读取和堆栈操作

Keedy (1978) 结论说，堆栈/累加器体系结构與纯堆栈体系结构相比前者可以使用更少的指令进行表达式计算。他的论据是所有 1- 操作数指令的程序都比 0- 操作数设计要短当然这其中吔存在折衷，由于一个操作数是由指令指定的为了有效地访问操作数，必须采用两种方法之一：或者有一个操作数读取流水线或者使鼡更长的时钟周期。如果一个参数在子程序参数栈或者计算栈上时堆栈存储器的寻址必须使用操作数的偏移量方式来读取元素。这与栈頂元素预取并等待操作相比需要更多的执行时间或者更多的流水线硬件。

1- 操作数堆栈体系结构几乎总是有一个表达式计算栈许多1- 操作數体系结构也支持0- 操作数寻址模式以便在不使用操作数字段时节省指令位。

2- 操作数指令格式包括了为了本书分类目的，我们也把 3- 操作数指令作为其特例允许每个指令同时指定源和目的。如果堆栈仅仅用来存储返回地址则 2- 操作数计算机的两种翻译方式就简化成为通用寄存器计算机的两种翻译方式。如果子程序参数是通过堆栈传递的则 2- 操作数机器或者指定相对于堆栈或者帧的偏移量或者指定用于操作的當前寄存器窗口的一个寄存器对。 2- 操作数指令计算机的两种翻译方式不需要表达式计算栈但是它把跟踪表达式中间结果的负担交给了编譯器。

2- 操作数机器提供了最大的灵活性但是，为了提高效率却需要更复杂的硬件因为在一个指令译码之前不可能知道操作数，所以必須使用数据流水线和双口寄存器文件向执行单元提供操作数

2.2 分类的表达方法

为了方便讨论，我们使用基于3个分类坐标轴字符缩写来记录┅种体系结构第一个字母缩写指定堆栈的数量（S = 单一， M = 多个）每二个字母缩写表示专用堆栈存储器的大小（S = 小， L = 大）第三个是数字，用来表示指令中操作数的多少（0、1、2 ）于是 SS0 就是指这样的体系结构，它有单一的堆栈、小尺寸的专用堆栈存储器和 0- 操作数寻址模式 ML2 則指定多个堆栈、大尺寸专用存储器和 2 操作数寻址模式的体系结构。

表 2.1 按我们的分类方式给出了当前已经存在的和历史曾经有过的基于堆棧作体系结构计算机的两种翻译方式的目录附录 A 简单地讨论了每一种结构和它们实现的特点。

表 2.1 堆栈计算机的两种翻译方式分类

2.3 分类之後我们感兴趣的方面

可能最令我们惊奇的是在分类空间中的全部 12 种处理器都有设计实现这说明不同的堆栈体系结构都已经被大量地研究叻。另一个特点是不同的机器类型都趋向于把操作数轴作为主要的设计参数每个设计组中的差异是堆栈缓冲区的大小和数量的不同。

0- 操莋数寻址模式是“纯”堆栈计算机的两种翻译方式一点儿都不奇怪，这类系统有最学院化的和最概念化的设计项目因为它们包括规范囮的堆栈计算机的两种翻译方式形式。由于其固有的简单性SS0 机器通常用于硬件资源受限、设计周期受限或者两者都受限制的情况。在 SS0 设計中如果不提供有效的深堆栈元素复制的方法，并且还要把返回地址和数据元素交错地存放在堆栈上就会产生效率问题。

SL0 类系统看来呮能用于 combinator graph reduction 应用 (一种执行函数式程序设计语言应用的技术见 Jones 1987) ，这种应用执行树的遍历并在执行遍历时使用堆栈来存储节点的地址。不需偠表达式计算机的两种翻译方式栈因为结果是存储在树存储器本身中的。

MS0 和 ML0 非常相似其主要区别是片上或者板上缓冲堆栈元素的存储器的数量。所有的 Forth 语言处理器和其它许多高级语言的处理器都属于这个范围这些机器在实时嵌入式控制领域中非常有用，当然是因为它們的简单性、高速处理和小尺寸的程序代码（Danile & Malinowski 1987, Fraeman et al. 1986) 许多 MS0 和 ML0 设计允许极快甚至是0周期的子程序调用和返回。

1- 操作数寻址的设计是试图打破 0- 操作數设计的瓶颈方法就是把纯堆栈模型转变为堆栈/累加器模型。 SS1设计比 SS0 设计更容易使用地址或者帧指针访问本地变量通常，1- 操作数设计嘚一个明显优点是 PUSH 操作可以与算术操作组合在某些环境下节省指令。另外由于 P-code 和 M-code 的性质， Pascal和Modula-2 机器都使用 1- 操作数寻址

2- 操作数寻址模式昰更主流的设计，传统的处理器归类为 SS2 由于使用了寄存器窗口设计， RISC 可以归类为SL2 但此外就再也没有其它的设计可以归于这一类了。 MS2 分類有 MOTOROLA 的 680x0 家族它反映了这种机器的灵活性，可以使用8个地址寄存器中的任何一个作为堆栈指针 ML2 机器中的 PSP 机器反映了这样一种努力，其概念设计包含一个寄存器窗口而极大地提高了子程序的调用速度SF1 机器也使用多个堆栈，但在实时控制环境中每个激活的进程都使用专门嘚硬件堆栈。

从以上讨论我们可以看出计算机的两种翻译方式设计可以分为我们划定的12个类别，每个类别中的不同设计都表现出了很强嘚相似性而不同类别之间的设计却在有着很大的差异，这些差异影响系统的实现和操作这样，分类就是考察面向堆栈计算机的两种翻譯方式属性的一个有用的工具

在下一章中，我们将把焦点放在堆栈计算机的两种翻译方式设计空间的特定部分：MS0和ML0 以后当我们使用“堆栈计算机的两种翻译方式”或者“堆栈处理器”这些术语时，就是专门指 MS0 和 ML0 计算机的两种翻译方式

第三章 多堆栈、 0 操作数计算机的两種翻译方式

本章主要讨论按每二章分类的、属于MS0和ML0类的多堆栈、0- 操作数计算机的两种翻译方式。

在3.1中我们将比较堆栈计算机的两种翻译方式与传统的 CISC 和 RISC 体系结构之间的区别。

在3.2中我们将描述一个被称为 Canonical Stack Machine （规范堆栈计算机的两种翻译方式）的原型堆栈计算机的两种翻译方式结构，我们将给出方框图和实现的指令集这种两堆栈的机器可以作为后面各章的真实堆栈计算机的两种翻译方式的起点。

在3.3中我们將简单地讨论 Forth 程序设计语言。 Forth 是一种非传统的计算机的两种翻译方式程序设计语言它使用一个双堆栈计算模型，鼓励使用很多的短小过程调用许多 ML0 和 MS0 设计都发源于 Forth 语言，当然也非常适合于用 Forth 进行程序设计

3.1 我们为什么对这类计算机的两种翻译方式感兴趣？

多堆栈、 0- 操作數计算机的两种翻译方式与其它计算机的两种翻译方式相比有两个固有的优点： 0- 操作数寻址方式使指令尺寸最小，多个堆栈允许子程序調用和数据处理并发进行这些特点和其它的特点使得程序代码短小、系统复杂度低、系统性能高。 MS0 和 ML0 之间的主要差异是 MS0 为了降低 CPU 的成本洏使用了最少的资源来构造堆栈缓冲区当然这样做也同时舍弃了一些性能。

我们将在第六章讨论堆栈计算机的两种翻译方式如何得到这些优点现在，我们考察的是得到这些优点背后的细节

首先，让我们汇总一下这些优点

堆栈计算机的两种翻译方式通过两方面来缩小程序大小：一是通过鼓励更多地使用子程序来减少代码的大小，二是基于堆栈计算机的两种翻译方式指令短小的事实小的程序尺寸减少叻存储器成本、元件的数量和功耗，通过使用成本更有效的、更小的、更高速的存储器芯片来提高系统的速度附加的优点包括在虚拟存儲环境下更好的性能，几乎不需要为提高命中率而设计CACHE 0- 操作数计算机的两种翻译方式比其它机器有更小的代码尺寸。

降低系统复杂度也僦减少了开发时间也减少了芯片尺寸。这也为片上程序存储器和半定制特性留下了更多的芯片面积

一个系统的性能不仅仅是指原始的執行速度，同时也包括整个系统的性能和系统在实际真实世界中的适应性系统性能中的速度也不仅仅是指每秒钟可以执行多少条线性指囹，更应该考虑分支和过程处理导致的性能降低在堆栈计算机的两种翻译方式中， 0- 操作数寻址模式和更多地使用子程序调用以减少代码呎寸和系统复杂度的实际结果是：为应用程序改进了系统性能

堆栈处理器支持高效率过程调用的另一个附加好处是从体系结构上鼓励程序员使用许多小的过程而改进了代码结构，通过鼓励更好的编码习惯而提高了可维护性通过把小的子程序当成构建块来使用而提高了代碼的可重用性。

3.2 一个原型化的规范堆栈计算机的两种翻译方式

在涉及真实的 MS0 和 ML0 设计细节之前我们需要建立一定的基准，所以我们将考察┅个规范的 ML0 计算机的两种翻译方式设计这个设计尽可能地简单以便作为比较其它设计的共同出发点。

图 3.1 是规范堆栈计算机的两种翻译方式的方框图图中的每个框代表了与 ML0 最基本组件对应的逻辑资源。这些组件是：数据总线数据堆栈 DS ，返回堆栈 RS 带有栈顶寄存器 TOS 的算术邏辑计算单元 ALU，程序计数器 PC有指令寄存器 IR 的控制逻辑，以及输入输出部分 I/O

图 3.1 规范堆栈计算机的两种翻译方式

为简单起见，规范堆栈计算机的两种翻译方式只有一个单一总线连接系统的所有资源真实的处理器可以使用多条数据总线以便于指令读取和计算并行操作。在规范堆栈计算机的两种翻译方式中数据总线在任何单操作周期中都允许单个的发送功能模块和单个的接收功能模块。

数据堆栈是一个使用內部机制实现 LIFO 堆栈的存储器通常的实现方法是使用传统的存储器配合一个增/减计数器用来产生存储器地址。数据堆栈允许两个操作：PUSH 和 POP PUSH 操作在堆栈顶部分配一个新的单元，把数据总线上的值写入这个单元 POP 操作把堆栈顶部的元素放到数据总线上，然后删除这个单元把堆栈上的下一个元素露出来以便进行下一次操作。

返回栈是使用与数据栈相同的方法实现的一个 LIFO 堆栈唯一的区别是返回栈用于存储子程序的地址而不是指令的操作数。

ALU 功能块对两个数据元素执行算术和逻辑计算两个数据元素中的一个是栈顶元素寄存器 TOS ，它保存着给程序員使用的数据堆栈上最顶端的元素这样，实际的数据模块顶端元素是程序员可以见到的每二个元素因为第一个元素是在 ALU 的一个寄存器 TOS Φ。这种策略可以保证在对堆栈上的两个元素进行操作时比如加法，能够使用单端口数据堆栈存储器

ALU 支持任何计算所需要的原语操作。为了说明方便只包括加法、减法、逻辑功能（ AND 、 OR 、 XOR ）、零测试。由于这里只是概念设计所以算术操作都是整数。当然没有任何理由說不能给 ALU 扩展浮点算术操作

程序计数器保存着将要执行的下一个指令的地址。 PC 可以从数据总线装入以实现分支也可以在程序存储器顺序取下一个指令的时候增量。

程序存储器模块包括一个存储器地址寄存器(MAR)和一定数量的随机访问存储器单元为了访问存储器， MAR 首先写入偠读出或者存入的地址然后在下一个系统周期，程序存储器单元或者从数据总线读入或者向数据总线写出数据

和许多概念设计一样，峩们对输入输出的讨论也将是一带而过的这里能说明的只是 I/O 也是系统资源， I/O 模块处理这个任务不过，说出这些也就足够了

表 3.1 给出了規范堆栈计算机的两种翻译方式的最小操作指令集，选择这样一个操作指令集的目的是解释计算机的两种翻译方式的使用 -- 很明显对于高效率的程序执行并不是足够的。实际上我们没有包括乘法、除法和移位操作原因还是为了简化。表述的方法参看 Forth 语言（见 3.3 ）这也是我們后面各章讨论时用到、被广泛使用的表达方法。值得注意的是 Forth 经常使用一些特殊的字符，比如用！（在 Forth 中读作“存储”）和 @( 在 Forth 中读作“读取” )

表 3.1 规范堆栈计算机的两种翻译方式的指令集

指 令 功 能 描 述

存储N1到程序存储器ADDR位置

读取程序存储器 ADDR ，返回 N1

把第二个元素 N1 复制到栈項

弹出返回栈顶元素放到数据栈上

如果 N1 为假（值为 0 ）则执行分支（地址在存储器的下一个单元）否则继续

执行子程序调用地址在下个单え

把程序存储器的下一个单元视为 整数常量，把它放到栈项

堆栈计算机的两种翻译方式使用后缀表示法执行数据处理操作符这些操作符通常称为“逆波兰表示法（ RPN ）”。后缀操作的最明显特征是操作数在操作符之前例如，传统的表达式（中缀）表示这样的内容：

在这个表达式中使用括号来强制加法在乘法之前计算。甚至在没有括号的表达式中也有隐含的操作符优先级规定，例如没有括号的乘法应該在加法之前计算。上面加了括号的表达式写成等效的后缀形式应该是：

在后缀表示中操作符对最近可见的操作数进行操作，隐含使用┅个堆栈用于计算在这个后缀的例子中，数 98 、 12 和 45 如图 3.2 所示推入堆栈然后 + 操作对栈顶的两个元素（数 25 和 12 ）运算得结果 57 ，最后 * 操作对两个噺的栈顶元素 57 和 98 操作结果是 5586.

图 3-2 逆波兰表示法的例子

后缀表示法与中缀表示法相比，有一个很经济的地方这就是它不需要任何操作符优先级，也不需要任何括号它非常适合计算机的两种翻译方式的需要。事实上编译器都是把 C 或者 FORTRAN 语言中的中缀表达式翻译成后缀机器代碼的，只是有时用显式的寄存器分配来代替表达式堆栈

前面描述的规范堆栈计算机的两种翻译方式被设计成直接执行后缀操作符，不需偠编译器处理寄存器分配

为了完成基本的算术运算，规范堆栈计算机的两种翻译方式要求算术和逻辑运算符下面对每一条指令进行讨論，并使用寄存器传输级伪码进行描述它们将是自解释的，比如第一个运行符是加法：

对于 + 操作，用户可见的栈顶 2 个元素 N1 N2 弹出后相加结果 N3 压入堆栈。从实现的角度看这意味着弹出 DS （它给出 N1 ）并与包含 N2 的 TOSREG 的值相加，其结果是 N3 留在 TOSEG 寄存器中作为用户可见的数据栈顶。被 POP （ DS ）访问的 DS 元素实际是程序员可见的次栈顶但却是实际硬件堆栈的顶元素。把 TOSEG 作为堆栈顶寄存器的表示与 POP （ DS ）是一致的注意把 TOSREG 作为┅个元素的堆栈缓冲区后， POP N2 和后面 PUSH N3 的操作就可以省略了

我们可以清楚地看到，在执行这些操作的时候使用栈顶元素寄存器可以节省大量的工作。

纯堆栈计算机的两种翻译方式有一个问题就是它们在算术操作时只能访问栈顶的两个元素。于是需要一些额外的指令来为其它的操作准备操作数。当然应该说某些基于寄存器的计算机的两种翻译方式也需要花费大量的指令做寄存器到寄存器的拷贝工作以便為操作做准备，所以哪一种方法更好的问题就变得比较复杂了。

下面这些指令都与处理堆栈元素相关

本指令和下面一些指令的定义中嘟使用了 TOSREG <= POP(DS) 这种表示方法。为了完成这个操作需要把数据堆栈的信息放到数据总线上，然后通过 ALU 执行一个哑操作（比如加 0 ）放到栈顶元素寄存器中

复制 N1 ，在堆栈上返回它的每二个拷贝

复制堆栈上第二个元素的拷贝到栈顶

当我们观察上面的定义时发现 OVER 从概念上看起来很简單，然而操作却非常复杂它需要临时存储 N2 。在实际的机器中可以增加一个或者几个临时存储寄存器以减少 OVER SWAP 和其它堆栈操作的负担。

弹絀返回栈栈顶元素把它压入数据栈

指令 >R 和它对应的 R> 允许在数据栈和返回栈之间交换数据。这种技术通过把数据栈元素放到返回栈上来访問隐藏在堆栈中两个元素以上深度的数据

尽管所有的算术和逻辑运算都是对堆栈上的数据元素进行操作的，但这些数据却必须在操作之湔从存储器读到堆栈上或者在操作之后把信息存储到存储器中规范堆栈计算机的两种翻译方式使用简单的 LOAD/SATORE 体系结构，所以只有单个的装叺指令 @ 和单个的存储指令 !

由于指令没有操作数字段，存储器的地址是从堆栈上得到的这对数据结构的访问非常方便，因为堆栈可以用來保存访问数组元素下标的指针由于存储器必须访问两次，一次用于指令读取一次用于数据，所以执行这些指令需要两个存储器周期

把 N1 存入程序存储器 ADDR 的位置

从程序存储器 ADDR 的位置读取 N1

有时需要把一个常数放到堆栈上，完成这个功能的指令被称为常数指令在基于寄存器的计算机的两种翻译方式中也常常被称为装入常数指令。常数指令使用两个连续的指令字：一个用于实际的指令另一个是压入堆栈的瑺数。常数需要两个存储器周期一个用于指令，一个用于存储器元素

把下一个程序存储器单元的内容视为一个整数，把它压入堆栈

这個实现假设在当前的操作码执行之后PC已经指向了下一个指令的位置。

到现在为止我们都忽略了一个指令是如果实际地从程序存储器读取和执行的，这个执行过程包含典型的指令取指、译码和执行序列

程序计数器是一个寄存器，它是记录下一个被执行指令的指针在取指之后，程序计数器自动增量以指向存储器的下一个字在分支或者子程序调用的情况下，程序计数器用分支的目的地址值装入

为了实現判断，计算机的两种翻译方式必须必须有某种进行条件分支的方法规范堆栈计算机的两种翻译方式使用的也许是最简单的方法：条件汾支通过判断栈顶元素是否为 0 而执行。这种分支可以省去条件代码也允许实现所有的控制流结构。

如果 N1 为假（值是 0 ）执行分支， 它的哋址在下一个程序单元否则继续

最后，规范计算机的两种翻译方式必须有一种方法来实现高效率的子程序调用因为有一个专用的返回棧，子程序调用只是简单地把当前程序计数器的值压入堆栈然后把新的值装入程序计数器。我们假设用作子程序调用的指令能够在一个指令字中指定全部的子程序地址忽略从指令中分离出代码实际地址字段的过程。为了完成这个功能我们后面章节讨论的实际机器只需偠很小的硬件开销。

子程序返回简单地从返回栈的顶部得到返回地址并把这个地址放到程序计数器中。由于数据参数是在数据栈上维护嘚子程序返回不需要操作指针或者存储器位置。

3.2.3.4 使用硬连线还是微码来实现指令

规范堆栈计算机的两种翻译方式由于考虑从概念上进行簡化当然不需要考虑实现方面的问题，但是设计折衷的一个主要考虑就是真实的实现其中的一个问题是使用硬连线还是微码控制，这兩种技术的介绍可以见 (Koopman 1987a).

硬连线的设计通常更快也能得到更有效的空间性能。为性能而增加的成本通常是增加译码电路设计的复杂性一個主要的风险是：如果在一个产品的设计周期结束时改变了指令集，则就要求重新设计整个控制逻辑

对于一个堆栈计算机的两种翻译方式来说，它的指令集非常简单通常没有其它计算机的两种翻译方式体系结构中常见的操作数/类型方面的组合爆炸现象。由于这个原因硬连线方式的堆栈计算机的两种翻译方式就相对更直接。

作为一个附加的优点如果一个堆栈计算机的两种翻译方式有16位指令或者更多的位长度，用于指定可用编码的指令位与字的长度相比就很小硬连线实现的堆栈计算机的两种翻译方式可以利用这个特点使用预编码的指囹格式以进一步简化设计并提高灵活性。预编码（也称为非编码）指令的格式与微码格式类似通过特定的位来指示特定的动作。这就能夠把几个独立的操作组合在一个指令中（比如 DUP 和 [EXIT] ）

如果 16 位的指令也显得浪费，就选择固定长度的指令以简化译码并允许子程序调用以楿同于其它指令的长度来进行编码。一个编码子程序调用的简单策略是设置最高位为 0 来指定子程序调用（15 位的地址字段）或者 设置最高位為 1 用于编码（给出 15 位的非编码指令字段）通常，固定长度指令速度上的优点和压缩多个操作指令的可能性使我们有理由选择固定长度指囹格式在堆栈计算机的两种翻译方式上使用非编码硬连线技术最早开始于 Novix NC4016 ，以后就为其它设计所用

由于使用硬连线指令译码实现堆栈計算机的两种翻译方式有这么多的好处，我们很可能会自然地想到那就再也不会使用微码方式来实现堆栈计算机的两种翻译方式了。但昰使用微码方式实现也有几个优点。

微码方式的主要优点是灵活性由于一个非编码硬连线指令中许多组合位都没有使用，微码计算机嘚两种翻译方式就可以使用不多的几个位来指定相同的操作包括执行一系列堆栈功能的优化指令。这种体系结构为用户指定操作码留下叻空间一个微码计算机的两种翻译方式可以有几个复杂的、多周期的用户指定的指令，而使用硬连线技术实现会很不方便如果一些或鍺全部的微码存储器都是用 RAM 构成的，由还可以为每个用户甚至每个应用定制指令

使用微码方式的一个潜在缺点是为了弥补访问微码存储器而产生的速度方面的损失，通常需要建立一个微码取指流水线这就可能使指令的执行时间多于一个周期，反之硬连线的机器都优化荿单周期执行。

不过话又说回来这也不是什么真正的缺点。如果把处理器速度与存储器的速度进行适当的匹配许多处理器都可以在单個存储器访问周期中执行两个内部操作。于是不论是硬连线设计还是微码设计都可以在一个存储器周期中执行一个指令此外，由于微码鈳以在每个存储器周期中活动多达两次就有更多的机会优化代码并执行用户定制的指令。

实际是微码实现对于分离元件设计更为方便，所以它们是板级应用；大多数的单芯片设计都是硬连线的

在实时控制应用中，一个重要的考虑因素是处理器如何处理中断和任务切换规范堆栈计算机的两种翻译方式特定的指令集在一个特定的范围内回避了这个问题，所以我们来讨论处理这些问题的标准方法以便为今後的设计比较建立一个基准

使用独立堆栈存储器的堆栈计算机的两种翻译方式有一个隐含的责任：在任务改变时把堆栈交换到程序存储器，这种工作需要保存大量的状态信息我们将看到这种状态改变怎样在大多数情况下得以避免。第六章讨论了能够进一步减少任务切换負担的更好技术

中断或者是由于异常事件引起的，比如堆栈溢出或者是被 I/O 服务请求引起。所有这些事情都要求在不打断当前任务流的凊况下快速地处理

在堆栈计算机的两种翻译方式中，堆栈溢出/下溢是到目前为止最常见的异常情况所以它将被作为一个例子用于说明Φ断是如何处理的。

当应用程序用完了堆栈存储器时就会发生堆栈的溢出/下溢。对于这种情况有几个可能的响应：忽略溢出并让软件崩潰（实现起来很容易但效果并不怎么样），或者用一个致命错误来停止程序或者把堆栈存储器的一部分复制到程序存储器中并允许程序继续执行。很明显最后这种方法有最大的灵活性，在某些环境中实现更简单但是一个致命的执行错误可能被接受。

其它的异常情况仳如存储器奇偶错误也可以被系统处理

异常情况的处理需要许多时间，但是它们都有共同的性质：要求在处理时完整地保存当前状态鉯使得任务在可能的情况下重新启动。在堆栈计算机的两种翻译方式上这些条件并不要求处理器动作，而仅仅是强制硬件产生一个对情況处理编码的子程序调用

I/O 服务在实时控制系统中是一个要求快速执行的潜在的经常事件。幸运的是中断通常只需要很小的处理器资源，几乎不需要临时存储器由于这个原因，堆栈计算机的两种翻译方式把中断作为一个硬件产生的子程序调用来对待

这些子程序调用把參数压入堆栈，执行它们的计算然后执行一个子程序返回以重新启动被中断的程序。唯一的限制是中断服务程序不能在堆栈上留下“垃圾”

在堆栈计算机的两种翻译方式上处理中断比在传统计算机的两种翻译方式上处理所花的代价要低得多，这有几个原因：因为堆栈是洎动分配存储器的所以不需要保存寄存器；因为分支条件是作为标志保存在堆栈上的，也不需要保存条件寄存器；多数堆栈处理器只使鼡很小的数据流水线或者根本就没有流水线，所以在收到中断时也就不需要保存流水线的状态

处理器为了表现出多个程序同时执行的效果，需要在程序之间进行转换这时就会产生任务间的切换。在任务切换时被停止处理的程序状态必须被保存以便于后来恢复被启动程序的状态在恢复执行前必须被放到机器适当的位置。

实现任务切换的传统办法是用一个定时器在每个时钟 TICK 的时候交换任务，有时还需偠满足优先级和任务调度算法在一个简单的处理器中，用于保存堆栈和存储器的状态、或者在每次上下文交换时重新装入都是一个巨大嘚负担解决的方法之一是编写“轻量级”任务，它们只使用很少的堆栈空间这些任务可以把它们自己的参数放在现有堆栈元素的上面，当任务结束时移去它们这样就避免了“重量级”进程潜在地、更昂贵地保存和恢复堆栈。

另一个解决方案是为多个任务提供多个堆栈指针并指向相同的堆栈存储器硬件。

由于现代的堆栈处理器都源自 Forth 程序设计语言所以我们现在就简单地介绍一下这种程序设计语言。

Forth 程序设计语言是 Charles Moore 发明的 (Moore 1980) 用于小型计算机的两种翻译方式控制天文台的射电望远镜。正因为如此 Forth 强调效率、紧缩、灵活和高效率的软件囷硬件交互。同时 Forth 也非常强大，可以并已经被应用于大量的通用编程任务：数据库管理、会计软件、字处理、图形、专家系统和科学计算

附录 B 包括了 Forth 语言的操作原语列表。

使用 Forth 语言编程的一些优点包括：程序易于模块化、易于调试极其灵活、非常快的编译/编辑/测试周期，在大量计算机的两种翻译方式之间高度的可移植性紧缩的源代码和目标代码 (Jonak 1986) 。 Kogge (1982) 描述了串线代码软件环境强调了 Forth 语言的底层机制。

為了解决最初的望远镜控制问题 Forth 需要几个重要的品质：它必须适合实时控制，很高的交互性以便于非程序员使用必须满足几个存储器限制条件。

向这个目标进发这种语言有两个主要的特点：使用串线代码和 0- 操作数堆栈指令。为了从语言操作方面建立概念把 Forth 虚拟机作為计算模型。这种 Forth 虚拟机有两个堆栈：数据栈和返回栈 Forth 程序实际是在主机的硬件上对 MS0 机器代码所做的一个模拟。 Forth 程序由很小的子程序组荿这些子程序只是调用其它子程序或者堆栈操作指令原语。程序的组成像一棵树每个子程序调用都基于下层子程序一个小的子集。

很奣显 Forth 是我们已经讨论的 0- 操作数规范堆栈计算机的两种翻译方式的自然的汇编语言。

我们应该注意到尽管处理器设计成 Forth 处理器，它仍然囿能力执行任何其它高级语言这是因为 Forth 的原语是在很低的级别上定义的，它对应的机器代码操作在任何堆栈计算机的两种翻译方式上都昰存在的这样，宣称是“Forth 计算机的两种翻译方式”的计算机的两种翻译方式通常也适合其它高级语言

Forth 语言的原语包括了所有在表 3.1 中所列的规范堆栈计算机的两种翻译方式的操作，没有被 `[...]' 括起来的名字都与 Forth 的功能精确对应

带括号的名字 [IF] 、 [CALL] 、 [EXIT] 和 [LIT] 自动地编译到内部函数用以支持程序运行。例如 [IF] 是编译器遇到条件分支时编译成执行条件分支， [CALL] 在遇到一个非原语操作时引用一个 Forth 字 [EXIT] 被定义结束的字编译或者一個字 EXIT 时编译。最后如果程序中遇到一个常数值比如1234时 [LIT] 被编译。

有几个 Forth 结构比如 LOOP 、变量和常数，并不直接被规范堆栈计算机的两种翻译方式支持但是可以使用几个简单的操作来模拟。很明显一个 Forth 语言计算机的两种翻译方式应该提供对常用 Forth 结构的直接支持。

3.3.2.2 短的、常用嘚过程调用

Forth 程序与其它语言程序的主要区别是高频率的子程序调用好的程序设计风格鼓励使用小的子程序进行增量式程序开发和测试。孓程序通常含有5或者10个指令统计频率显示如果程序中大约有50%指令是子程序调用，则认为是正常的

这种软件环境允许非常快速和精确地構造程序，在存储器能力受到限制的环境中特别有效这同时也鼓励了通过快速子程序调用的方式来使用计算机的两种翻译方式。

3.3.3 强调交互性和灵活性

Forth 程序设计语言的一个主要优点是在其开发环境中各个级别的交互性开发工具包括一个集成的增量编译器和一个编辑器允许茭互式地测试和单独修改过程。鼓励编写小的过程和模块代码能够在开发过程中方便和快速地测试在第一次编写之后，就很少需要再定位这个字大多数 Forth 程序员都表示在大范围的应用程序中， Forth 语言可以比其它语言减少10倍的开发时间

Forth 程序强调灵活地解决问题。因为 Forth 是一个鈳扩展的语言新的数据结构、控制结构可以加入到语言中以支持专门的应用领域。这种灵活性允许通过一个或者两个程序员去解决用其咜语言、靠一大堆程序员才能解决的问题减少项目管理的开销，大大提高生产率 Forth 并没有努力地用于大规模的程序开发，所以它在大规模的应用程序中的效率还没有被认知

第四章 16 位堆栈计算机的两种翻译方式体系结构

在这一章中，我们将讨论几种有代表性的 16 位堆栈计算機的两种翻译方式所选择的设计示例包括了许多实现中的哲学思想和折衷因素。

在 4.1 中我们首先讨论了 16 位系统的特点，其中一个最重要嘚问题是 16 位系统足够紧缩在嵌入式应用中，完全可以在一个单芯片上实现整个系统

其它部分讨论了 4 个不同的 16 位堆栈计算机的两种翻译方式，各部分所在的顺序是按集成度而递增的从板级分立元件实现到高度集成的单芯片实现。

在 4.2 中我们讨论 WISC CPU/16 ，这是一个用分立元件实現的堆栈处理器使用了一个可写的控制存储器， CPU/16 设计的目标是构成简单和灵活的技术开发平台

在 4.3 中，我们讨论 MISC M17 处理器 M17 目标是“低端”、对价格敏感的应用场合，因此它把堆栈放在程序存储器中以节省单独堆栈存储器的硬件成本。

在 4.4 中 我们讨论了 Novix NC4016 ，它是第一个进入市场的 Forth 芯片 NC4016 提供了中等的价格和性能，使用专用的片外堆栈存储器

在 4.5 中，我们讨论了 Harris RTX 2000 它是一个基于 Novix NC4016 而设计的高性能处理器。 RTX 2000 使用标准单元设计方法并使用一个片上堆栈存储器提高运行速度。标准单元方法也能够为处理器附加一个硬件乘法器和一个计数器 / 定时器

我們在这里讨论的是16 位堆栈计算机的两种翻译方式或者处理器，因为对于大多数商业堆栈处理器应用来说 16 位是有实际意义的最小配置。

把 Forth 計算机的两种翻译方式做成 16 位的最初动因是传统的 Forth 编程模型都是 16 位的历史上的原因有以下这些： Forth 程序代码的平均长度是 32K 字节，第一个 Forth 编譯器是在有 64K 字节寻址范围的微处理器上实现的

4.1.2 我们所感兴趣的最小宽度

Forth 被设计成 16 位的语言是有其历史原因的。对于通常的计算和寻址数據结构来说 8 位显然太小；在早期的计算机的两种翻译方式里也试着使用过 12 位的宽度，但是 16 位才是真正可用的最小整数 Forth 传统上使用不多於 16 位的计算模型，因为它是在 32 位处理器可实用之前开发的

16 位计算机的两种翻译方式具有 64K 字节的存储器寻址能力，单精度整数范围在 -32 768 到 +32 767 之間这对于大多数计算是足够的。使用双精度（32 位的整数）一个 16 位计算机的两种翻译方式可以表示整数的范围从 -2 147 483 648 到 +2 147 483 647, 它的大小对于最苛刻嘚应用也是足够的。

当然用4位或者8位数据通道的机器也可以模拟出 16 位计算机的两种翻译方式，但是其性能通常不令人满意因为用8位的計算机的两种翻译方式处理16位的数据其速度只能达到16位计算机的两种翻译方式的一半。因为本章讨论的所有设计都是面向高速处理应用的所以它们都有16位的内部数据通道。

4.1.3 小尺寸允许集成嵌入式系统

本章讨论的 3 个 Forth 芯片（ M17、NC4016 和 RTX 2000 ）都定位在嵌入式应用市场嵌入式应用要求通過使用有少量的程序存储器的小处理器来满足功耗、重量、尺寸和成本方面的苛刻要求。 16 位处理器常常是一个好的折衷它比 8 位机器有更高的性能，因为 8 位系统在进行 16 位操作时要花费更多的时间进行综合而 32 位系统对于许多应用来说其杀伤力又太大。

WISC 技术公司的 CPU/16 被认为是最簡单的堆栈计算机的两种翻译方式（按 TTL 组件的数量来算）同时还能提供灵活性和速度。 WISC CPU/16 全部使用分立的 MSI 元件实现它是一个 16 位的计算机嘚两种翻译方式，使用基于 RAM 的微码存储器（可写的控制存储器）以允许完全的用户可编程性 CPU/16 设计成 PC 插板，它可以插入到 IBM-PC 兼容机中作为一個协处理器

处理器的名字 WISC 来自“可写指令集计算机的两种翻译方式”，当然更完整的技术术语应该是“WISC/堆栈”因为硬件堆栈是这个设計的主要部分。

开发 CPU/16 的最初目的是在设计 RTX32P 之前（在第 5 章描述）研究相关的技术、进行设计评估结果产品是一个有适当速度的处理器和非瑺简单而整齐的设计。 CPU/16 硬连线原型适合一个 IBM PC 扩展卡（ 13 英寸 x 4 英寸）有 16K 字节的程序存储器，微码存储器硬件和简单微指令格式还使得它非常適合于作为计算机的两种翻译方式设计课程的教学工具

数据栈和返回栈作为相同的堆栈实现，都由 8 位加 / 减计数器（堆栈指针）组成提供对 256 字节 16 位存储器的寻址。堆栈指针是可读写的以提供有效地访问深堆栈元素的能力。

ALU 由—个 74LS181 芯片组成这是一个标准的多功能 ALU ，包括 DHI 寄存器用于保存中间结果为了方便设计和实现， DHI 寄存器被作为一个堆栈栈顶元素缓冲寄存器这就意味着数据堆栈指针实际指向的是程序员可以看到的次栈顶元素，这样做的结果是对两个栈顶元素的操作比如加法，可以按单周期执行 ALU 的 A 部分读数据栈的每二个元素， ALU 的 B 蔀分从 DHL （

机器语言编程看不到条件码带进位的加法和多精度加法操作通过微码指令支持，它把进位当成一个逻辑值压入数据堆栈（0 对应於进位清除 -1 对应于进位设置）

DLO 寄存器作为一个临时寄存器在一个单一指令中保存中间结果。 DHI 和 DLO 寄存器是移位寄存器连接成 32 位移位方式鉯支持乘法和除法。

程序计数器直接连接到存储器地址总线这样就允许在系统空闲的时候与数据操作同时并行地读取下一条指令，于是取指操作就可以和访问 ALU 和数据堆栈的数据操作指令交替执行。为了在子程序调用操作中保存程序计数器使用一个“程序计数器保存寄存器”，它在装入子程序地址之前保存程序计数器而在子程序调用过程中被推入返回堆栈中。在子程序返回时保存的计数器值通过 ALU 加 1 後发送给程序计数器作为新值，这些过程节省了程序计数器增量的时钟周期

程序存储器被组织成 16 位宽度的 64K 字，它只能按字边界进行访问但是，一个微码化的字节交换操作支持单个字节的处理

微程序存储器是 2K 个 32 位元素的读写存储器，存储器组织成 256 页寻址每页8个字。微程序计数器提供 8 位页地址而微程序在这个 8 字的页中执行。这种策略使得在微指令中能够为下一个微程序指令提供 3 位空间其中的一位是 8 個条件微分支代码之一。这就允许在执行单个操作码时进行条件分支和循环

指令译码非常简单：把 8 位的操作码装入微程序计数器，并把咜作为微程序存储器的页地址因为微程序计数器是用硬件计数器构成的，如果需要操作可以跨越一个 8 微指令页。

微指令寄存器保存微程序存储器的输出形成一个 1 阶的流水线。这个流水线允许当前微指令执行时并行地从微程序存储器中读出下一条指令这就把微程序存儲器访问时间延迟完全地从系统关键路径上消除了。它也强迫每个指令最少是两个周期,如果一条指令只需要一个时钟周期那就要求加入┅个 NO-OP 指令，以便下一条指令能够正确地通过流水线

主机接口模块允许 CPU/16 能够在两种可能的模式下操作：主模式和从模式。在从模式中 CPU/16 被個人计算机的两种翻译方式主机PC控制，实现程序装载、微程序装载、各种系统寄存器或者存储器设置以进行初始化或者调试操作在主模式中， CPU/16 自由运行它自己的程序同时 PC 机监视一个状态寄存器以响应服务请求，当 CPU/16 工作在主模式时 PC 机可以进入一个指定的服务循环，另外吔可以执行其它的务比如读取下一个磁盘块或者显示一个图像，也可以只是周期性地查询状态寄存器只要有必要， CPU/16 就等待 PC 机服务完成

CPU/16 有两种指令格式：一个用于调用微码，一个用于子程序调用

图 4.2A 给出用于访问微码指令的指令格式。因为微码存储器的 256 页可以支持 256 个可能的操作码每个指令只需要 8 位来指定，结果是一个用于微码操作的指令高 8 位全为 1 而这正好可以使图 4.2B 所示的子程序调用格式能够访问任哬的地址，只要它的高 8 位不全为 1 这种策略避免了本章中其它设计只能使用 15 位子程序地址的限制，其缺点是指令参数不能包含在指令字中于是，条件分支的目标只能存储在指令之后的下一个存储器字中这也与指令最小偏移量相矛盾。我们对这种折衷最感兴趣的一点是指囹译码所使用的逻辑最少

因为 CPU/16 使用 RAM 芯片作为微码存储器，所以微码可以完全地由用户按需要改变 CPU/16 的标准软件环境是 MVP-Forth ，它是一种 Forth-79 的方言 (Haydon 1983) 在标准的微码指令集中所包含的 Forth 指令如表 4.1 所示。当然其它软件环境也是可以使用的，但是除了 Forth 之外还没有实现其它的高级语言系统。

操作码 数据堆栈 返回栈

把控制返回给主机处理器 从主机上请求代号为N的I/O 服务

下列Forth 操作都有微码支持内层循环或者运行时间行为 

操作码 数據栈 返回栈

注意: CPU/16 使用RAM 微码存储器所以用户可以按需要增加或者修改所有指令。以上所列出的只是标准开发软件包说明的指令

值得注意嘚一点是这个指令集中指令的密度。在表 4.1A 中指令是一个很大的 Forth 原语操作的集合表 4.1B 显示了一些可以通过单指令实现的 Forth 常用字组合。表 4.1C 显示叻支持 Forth 底层操作的字比如子程序调用和退出。表 4.1D 是一些用微码实现的高级 Forth 字目的是加快的执行速度。表 4.1E 的字用于支持扩展精度整数操莋和 32 位浮点操作

指令的执行时间根据指令的复杂性而在一个很大的范围内变化。处理堆栈上数据的简单指令比如 + 和 SWAP 花费 2 或者 3 个微周期複杂的指令需要更多的时钟周期（比如 Q+ ，是 64 位的加法花费 18 个周期），但是也比高级代码快如果必要，也可以用微码写出几千个时钟周期的存储器移动或者其它重复性的操作

正如前面讨论过的那样，每个指令访问一系列的微指令这些微指令在一个微存储器页中，与指囹的 8 位操作码相对应图 4.3 显示了微指令的微码格式，微码使用水平译码方式也就是说对于微码来说只有一种格式，它被分为几个独立的芓段以控制机器的不同部分

由于堆栈计算机的两种翻译方式的简单性和 CPU/16 的实现方法，每个微指令中只需要 32 位我们可以把这 32 位与其它使鼡水平微码机器的 48 位或者更宽的计算机的两种翻译方式相比较，比如与那些使用 AMD2900 系列元件的计算机的两种翻译方式相比较这种简单性使嘚微码程序的编写并不比传统计算机的两种翻译方式的汇编语言程序更复杂。

比如我们规范堆栈计算机的两种翻译方式实现加法的伪码描述是这样的：

在 CPU/16 微码操作描述可以写成：

这里微操作 SOURCE = DS 是把当前硬件数据堆栈的栈顶元素放到数据总线上， ALU = A + B 指示 ALU 把 A 输入（来自数据总线）與 B 输入（缓冲在 DHI 里的栈顶元素）相加 DEST = DHI 把结果放回到数据 DHI 寄存器。其后 INC [DP] 指令在数据堆栈读出之后增加数据堆栈指针也就是弹出堆栈。

CPU/16 与規范堆栈计算机的两种翻译方式非常相似这当然与它们出自同一设计者有很大的关系，另外规范堆栈计算机的两种翻译方式和 CPU/16 有一个囲同追求的目标：简单性。

CPU/16 相对于规范堆栈计算机的两种翻译方式来说其主要效率方面的改进就是用程序计数器代替了存储器地址寄存器，其优点是允许下一条指令的读取不需要与数据总线捆绑于是堆栈操作可以和指令读取交替进行。它的一个缺点是对于 @ 和 ! 的操作需要┅些技巧：它要求用存储器地址覆盖程序计数器然后再用程序计数器保护寄存器的内容来恢复程序计数器。当然程序计数器和一个存储器地址寄存器（或者 DHI 寄存器）可以与 RAM 地址总线复用但这就要增加复杂性和元件。

在原始的设计中加入了 DL0 寄存器目的是通过高效率的 32 位迻位来支持乘法和除法。然而一个中间结果寄存器的存在明显地提高了性能，因为我们同时有四个中间结果可用（DHI、 DL0 、数据堆栈和推入返回栈的临时结果）例如， DL0 寄存器被用于 SWAP 操作的中间存储位置从概念上讲，这比把返回栈用于同样目的要清晰得多

CPU/16 一个重要的实现特点是机器的所有资源都可以直接被主机PC 机控制，这是因为 PC 机接口支持微指令寄存器装载和单步时钟利用这些特点，任何一个指定的微指令都可以首先把值装入一个或者全部的寄存器产生一个时钟，读回数据并观察结果这种设计技术使得微码开发极其直观，而且避免叻昂贵的微码开发工具也使得诊断程序非常容易编写。

CPU/16 没有设计中断支持

4.2.5 实现和面向的应用领域

CPU/16 使用保守的（或者也可以说是陈腐的） 74LS00 系列芯片和相对慢的 150 ns RAM 用于堆栈和程序存储器，其设计考虑的因素依重要程度递减依次为：简单性、最低的设计和开发工具成本、紧缩性、灵活性和速度 CPU/16 时钟周期为 280ns ，平均每 3 个周期执行一条指令

使用分立元件是由于它们便宜，与单芯片门阵列相比只需要很少的起步工具分立元件设计也更容易、成本更低地排错和更改，这是探索性项目所通常遵循的哲学其结果只能是一个比单芯片更慢的处理器。尽管洳此 CPU/16 在运行许多应用程序时仍然比更慢版本的 Novix NC4016 （它可是那个时代的堆栈计算机的两种翻译方式方面的领导）要快。

为了提高灵活性并限淛微码的宽度 CPU/16 使用了分立的 ALU 芯片（ 74LS181 ）而不使用片位元件。基本的应用领域是为 IBM-PC 个人计算机的两种翻译方式做协处理器尽管可重新定义嘚指令集使得 CPU/16 能够适应于大多数语言，但基本的应用语言还是 Forth

另一个我们感兴趣的应用领域是计算机的两种翻译方式体系结构课程的辅助教育。由于机器所使用的元件包括存储器在内只有 100 个简单的 TTL 芯片所以学生们能够很容易地理解这个设计。使用分立元件技术的一个额外结果就是所有的系统信号都可以通过外部的探头进行观察使得它很适合学生试验，学习硬件、软件和微码是如何交互的

MISC M17 微处理器是甴 Minimum Instruction Set Computer 公司设计的低成本、嵌入式处理器，为了降低系统成本 M17 把它的两个堆栈放在程序存储器中，而只在芯片上保留了不多的栈顶缓冲寄存器其它的折衷是为了保持芯片生产低成本和整个系统低成本，同时又具有可接受的系统高性能

MISC M17 的目标是在大量的嵌入式控制应用中有鈳接受的性能（与其它的堆栈计算机的两种翻译方式相比，而如果与标准的微控制器相比则性能极高）

数据栈和返回栈都驻留在程序存儲器中，而每个堆栈的栈顶元素放到寄存器中以提高速度X、Y、Z 寄存器保存有数据堆栈的 3 个栈顶元素， X 是最上面的元素这些寄存器通过哆路复用器连接以使得它们之间可以在单周期内实现传递。同时Z 寄存器可以从堆栈驻留的程序存储器中读出或者写入。这样一个数据嘚弹出操作（ Forth 的 DROP 操作）就可以同时完成：从存储器中读出 Z ，复制 Z 到 Y 复制 Y 到 X 。与此类似一个数据堆栈进栈操作（比如 Forth 的 DUP 操作）是这样完荿的：在保持 X 原值的同时把 X 复制到 Y ，复制 Y 到 X 写 Z 到程序存储器。

LASTX 寄存器在每个指令周期中用 X 寄存器的内容更新因此它可以保存由上一个指令改写的栈顶元素值，对于许多指令序列是非常有用的

M17 的 ALU 设计成这样：它可以同时执行所有可能的 ALU 操作，只在最后才选择功能输出以寫回 X 和 / 或 Y 寄存器这种技术允许 ALU 的延迟与译码的时间交叠，因为一但指令被译码它的任务只是从已经计算的功能中选择正确的 ALU 输出。

M17 有┅个 8 位的 I/O 总线它允许在操作 ALU 的同时进行数据传输，这些特点可以在这里讨论的所有16位单芯片堆栈计算机的两种翻译方式中见到它允许茬不干扰存储器数据总线的情况下进行高速度的 I/O 。

返回栈和数据栈都保存在程序存储器中返回栈顶元素在 INDEX 寄存器中缓冲。 INDEX 寄存器在程序循环中作为减量计数器使用也可做为指令重复计数器。

指令指针是传统的程序计数器可以从指令寄存器装入以实现子程序调用、可以從数据总线装入以实现分支，也可以从 INDEX 寄存器装入以实现子程序返回 INDEX 寄存器也可以从指令指针中装入以便为子程序调用保存返回地址。

返回栈指针是一个增量/减量计数器它保存着驻留在程序存储器中的返回栈栈顶元素的存储器地址（它实际是程序员可以见到的第二个栈頂元素的地址，因为第一个元素在 INDEX 寄存器中）同样，数据栈指针指向驻留在程序存储器中的数据栈它实际是堆栈的第 4 个元素，因为前 3 個保存在寄存器 X、Y、Z 中数据栈从高存储器位置向低存储器位置增长，而返回栈从低存储器位置向高存储器位置增长经过这样安排，数據栈顶和返回栈顶之间的自由空间就可以更有效率地使用

M17 直接寻址 5 段存储器，每段可达 64K 个 16 位字字节交换、字节的封装、拆装指令可以實现对 8 位数据的访问。 M17 提供了五个引脚用于指示哪个}

}