在我前两篇文章里(?介绍了XCM的设计和版本结构的基础知识。在本文中，我们将深入研究它的底层设计和执行模型。因为XCM基于XCVM指令集，希望本文可以帮助你熟悉这个机器架构。
XCVM是一个高级别、非Turing的完整虚拟机。它是基于寄存器的，并且有几个专用寄存器，其中大部分持有高度结构化的数据。与通用处理器不同，XCVM的寄存器不能随意设置为任意值，但有严格的机制来控制它们的变化。除了某些与本地链状态交互的方法之外，没有额外的“内存”。没有循环的可能，也没有显式的分支指令。
我们已经介绍了其中两个登记册：持有登记册，能够临时持有一项或多项资产，并可以通过从本地链中提取资产来填充，或者通过从可信的外部来源接收资产；以及来源登记册，在执行开始时，该登记册持有共识系统的位置，从该系统当前XCM执行起源，并可能只突变到一个内部位置或完全清除。
在其他寄存器中，三个涉及异常/错误管理，两个涉及跟踪执行权重。我们将在本文中了解它们。
执行模型
如前所述，没有显式条件指令或循环原语可以多次重新执行相同的指令。这使得预先确定程序的控制流变得相当琐碎。该属性非常有用，因为我们希望确定XCM消息在执行点之前可以使用多少执行时间(称为整个Substrate/Polkadot的权重)。
允许图灵完备语言的系统实际上不能直接从程序中计算最坏情况的执行时间，这是由于图灵的完备性。他们通过要求用户预先确定程序的执行资源来解决这个问题，然后在程序执行时对其进行计量，如果超出了所支付的金额，就中断它。有时，在事务执行之前，事情会发生变化，权重会变得不正确。令人高兴的是，像XCVM这样的非Turing-Complete的虚拟机可以避免这种度量和权重的需要。
权重
权重通常表示为一个代表性硬件执行给定操作所需的整数。正如我们在BuyExecution指令中看到的，在处理某些指令时，XCVM包含了执行时间/权重的概念。
波卡创始人Gavin：波卡可能取消平行链竞拍，并转变到以应用为中心:7月7日消息，波卡创始人Gavin Wood在Polkadot Decoded大会上发表演讲称，波卡可能会取消平行链竞拍，并转变到以应用为中心的模式。他提出了一个新的看待波卡的角度：不再受限于原有的平行链、中继链，而是聚焦于区块链所需的更底层资源——计算核心（核），将波卡看作一个多核计算机。
Gavin 解释说，波卡的目标不仅仅是关于链，而是关于空间，关于链所需的底层资源。他强调，波卡是让构建者去创造应用，让用户去使用应用的平台。从本质上说，它不是托管区块链的平台。链刚好是让波卡变得有用的方式之一，但可能不是唯一的方式。总的来说，波卡是一个很有韧性的、通用的、连续计算的提供商。[2023/7/7 22:23:24]
没有权重计量，但是考虑到XCVM程序最终获得的可能性小于最坏情况下的重量预测，我们有一个名为剩余权重寄存器的寄存器。因为我们可以准确地预测他们将占据多少权重，所以大多数指令不接触它。然而，有时候，最坏情况下的权重预测是一个高估的情况，只有在执行时，我们才知道有多少。虽然占块执行时间的权重估计过高的XCM消息，跟踪原始权重被高估的数量，并从帐户中减去它，允许链优化其块执行时间的配额。
流量控制和例外情况
到目前为止，我们对XCVM的处理中已经隐含了另外两个寄存器，但是了解它仍然很重要。首先，有一个程序登记册，它存储当前正在执行的XCVM程序。其次是程序计数器，它存储当前正在执行的指令索引。当程序寄存器被更改时，这将被重置为零，并在每个成功执行的指令结束时增加一个。
在编写代码时，处理“异常”情况的能力是至关重要的。当在远程系统上发生了一些您没有预料到的事情时，那么您就需要某种方法来管理它，即使它只是简单地将一个报告发送回源，声明同样的内容。
虽然XCVM指令集不包含任何显式的通用分支指令，但它的执行模型中确实内置了一个通用异常处理框架。XCVM还包括两个代码寄存器，每个寄存器都包含一个像ProgrammeRegister这样的XCVM程序。这两个寄存器称为附录寄存器和错误处理程序寄存器。如果您熟悉几种流行语言中的try/catch/finally异常系统，那么接下来要做的事情可能会让人想起很多事情。
Gavin Wood：波卡平行链可能超过100条，生态中可能还会出现第三条中继链:近日，Polkadot创始人Gavin Wood在The Defiant播客中聊到“同为分片，波卡和以太坊2.0的区别”等话题。
Gavin称，我觉得两者在产品层面上的主要区别就是，在Polkadot中，你可以租到整个分片，而以太坊（2.0）则一直在试图坚持以太坊模型，只不过让这个模型变得更具可扩展性，扩展性基本是来自拥有更多的工作流，让一些智能合约运行在这个分片上，一些智能合约运行在另一个分片上。而Polkadot的想法产生于‘如果这些分片不一定非要是智能合约呢？如果它们可以是任何的链会怎样呢？如果说它们中的一个只专注于域名注册，另一个只专注于DeFi，另一个只专注于NFT呢？’这样做会不会有什么优势呢？
对于我来说，答案当然是有优势，因为有很多高吞吐量的应用，有时候你知道你肯定需要为这一个应用处理很多的交易，比如DeFi，那么专业化就很有必要，因为你对性能的要求极高，但同时你又有机会去做实验，你可以在不同的链上尝试不同的想法，不会拘泥于一个智能合约的模型，你甚至可以有多种不同的做智能合约的方式。其实现在也有不同的链在推动不同的智能合约模型，有的可能是非图灵完备，有的有存储手续费有的没有。我认为实验是让区块链伟大的地方，Polkadot可以同时进行100来个实验，这是让我很激动的一点。
针对波卡生态是否会有其他中继链，Gavin表示，可能还会有另外一两个，其中一个他看到的趋势是联盟类型的链，也就是专门为产业、企业、组织打造的链。他们可能想要联合起来并互相沟通，但是却不想成为某条公链的一部分，可能觉得没有必要加入另一条链的经济系统。对于这些链来说用Polkadot就更合适，因为Polkadot不会介入到所有交易中。所以理论上说，我们可能会看到一些中继链通过桥连接到Polkadot中继链，这些也可以被看作是广义上的Polkadot生态。（PolkaWorld）[2022/3/11 13:51:12]
如前所述，XCVM程序的执行遵循其中的每一条指令，一步一步地执行。当它按照这些指令执行到程序结束时，将发生两种情况之一：要么成功地到达程序结束，要么发生错误。在第一个成功执行的情况下，错误寄存器被清除，其重量添加到剩余重量寄存器。附录登记册也被清除，其内容被放入方案登记册。如果节目登记册空着，我们就停止。否则，节目计数器复位为零。简单地说，我们扔掉当前的程序和错误处理程序，开始执行附录程序。
Gavin Wood：即将发布跨共识消息格式XCM:9月7日消息，Polkadot联合创始人Gavin Wood发文称，即将发布跨共识消息格式（XCM）。XCM是一种消息传递格式，而不是一种消息传递协议，可以用来表达消息接收方应该做什么而不能在不同系统之间实际发送消息。在Polkadot中，XCM可以表达中继链到平行链，平行链到中继链以及平行链之间三种通信通道上消息的含义。XCM未来可以用于跨链代币转移、支付费用的选择以及使用XCM语言进行一些平台特定的操作。[2021/9/7 23:06:33]
这个功能本身并不是很有用，但是如果与发生错误时发生的情况相结合，它就很有用。在这里，任何尚未执行的指令的权重被添加到剩余权重寄存器中。清除“错误处理程序寄存器”，将其内容放入“程序登记器”并将“程序计数器”重置为零。简单地说，我们抛出当前的程序，并开始执行错误处理程序。因为我们没有清除附录寄存器，所以除非它被错误处理程序重置，否则它将在成功完成后执行。
由于其组成结构，它允许错误处理程序的任意“嵌套”：如果需要，错误处理程序也可以有错误处理函数，而附录可以有自己的附录。
有两个指令允许对这些寄存器进行操作：SetAppendix和SetErrorHandler。如您所料，其中一个设置了附录寄存器，另一个设置了错误处理程序寄存器。每个参数的预测权重都比它们的参数的权重大一些。但是，在执行时，将被替换的寄存器中XCM消息的权重添加到剩余权重寄存器中，允许回收任何未使用的附录或错误处理程序的权重。
抛出错误
有时，实际确保发生错误并定制该错误的某些方面可能是有用的。这是在编写测试代码时使用的但它可能最终会在一个活动链中找到用途，这并非不可能。这可以通过指令Trap在XCVM中完成。抛出的错误类型共享一个名称Trap。指令和错误都带有一个整数参数，允许在抛出错误者和外部观察者之间传递某种形式的信息。
声音 | 以太坊联合创始人Gavin Wood：加密分权只是一个神话 以太坊并非去中心化:据LongHash消息，以太坊联合创始人兼Polkadot创始人Gavin Wood在接受采访时表示，大部分加密社区均已经背叛“加密货币应该打破边界并将人们聚集在一起”的理想。其认为加密分权只是一个神话，以太坊也不是去中心化的。“比特币基本上由少数人控制。比特币至少在理论上是由比特币核心决定的，比特币核心是一个GitHub存储库。” 此外，其表示对区块链在跨境贸易、跨境互动等方面的应用更感兴趣，区块链有可能增加互连性，并保持最大化。因此尽管Gavin Wood对加密社区的分歧感到沮丧，但其总体基调是乐观的。在介绍Polkadot时，其承认至少在项目上线之前，Polkadot依然受到“仁慈的独裁者”的统治。[2019/5/12]
举例如下：
Trap将导致跳过最终的DepositAsset并运行错误处理程序的DepositAsset，将1DOT(减去执行成本)置于Parachain2000的所有权之下。我们总是倾向于在错误处理程序代码的开头使用RefundSurplus，因为如果它正在运行，我们就知道所使用的预测权重(以及由此购买的权重)可能是过高的估计。
错误报告
能够引入代码来处理错误是非常有用的，但是一个经常被要求的特性是能够报告XCM消息返回给原始发件人。我们遇到了上一篇文章中的QueryResponse指令，它允许一个共识系统向另一个报告一些信息，剩下的就是能够以某种方式插入XCM进入这个QueryResponse，并将其发送给希望被告知结果的人。
动态 | Gavin Wood宣布即将发布区块链开发通用平台:据coindesk消息，在星期二柏林举行的Web3峰会上，以太坊联合创始人兼Parity Technologies创始人Gavin Wood宣布，新工具Substrate将在发布数周后发布。作为其互操作性协议Polkadot的技术基础 ，Substrate为区块链开发提供了一个通用平台。[2018/10/23]
事实证明，只有一个名为ReportError的指令可以执行此操作。它通过使用我们尚未遇到的寄存器工作：错误寄存器。错误寄存器是一个可选类型。如果已设置，则它包含两条信息：一个数字索引和一个XCM错误类型。
它的操作原理极其简单。首先，每当一条指令产生错误时，它总是被设置；错误类型被设置为该错误的类型，数值索引被设置成程序计数器寄存器的值。其次，只有在执行ClearError指令时，它才会被清除。这条指令是绝对正确的指令之一——它永远不允许自己导致错误。这就是所有-它得到设置时，一个错误发生，得到清除时，你发出适当的指令。
现在应该清楚地了解ReportError指令是如何工作的：它简单地使用错误寄存器的内容组成一个QueryResponse指令，并将其发送到特定的目的地。当然，在执行之前发生的任何错误都会导致指令被跳过，因为执行首先跳到ErrorHandler寄存器的代码，然后跳到附录寄存器的代码。但是，这方面的解决方案很简单：将ReportError放在附录中将确保它被执行，而不管主代码是否导致执行错误。
让我们看一个简单的例子。我们将一个资产(1DOT)从中继链传送到Statemint(Parachain1000)，在那里购买一些执行时间，然后使用Statemint作为储备，我们将把资产存放在Parachain2000上。原始(无错误报告)消息如下所示：
对于基本的错误报告，我们将使用以下方法：
正如您所看到的，唯一的变化是引入了两个SetAppendix指令，确保Statemint和parachain2000中的错误或缺乏错误将报告给中继链。这假设中继链已经设置为能够识别和处理来自Statemint和parachain2000的QueryResponse消息，查询ID为42，权重限制为1000万。令人高兴的是，这确实是基板支持的东西，但超出了范围。
资产陷阱
当在处理资产的程序中发生错误时，那么它可能会非常有问题。可能存在BuyExecution指令本身导致错误的情况，可能是因为重量限制不正确或用于支付的资产不足。或者一个资产被送到一个无法有效处理的链。在这些情况下，消息的XCVM执行结束时，资产仍保留在HoldingRegister中，与其他寄存器一样，这些寄存器是暂时的，我们可能会忘记。
XCM允许链完全避免这种损失。该机制分两步工作。首先，持有登记册中的任何资产在获得批准后都不会被完全遗忘。如果在XCVM停止时持有登记册不是空的，那么就会发出一个包含三条信息的事件：持有寄存器的值；原产地登记册的原始值；以及这两条信息的散列。然后，XCM系统将此散列放置在存储中。该机制的这一部分称为资产陷阱(AssetTrap)。
索赔制度
该机制的第二步是能够要求持有登记册的一些以前的内容。这实际上不是通过任何专门为此目的设计的东西来实现的，而是通过一个我们尚未遇到的通用指令，称为ClaimAsset。在Rust中是这样声明的：
这个指令的名称可能会让人想起我们遇到过的某些其他“资金”指令，如WithdrawAsset和ReceiveTeleportedAsset。如果是这样，那么它有一个很好的理由：它是。像其他人一样，它试图将资产放入持有登记册。不像WithdrawAsset那样会减少帐户上的资产余额，ClaimAsset寻找这些资产的有效索赔，无论这些资产在原始登记册中的价值是多少。为了帮助系统找到有效的索赔，可以通过票证参数提供信息。如果找到有效的债权，则从链中删除该债权，并将该资产列入持有登记册。
到底什么构成索赔，完全取决于链条本身。不同的链可能支持不同类型的声明，并且Substrate允许您轻松地组合它们。但是，正如您可能猜到的那样，一种特殊的声明已经准备好了，当然，是先前删除的HoldingRegister内容。
因此，让我们来看看这在实践中是如何工作的。假设我们的用户的parachain2000向Statemint发送一条消息，在该消息中，它从其主权帐户中提取0.01DOT来支付费用，并通知它将100单位自己的本机令牌的储备资产转移到其在Statemint的主权帐户。可能是这样的：
假设0.01DOT就足够了，并且Statemint支持Parachain2000的本地资产的链上存款，那么这应该可以正常工作。然而，也许Statemint还没有建立起来承认parachain2000的原生资产。在这种情况下，DepositAsset将不知道如何处理该资产，并因此抛出一个错误。在执行了将通知parachain2000这个失败的附录之后，我们将剩下100个parachain2000的本机资产以及可能在持有登记簿中的一些DOT。让我们假设费用只达到0.005DOT，剩下的0.005DOT。
然后，Statemint的Pallet会记录一个关于这些新可索赔资产的事件，类似于：
将向Parachain2000发送一条类似如下的消息：
Parachain2000将在稍后阶段，就能够用一个相当简单的方法回收这100个单元：
在这种情况下，没有通过ticket参数提供特殊信息来帮助查找索赔。对于AssetTrap索赔，这通常是很好的，尽管对于其他类型的索赔可能需要使用它。
结论
希望本篇文章可以帮助你更好地理解?XCM的底层虚拟机以及它如何帮助您从意外情况中管理和恢复。本系列的下一篇文章将讨论XCM以及如何改进格式、采取更深入的研究XCMRust实现路径，以及我们如何使用它为链提供易于解释的能力。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。