以太坊技术黄皮书学习笔记19：系统运行模型2( 二 )_运行概述

----以太坊技术黄皮书学习笔记19：系统运行模型2//---- http://

运行概述:

在介绍运行函数之前我们需要先介绍函数的输入和输出，公式1是全局状态，这个之前介绍过，公式2是新的变量，表示的是虚拟机的状态，前面的一节已经介绍过虚拟机的状态；公式3定义的是一个循环函数，我们知道对于图灵完备的计算机，需要的是程序可以持续的循环执行，每执行一步都会产生一个临时的结果如公式4的定义，每次都要检查是否有异常状态发送，公式5表示此状态，公式6表示状态机正常停止并输出执行结果。

公式7是对这个执行函数的定义，我们在前面已经介绍过，这里新增了一个变量定义15 ，这个公示表示机器状态所包含的内容：可用的gas值，计算指令计数器，表示现在指令执行的位置，已经内存的内容，已经在内存中使用的数量，指令栈的内容，公式8表示，第一次循环执行的初始状态的值。公式8的各个变量的定义已经在前面章节解释过。