了解 / GLVM
GLVM
全局逻辑虚拟机
一个逻辑执行层，跨多台机器协调执行
GLVM 是 ALUX 基于并发运行时构建的执行抽象。它面向开发者，每台参与执行的机器运行一台 TVM。GLVM 为跨机器的执行状态与进程提供统一逻辑边界；重放、复制、最终确认与共识在这一抽象之下协调。
核心定义
每台机器运行一台 TVM，多台 TVM 协同组成一个逻辑执行层
TVM 是运行在单台机器上的字节码执行引擎；GLVM 定义跨多台 TVM 的系统级执行抽象。它不是另一种字节码虚拟机。开发者面向统一的逻辑执行模型，确定性重放、执行连续性、复制、最终确认与共识则在这一抽象之下协调。
元组空间虚拟机（Tuple-space Virtual Machine）
ALUX 的具体执行引擎。它运行 Tolang 字节码，让独立进程通过通道与 COMM 事件协作，并记录确定性重放所需的非确定性选择。
单台机器内的一套具体引擎全局逻辑虚拟机
GLVM 为参与执行的多台 TVM 定义一套面向开发者的逻辑执行模型。它以统一边界承载执行状态与进程，重放、复制、最终确认与共识则由下层运行时协调。
位于多台机器之上的一个逻辑系统三层架构
三层架构，面向开发者呈现为一套执行模型
物理机器运行 TVM；这些 TVM 共同参与一套逻辑执行模型。未来，World OS 将进一步把这一层组织为可发现、可编排且受显式能力约束的服务。
选择任一层级，详情面板将同步更新。
执行与原子性
一笔交易可以跨区块等待，随后作为一个整体结算
执行模型从顺序、并行，演进为可通信、可等待、可恢复的并发进程。组合式执行让多笔交易共享一个结算边界；跨区块连续性再把这一边界延伸至后续区块。
顺序
一次状态转换完成后，再进行下一次。
并行
相互独立的状态转换同时推进。
并发
进程通过通道通信、等待并恢复。
组合式
多笔并发交易共享一个更高层的原子目标。
-
01 · 开始
只开始一次
以一笔交易和一组范围明确的能力开始。
-
02 · 挂起
等待，但不局部结算
如果尚无答案或通道匹配，便保留延续，而不是提前完成最终确认。
-
03 · 记录
记录选择
ReplayTrie 会记录非确定性选择或经过认证的响应，以便重放该执行路径。
-
04 · 恢复
继续同一笔交易
匹配的 COMM 事件或已记录的响应，会在后续区块中唤醒此前保留的延续。
-
05 · 最终确认
提交或丢弃
在最终确认边界，符合条件的状态会被提交；被拒绝的暂定状态会被丢弃。
TVM 并发执行 · COMM 等待与恢复 · ReplayTrie · 跨区块延续与最终确认
暂定状态在最终确认前不会成为已确认状态；失败路径会被直接丢弃，而不是事后通过补偿交易修复。
经过认证的 HTTPS GET 可以挂起执行、记录响应、重放并恢复。数据的真实性仍由数据源决定；不可逆的链下副作用仍不在回滚范围内。
跨分片原子执行与独立外部系统的组合，定义了这套模型下一步的扩展方向。
对象能力安全
只把一把钥匙交给任务，而不是用户的工牌
基于身份的访问会把 CEO 工牌所代表的环境权限一并带入任务。对象能力则只交给任务一把指向 Bob 记录的钥匙，边界由 TVM 在运行时检查。没有相应能力引用，任务便无法命名或访问其他既有对象。
工牌会带入无关权限
即使任务只涉及 Bob，CEO 工牌所代表的环境权限仍可能覆盖财务档案，以及 Alice、Carol 和 Bob 的人员记录。
只把指向 Bob 记录的钥匙交给任务
这把钥匙代表一个不可伪造的名字：它只指向 Bob 的记录。没有指向其他既有对象的钥匙，任务便无法命名或访问那些未被显式授予的对象。TVM 会在运行时检查这一边界。
这里用“钥匙”呈现 OCAP 中不可伪造的名字，也就是对象能力引用；它不是密码学密钥。该保证适用于 TVM 原生、以能力为中介的交互；托管型 EVM 权限和外部服务仍需各自的控制机制。
工作流探索器
执行载体取决于信任要求、响应速度与数据本地性
以跨公司设备维修为例：托管资金需要独立验证，诊断需要弹性算力，设备所有者需要批准本地访问。GLVM 会为每项任务选择符合其信任要求、时延与数据边界的执行载体，同时保持权限明确。
公链 TVM + EVM 宿主
托管质保金并记录批准路径，让独立验证者能够验证这次状态转换。
已就绪。启动模拟，查看目标逻辑流程。
限定能力
维修智能体只获得完成这项任务所需的权限。
规划分派
工作流将边界明确的子任务分别映射到链上、私有或云端，以及客户端设备 TVM。
等待 / 挂起
在链上运行时中，若回复尚未到达，系统会保留延续，而不是提前完成交易的最终确认。
COMM 匹配
结果与通道中等待的延续完成匹配，工作流随即从原处恢复。
重放证据
ReplayTrie 记录必要的选择，使其他验证者能够重放这次执行。
最终确认边界
BlockGit 与 Block Merge 让链上结果收敛。将原子提交扩展到更多执行载体，是 GLVM 的下一阶段。
运行时剖面
九个关键能力，支撑同一逻辑执行模型
GLVM 不是另一种字节码虚拟机。以下九个架构切面从 TVM 执行、对象能力与重放，一路延伸到 BlockGit、客户虚拟机（Guest VM）和开发者工具，共同呈现这一逻辑执行模型的能力体系。
-
01
字节码虚拟机核心运行时
TVM · 元组空间 · COMM
具体的并发引擎负责运行字节码，并让独立进程通过通道交换数据与延续。
-
02
安全核心运行时
原生对象能力
不可伪造的引用让可达权限显式化，并使运行时能够执行最小权限边界。
-
03
原子性核心运行时
跨区块原子执行
执行上下文可以跨区块挂起，从保留的延续中恢复，并抵达延后的最终确认边界。
-
04
最终性核心运行时
BlockGit · Fringe · 合并
区块 DAG、确定性领导者轮换与合并规则，使链侧并发工作得以收敛，而不依赖永久领导者。
-
05
重放核心运行时
ReplayTrie · 执行轨迹
已记录的非确定性选择与执行轨迹，使验证者能够重放被接受的路径。
-
06
网络核心运行时
对等节点与验证者网络
节点层在执行抽象之下传递提案、区块、状态证据，并协调验证者。
-
07
语言核心运行时
Tolang → tolangc → .tox
Tolang 描述并发进程；编译器将源码转换为 TVM 可执行字节码。
-
08
客户虚拟机EVM 核心 · WASM 路线图
EVM 宿主 · WASM 路线图
EVM 通过 TSAC 式协调，作为有状态客户虚拟机运行；WASM 则把这套架构延伸到异构虚拟机。
-
09
工具链开发者工具
编译器 · LSP · Playground
编译器、LSP、Playground、验证套件与诊断工具，让这套执行模型进入日常开发。
扩展蓝图
核心运行时已初步成形，更多执行环境正在接入
GLVM 正从 ALUX 的链上并发运行时向更多执行环境扩展。本节区分已形成的核心能力、正在推进的系统扩展与后续路线图。
核心运行时
- TVM 并发执行与 COMM
- ReplayTrie 与执行轨迹
- 跨区块挂起 / 恢复路径
- 原生 OCAP 基础
- EVM 宿主路径
- BlockGit DAG、Fringe 与合并
系统扩展
- 私有或云端引擎部署
- 跨部署载体的 GLVM 抽象
- 生产规模加固
- 更丰富的策略与受控通道机制
- 运行时可观测性与运维工具
路线图
- 跨分片横向原子性
- WASM 客户虚拟机
- 客户端设备 TVM 部署
- 账户抽象与能力注册表
- 节点故障重同步与验证者集合动态变更
- 可编程 World OS 层