MoonBit月兔编程语言 现代编程思想 第十四课 案例:堆栈虚拟机现代编程思想 案例:栈式虚拟机 Hongbo Zhang 1 编译与解释 编译 源程序 x 编译器 -> ⽬标程序 ⽬标程序 x 输⼊数据 -> 输出数据 解释 源程序 x 输⼊数据 x 解释器 -> 输出数据 CPU可以被视为⼴义上的解释器 拓展阅读:⼆村映射/部分计算 部分计算:程序优化,根据已知信息,运算进⾏特化 已知源程序与解释器,进⾏部分运算,获得⽬标程序 ⽬标程序 ⽬标程序 x 输⼊数据 -> 输出数据 2 虚拟机 ⼀处编写,处处运⾏ 定义⼀个不基于任何平台的指令集 在不同平台上实现解释器 两种常⻅的虚拟机 堆栈虚拟机:运算数存储在栈上,数据遵循先进后出原则 寄存器虚拟机:运算数存储在寄存器中 3 寄存器虚拟机 例:Lua VM (The Implementation of Lua 5.0) 取最⼤值 MOVE 2 0 0 ; R(2) JUMP -> 5 (4 + 1) MOVE 2 1 0 ; R(2) = R(1) RETURN 2 2 0 ; return R(2) RETURN 0 1 0 ; return 4 堆栈虚拟机 例:WebAssembly Virtual Machine 取最⼤值 fn max(a : Int, b : Int) -> Int 1. local.get $a local.set $m0 码力 | 31 页 | 594.38 KB | 1 年前3
百度超级链 XuperChain 3.12-a中文文档监控链运行状态 平行链与跨链 链上治理 高级教程 使用合约开发套件 开发可信任应用 开发跨链应用 使用开放网络 使用测试网络 使用国密 实现原理 核心数据结构 共识框架 对等网络 智能合约虚拟机 权限系统 平行链与跨链设计 插件设计 贡献指南 贡献准备 完善超级链文档 开发超级链插件 贡献超级链语言SDK 参加超级链社区论坛 成为超级链核心开发 参加超级链线下活动 社区贡献列表 参考手册 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的 并行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优 化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务 场景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而 支持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 拔,从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成 公私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的 业务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 336 页 | 12.62 MB | 1 年前3
百度超级链 XuperChain 3.12-c 中文文档监控链运行状态 平行链与跨链 链上治理 高级教程 使用合约开发套件 开发可信任应用 开发跨链应用 使用开放网络 使用测试网络 使用国密 实现原理 核心数据结构 共识框架 对等网络 智能合约虚拟机 权限系统 平行链与跨链设计 插件设计 贡献指南 贡献准备 完善超级链文档 开发超级链插件 贡献超级链语言SDK 参加超级链社区论坛 成为超级链核心开发 参加超级链线下活动 社区贡献列表 参考手册 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的 并行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优 化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务 场景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而 支持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 拔,从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成 公私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的 业务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 336 页 | 12.62 MB | 1 年前3
百度超级链 XuperChain 3.12 中文文档监控链运行状态 平行链与跨链 链上治理 高级教程 使用合约开发套件 开发可信任应用 开发跨链应用 使用开放网络 使用测试网络 使用国密 实现原理 核心数据结构 共识框架 对等网络 智能合约虚拟机 权限系统 平行链与跨链设计 插件设计 贡献指南 贡献准备 完善超级链文档 开发超级链插件 贡献超级链语言SDK 参加超级链社区论坛 成为超级链核心开发 参加超级链线下活动 社区贡献列表 参考手册 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的 并行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优 化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务 场景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而 支持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 拔,从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成 公私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的 业务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 336 页 | 12.62 MB | 1 年前3
百度超级链 XuperChain 3.12-b 中文文档监控链运行状态 平行链与跨链 链上治理 高级教程 使用合约开发套件 开发可信任应用 开发跨链应用 使用开放网络 使用测试网络 使用国密 实现原理 核心数据结构 共识框架 对等网络 智能合约虚拟机 权限系统 平行链与跨链设计 插件设计 贡献指南 贡献准备 完善超级链文档 开发超级链插件 贡献超级链语言SDK 参加超级链社区论坛 成为超级链核心开发 参加超级链线下活动 社区贡献列表 参考手册 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的 并行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优 化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务 场景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而 支持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 拔,从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成 公私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的 业务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 336 页 | 12.62 MB | 1 年前3
百度超级链 XuperChain 3.7 中文文档部署xchain服务 2.2. 基本功能的使用 技术设计文档: 1. XuperModel 2. XuperBridge 2.1. 内核调用设计 2.2. KV接口与读写集 2.3. 合约上下文 3. XVM虚拟机 3.1. 背景 3.2. WASM简介 3.3. WASM字节码编译加载流程 3.4. 语言运行环境 3.5. XuperBridge对接 3.6. 资源消耗统计 4. 账号权限控制模型 4 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的并 行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务场 景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而支 持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成公 私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的业 务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 270 页 | 24.86 MB | 1 年前3
百度超级链 XuperChain latest 中文文档部署xchain服务 2.2. 基本功能的使用 技术设计文档: 1. XuperModel 2. XuperBridge 2.1. 内核调用设计 2.2. KV接口与读写集 2.3. 合约上下文 3. XVM虚拟机 3.1. 背景 3.2. WASM简介 3.3. WASM字节码编译加载流程 3.4. 语言运行环境 3.5. XuperBridge对接 3.6. 资源消耗统计 4. 账号权限控制模型 4 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的并 行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务场 景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而支 持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成公 私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的业 务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 316 页 | 24.51 MB | 1 年前3
百度超级链 XuperChain 3.9-e 中文文档部署xchain服务 2.2. 基本功能的使用 技术设计文档: 1. XuperModel 2. XuperBridge 2.1. 内核调用设计 2.2. KV接口与读写集 2.3. 合约上下文 3. XVM虚拟机 3.1. 背景 3.2. WASM简介 3.3. WASM字节码编译加载流程 3.4. 语言运行环境 3.5. XuperBridge对接 3.6. 资源消耗统计 4. 账号权限控制模型 4 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的并 行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务场 景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而支 持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成公 私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的业 务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 317 页 | 27.80 MB | 1 年前3
百度超级链 XuperChain master 中文文档部署xchain服务 2.2. 基本功能的使用 技术设计文档: 1. XuperModel 2. XuperBridge 2.1. 内核调用设计 2.2. KV接口与读写集 2.3. 合约上下文 3. XVM虚拟机 3.1. 背景 3.2. WASM简介 3.3. WASM字节码编译加载流程 3.4. 语言运行环境 3.5. XuperBridge对接 3.6. 资源消耗统计 4. 账号权限控制模型 4 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的并 行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务场 景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而支 持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成公 私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的业 务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 316 页 | 24.51 MB | 1 年前3
百度超级链 XuperChain 3.8 中文文档部署xchain服务 2.2. 基本功能的使用 技术设计文档: 1. XuperModel 2. XuperBridge 2.1. 内核调用设计 2.2. KV接口与读写集 2.3. 合约上下文 3. XVM虚拟机 3.1. 背景 3.2. WASM简介 3.3. WASM字节码编译加载流程 3.4. 语言运行环境 3.5. XuperBridge对接 3.6. 资源消耗统计 4. 账号权限控制模型 4 其主要特点是高性能,通过原创的XuperModel模型,真正实现了智能合约的并 行执行和验证,通过自研的WASM虚拟机,做到了指令集级别的极致优化。 在架构方面,其可插拔、插件化的设计使得用户可以方便选择适合自己业务场 景的解决方案,通过独有的XuperBridge技术,可插拔多语言虚拟机,从而支 持丰富的合约开发语言。 在网络能力方面,XuperChain具备全球化部署能力,节点通信基于加密的P2P 从而可以支持不同的业务场景 密码学 用于构造和验证区块、交易的完整性,采用非对称加密算法生成公 私钥、地址。匿名性 较好。支持可插拔,从而可以支持不同的业 务场景 智能合 约 自研并实现了一套智能合约虚拟机XVM,支持丰富的开发语言, 智能合约之间并发执行, 支持执行消耗资源,避免恶意攻击 提案 一种解决系统升级问题的机制。比如修改区块大小,升级共识算 法。提案整个过程涉及 到发起提案、参与投票、投票生效三个阶0 码力 | 316 页 | 27.93 MB | 1 年前3
共 111 条
- 1
- 2
- 3
- 4
- 5
- 6
- 12













