有很大一部分都是访问，而不是修改；比如淘宝和抖音，你其实没有太多机会去修改这些 APP 的状态。但是 Web3 领域则恰恰相反，大部分智能合约的请求恰恰就是修改状态 —— 更新账本，实际上这会带来预期之外更多的回滚，使得链不可用。 所以结论是 Monad 确实可以达到并行，但是并行度（Concurrency）存在理论上限，也就是落在 2 倍至 3 倍的区间，而不是其宣传的 100K。其次，这一上限没有办法通过增加虚拟机的方式进行扩容，也就是没有办法达到多核等于增加处理能力。最后也是老生常谈的问题，因为没有对数据进行分片，Monad 其实没有回答链上状态膨胀后带来的对节点的要求，以下是其对节点的要求，这已经超过了一个家庭电脑可以承载的极限，而随着其主网上线，如果不对数据进行分片，我们也许不可避免地看到 Monad 走向Solana的道路。而最后也是最重要的一点，乐观执行不适合区块链领域的并行。 采矿一段时间后，Bob 问了自己一个问题：「为什么我要等 Alice 回来以后再进行打磨？当他打磨时，我可以装车子，因为装车和打磨需要的时间完全相同，我们肯定不会遇到需要等待打磨空闲的状态。在 Alice 完成采矿之前，我会开车继续去挖矿，这样我们俩都可以是 100% 的忙碌。”」这个天才的想法让他们重新回到两倍的效率，甚至不需要额外的采矿车。重要的是，Bob 重新设计了程序，也就是线程执行的顺序，让所有的线程永远都不会陷入等待核心内部共享资源（比如采矿车及石镐）的状态。这才是并行的正确版本，通过对智能合约的状态拆分，使得访问共享资源既不会导致某个线程进入排队，也不会因为数据 I/O 的 Pipeline 限制最终原子性达成的速度。PREDA 模型通过将合约代码执行时刻对合约状态的访问结构暴露给执行层，使得执行层可以轻易合理调度，完全避免执行结果的回滚。这种并行模式又称异步并行。 异步并行 因为只有并行是异步的，增加线程才会到来线性的提升。而不会像前面的例子一样，升级了采矿车的容量但是因为采矿设备落后导致采矿车空跑。PREDA 的并行执行环境与 Moand，Solana 有最本质的区别 —— 就像多核 CPU 和 GPU 的区别一样，其共享核心的处理效率并不会是并行度的瓶颈，也不存在 I/O 读写时数据依赖性的问题，而更重要的是，PREDA 的并行模型的并行度会因为线程的增加而增加，与 GPU 有异曲同工之处。在区块链的逻辑中，线程的增加（VM）会降低全节点的硬件需求，从而达到在保证去中心化的前提下提升性能。 最后达到这一并行区块链的终局，行业内缺乏的除了是架构设计，还缺乏并行编程语言的语义表达。 并行编程语言的语义表达 就像 Nvidia 需要 CUDA，并行区块链也需要新的编程语言：PREDA。如今的智能合约的开发者并行语义进行表达，无法有效利用底层多链架构提供的支持（数据分片或执行分片或者兼而有之），无法实现通用智能合约交易的有效并行。所有系统在编程语言方面采用的都是 Solidity、Move、Rust 等传统的常见的智能合约编程语言。这些编程语言缺少并行语义表达能力，即，不具备类似于CUDA这样高性能计算或者大数据领域的并行编程模型和编程语言表达并行单元之间控制流与数据流的能力。 缺少适用于智能合约的并行编程模型及编程语言，会导致应用与算法从串行到并行的重构无法完成，导致应用与算法无法与底层具有并行执行能力的区块链系统适配，从而不能提高应用的执行效率以及区块链系统的整体吞吐率。 PREDA 提出的这一种分布式编程模型,通过程序化合约作用域对合约状态进行细粒度划分，并通过功能中继语义（Functional Relay） 将交易执行流分解后分布在多个并行执行引擎上执行。 该模型还通过程序化合约作用域（Programmable Scope）定义合约状态的划分方案,允许开发者根据应用的访问模式进行优化。通过异步功能中继,可以将交易执行流移动到需要访问状态的执行引擎上继续,实现了执行流程的移动而非数据的移动。 这种模型实现了合约状态的分布式划分和交易流量的分担,而不需要开发者关心底层多链系统的细节。实验结果表明，在 256 个执行引擎上 PREDA 模型可实现最高 18 倍的吞吐量提升,接近理论上的并行极限。通过使用分区计数器和可交换指令等技术，进一步提升了并行度。 Conclusion 区块链系统传统上使用单个顺序执行引擎（例如 EVM）来处理所有交易，从而限制了可扩展性。多链系统运行并行执行引擎，但每个引擎都处理智能合约的所有交易，无法在合约级别实现可扩展性。本篇文章论述了以 Solana 为代表的确定性并行的本质核心共享，以及以 Monad 为代表的乐观并行为何无法在真实的区块链应用场景中稳定运行 & 面临的高频率回滚的可能。并介绍了 PREDA 的并行执行引擎。PREDA 团队提出了一种新颖的编程模型，通过划分智能合约的状态并跨执行引擎分配交易流量来扩展单个智能合约。它引入了可编程合约范围来定义合约状态的划分方式。每个作用域都在专用的执行引擎上运行。异步功能中继（Asynchronous Functional Relay）用于分解事务执行流，并在所需状态驻留在其他地方时将其跨执行引擎移动。 这将事务逻辑与合约状态分区解耦，从而允许固有的并行性而无需数据移动开销。其并行模型既在智能合约层面拆分了状态，解耦了数据发布层面的依赖性，也提供了类似 Move 的 Multi-Threaded 执行引擎集群架构。更重要的是，其创新地推出了新的编程模型 PREDA，这也许会是区块链并行达成的最后一块拼图。 来源：金色财经lg...
北美站
