3. 指令序列概念：指令序列的定义、与普通指令的区别、序列化执行的重要性

在分布式事务与控制系统设计中，指令序列是构建可靠操作流的核心抽象。它并非简单的指令集合，而是具有严格顺序、原子性约束和状态依赖关系的执行单元。理解指令序列的本质，是掌握 ControlTransaction 机制的前提。

3.1 指令序列的定义

指令序列（Instruction Sequence）是指一组按照预定义顺序排列的原子操作，这些操作在逻辑上构成一个不可分割的工作单元。序列中的每条指令都依赖于前一条指令的执行结果或系统状态。

在 ControlTransaction 框架中，指令序列通常由以下三部分组成：

• 序列头（Sequence Header）：包含序列 ID、版本号、创建时间戳、所属事务 ID。
• 指令体（Instruction Body）：按执行顺序排列的指令列表，每条指令包含操作码、操作数、前置条件。
• 序列尾（Sequence Tail）：包含校验和、指令计数、执行状态标记。

3.2 与普通指令的区别

普通指令（Single Instruction）与指令序列在多个维度上存在本质差异。下表从关键属性进行对比：

3.3 序列化执行的重要性

序列化执行（Serialized Execution）是指指令序列中的每条指令必须按照预定义顺序依次执行，不允许乱序或并发执行。其重要性体现在以下四个方面：

1. 状态一致性：保证系统状态在任意时刻都处于合法转换路径上，避免中间状态暴露。
2. 依赖满足：后一条指令依赖前一条指令的输出结果，乱序执行将导致数据错误。
3. 可恢复性：序列化执行使得故障点可精确定位，便于实现精确回滚。
4. 可观测性：顺序执行产生可预测的日志轨迹，便于调试和审计。

3.4 指令序列的典型应用场景

以下代码展示了一个典型的指令序列定义，用于实现跨账户转账操作：

// 转账指令序列定义
InstructionSequence transferSequence = InstructionSequence.newBuilder()
    .setSequenceId("SEQ-2024-001")
    .setTransactionId("TXN-2024-001")
    .addInstruction(Instruction.newBuilder()
        .setOpCode(OpCode.READ)
        .setOperand("account_a.balance")
        .setPrecondition("account_a.status == ACTIVE")
        .build())
    .addInstruction(Instruction.newBuilder()
        .setOpCode(OpCode.VALIDATE)
        .setOperand("account_a.balance >= 100")
        .setPrecondition("read_success == true")
        .build())
    .addInstruction(Instruction.newBuilder()
        .setOpCode(OpCode.UPDATE)
        .setOperand("account_a.balance -= 100")
        .setPrecondition("validate_success == true")
        .build())
    .addInstruction(Instruction.newBuilder()
        .setOpCode(OpCode.UPDATE)
        .setOperand("account_b.balance += 100")
        .setPrecondition("previous_update_success == true")
        .build())
    .addInstruction(Instruction.newBuilder()
        .setOpCode(OpCode.COMMIT)
        .setOperand("sequence_result")
        .setPrecondition("all_instructions_success == true")
        .build())
    .build();

3.5 序列化执行的实现机制

在 ControlTransaction 框架中，序列化执行通过以下机制保障：

• 顺序调度器（Sequential Scheduler）：维护一个 FIFO 队列，确保同一序列的指令按入队顺序出队执行。
• 状态检查点（State Checkpoint）：每条指令执行后记录当前状态快照，用于故障恢复。
• 依赖追踪器（Dependency Tracker）：记录指令间的数据依赖和控制依赖关系，防止依赖未满足时执行后续指令。
• 超时保护（Timeout Guard）：为每条指令设置最大执行时间，防止死锁或无限等待。