3、Rialto 2.0：异构计算语言的语义与策略解析

Rialto 2.0：异构计算语言的语义与策略解析

1. Rialto 2.0 语义概述

Rialto 2.0 的语义分为三个部分：
- 定义 Rialto 程序的静态结构，它是一个图，编码了程序中语句的层次和顺序关系。
- 定义 Rialto 程序的动态状态。
- 解释用于解释 Rialto 程序的操作规则。

2. Rialto 程序的静态结构

Rialto 程序由一组分层状态机组成。每个包含在状态块中的语句都有一个标签，作为“指令地址”。由于其分层结构，我们可以在这些标签上定义一个树结构，反映程序的层次结构。某些语句之间存在顺序关系，树中节点的叶子可以使用“next”关系进行排序。一个程序被定义为一个元组 <L, ↓, ⇀, P > ，其中：
- L ：程序标签的集合，标签是字符串（ L ⊂ Strings ）。
- ↓ ： L 上的树。
- ⇀ ： L 上的部分函数，定义标签之间的“next”关系。
- P ： Label → Stmt 函数，将每个标签映射到一个语句。

3. Rialto 程序的动态状态

Rialto 程序的状态是一个状态配置栈，默认情况下，栈顶元素总是被选择执行。状态配置 SC = L∗×L∗ ，是标签列表对的集合，表示状态配置。对