，将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人都可以随时随地参与甚至是 合约逻辑比较复杂。 550 Chapter 14. 开发期问题排查 FISCO BCOS Documentation, 发布 v2.9.0 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解决方法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞 14.8.2 2. revert

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 约 约编 编 编译 译 译错 错 错误 误 误 531 FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.2 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解 解 解决 决 决方 方 方法 法 法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞

，将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人都可以随时随地参与甚至是 合约逻辑比较复杂。 550 Chapter 14. 开发期问题排查 FISCO BCOS Documentation, 发布 v2.9.0 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解决方法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞 14.8.2 2. revert

，将会支持更多的虚拟机。 图灵完备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联盟链概念分析 行业里通常将区块链的类型分为公有链，联盟链，私有链。公有链指所有人都可以随时随地参与甚至是 合约逻辑比较复杂。 550 Chapter 14. 开发期问题排查 FISCO BCOS Documentation, 发布 v2.9.0 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解决方法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞 14.8.2 2. revert

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 6.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 Documentation, 发 发 发布 布 布 v2.7.1 1. 主线程会首先根据硬件核数初始化一个相应大小的线程组，若获取硬件核数失败，则不创建其他 线程； 2. 当DAG尚未执行完毕时，线程循环等待从DAG中pop出入度为0的交易。若成功取出待执行的交 易，则执行该交易，执行完后将后续的依赖任务的入度减1，若有交易入度被减至0，则将该交易 加入topLevel中；若失败，则表示DAG已经执行完毕，线程退出。

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 约 约编 编 编译 译 译错 错 错误 误 误 541 FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.2 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解 解 解决 决 决方 方 方法 法 法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 发期 期 期问 问 问题 题 题排 排 排查 查 查 FISCO BCOS Documentation, 发 发 发布 布 布 v2.9.0 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解 解 解决 决 决方 方 方法 法 法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 约 约编 编 编译 译 译错 错 错误 误 误 541 FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.2 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解 解 解决 决 决方 方 方法 法 法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 约 约编 编 编译 译 译错 错 错误 误 误 539 FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.2 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解 解 解决 决 决方 方 方法 法 法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞

图 图灵 灵 灵完 完 完备 备 备 图灵机和图灵完备是计算机领域的经典概念，由数学家艾伦·麦席森·图灵（1912～1954）提出的一种抽 象计算模型，引申到区块链领域，主要指合约支持判断、跳转、循环、递归等逻辑运算，支持多种数据 类型如整形、字符串、结构体的数据处理能力，甚至有一定的面向对象特性如继承、派生、接口等，这 样才能支持复杂的业务逻辑和完备的契约执行，与只支持栈操作的简单脚本进行区分。 现。 合约的执行还需要处理“停机问题”，即判断程序是否会在有限的时间之内解决输入的问题，并结束执 行，释放资源。想象一下，一个合约在全网部署，在被调用时在每个节点上都会执行，如果这个合约是 个无限循环，就意味着可能会耗尽整个体系的资源。所以停机问题的处理也是区块链领域里图灵完备计 算体系的一个重要关注点。 5.2 联 联 联盟 盟 盟链 链 链概 概 概念 念 念分 分 分析 析 析 行业里 约 约编 编 编译 译 译错 错 错误 误 误 541 FISCO BCOS Documentation, 发 发 发布 布 布 v2.7.2 2. 合约逻辑问题，数组结构体没有初始化，或者出现死循环。 解 解 解决 决 决方 方 方法 法 法: 1. 使用控制台加大tx_gas_limit的值，操作流程参考: 控制台设置tx_gas_limit 2. 检查合约的逻辑，修复合约逻辑的漏洞