海山数据库(He3DB)源码详解：子事务块内核函数执行过程

最新推荐文章于 2026-01-09 14:57:12 发布
原创 最新推荐文章于 2026-01-09 14:57:12 发布 · 973 阅读 · 28 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#数据库 #网络 #服务器

海山数据库(He3DB)源码详解：子事务块内核函数执行过程

本文介绍了子事务执行过程中，从SAVEPOINT定义子事务开始到子事务结束释放RELEASE或者回滚ROLLBACK To的内核函数执行过程。

处理TRANS_STMT_SAVEPOINT

当终端输入SAVEPOINT XX语句时，这时会发起一个子事务保存点定义的操作。首先会调用RequireTransactionBlock函数检查当前事务的状态，之后再调用DefineSavepoint函数启动一个子事务节点，加入到事务链栈中。

RequireTransactionBlock()函数执行过程：

RequireTransactionBlock()函数会调用CheckTransactionBlock()函数完成对事务状态的检查，具体的CheckTransactionBlock()函数执行过程如下：

  1. 调用IsTransactionBlock()检查全局结构体变量CurrentTransactionState中的blockState成员值，如果blockState等于TBLOCK_DEFAULT或者TBLOCK_STARTED，表示不存在事务块，返回false，其他返回true：
	if (IsTransactionBlock())
		return;
  1. 调用IsSubTransaction()检查全局结构体变量CurrentTransactionState中的nestingLevel成员值，如果≥2表示有子事务嵌套，返回true，否则返回false：
    if (IsSubTransaction())
		return;
  1. 判断当前事务是否为顶层事务，如果不是顶层事务直接返回退出。
    if (!isTopLevel)
		return;
  1. 如果以上检查都没有通过，则根据输入参数throwError的值输出ERROR错误还是WARING错误。
	ereport(throwError ? ERROR : WARNING,
			(errcode(ERRCODE_NO_ACTIVE_SQL_TRANSACTION),
	/* translator: %s represents an SQL statement name */
			 errmsg("%s can only be used in transaction blocks",
					stmtType)));

DefineSavepoint()函数执行过程：

该函数和其他事务块操作函数十分相似，内部主要是一个swith结构，说执行流程如下：

graph TD
    A[开始] --> B{IsInParallelMode}
    B -- 是 --> C[报错：不能在并行操作中定义保存点]
    B -- 否 --> D{s->blockState}
    D -- TBLOCK_INPROGRESS 或 TBLOCK_SUBINPROGRESS --> E[PushTransaction]
    E --> F[更新s为CurrentTransactionState]
    F --> G{name是否为空}
    G -- 否 --> H[在TopTransactionContext中创建name副本]
    G -- 是 --> I[继续执行]
    H --> I
    D -- TBLOCK_IMPLICIT_INPROGRESS --> J[报错：SAVEPOINT只能在事务块中使用]
    D -- 其他无效状态 --> K[日志记录：DefineSavepoint意外状态]
    I --> L[结束]
    C --> L
    J --> L
    K --> L
  1. 通过全局状态变量获取当前事务状态，并检查是否为并行事务模式，如果时并行事务则直接报错。
	TransactionState s = CurrentTransactionState;
	/*
	 * Workers synchronize transaction state at the beginning of each 
	 * parallel operation, so we can't account for new subtransactions 
	 * after that point.  
	 * (Note that this check will certainly error out if s->blockState 
     * is TBLOCK_PARALLEL_INPROGRESS, so we can treat that as an invalid 
	 * case below.)
	 */
	if (IsInParallelMode())
		ereport(ERROR,
                (errcode(ERRCODE_INVALID_TRANSACTION_STATE),
                 errmsg("cannot define savepoints during a parallel operation")));
  1. 通过swtich-case结构，同时完成事务块检查和子事务创建任务。
  • 事务块为TBLOCK_INPROGRESS或TBLOCK_SUBINPROGRESS状态：正常状态，通过PushTransaction()函数创建子事务切换事务状态，并为子事务name申请内存空间并命名。
    case TBLOCK_INPROGRESS:
    case TBLOCK_SUBINPROGRESS:
    /* Normal subtransaction start */
    PushTransaction();
    s = CurrentTransactionState;	/* changed by push */

    /*
        * Savepoint names, like the TransactionState block itself, live
        * in TopTransactionContext.
        */
    if (name)
        s->name = MemoryContextStrdup(TopTransactionContext, name);
    break;
  • 事务块为TBLOCK_IMPLICIT_INPROGRESS状态：错误状态，事务处在隐式状态，即事务完成会自动提交或者出错自动放弃，定义子事务会与这个目的冲突。（子事务可以回滚放弃部分操作，但是隐式事务要求回滚放弃全部操作）
    case TBLOCK_IMPLICIT_INPROGRESS:
        ereport(ERROR,
                (errcode(ERRCODE_NO_ACTIVE_SQL_TRANSACTION),
        /* translator: %s represents an SQL statement name */
                    errmsg("%s can only be used in transaction blocks",
                        "SAVEPOINT")));
        break;
  • 事务块处在上述三种状态之外的其他状态：这些状态均是无效的状态，提交FATAL日志。
		/* These cases are invalid. */    
    case TBLOCK_DEFAULT:
    case TBLOCK_STARTED:
    case TBLOCK_BEGIN:
    case TBLOCK_PARALLEL_INPROGRESS:
    case TBLOCK_SUBBEGIN:
    case TBLOCK_END:
    case TBLOCK_SUBRELEASE:
    case TBLOCK_SUBCOMMIT:
    case TBLOCK_ABORT:
    case TBLOCK_SUBABORT:
    case TBLOCK_ABORT_END:
    case TBLOCK_SUBABORT_END:
    case TBLOCK_ABORT_PENDING:
    case TBLOCK_SUBABORT_PENDING:
    case TBLOCK_SUBRESTART:
    case TBLOCK_SUBABORT_RESTART:
    case TBLOCK_PREPARE:
        elog(FATAL, "DefineSavepoint: unexpected state %s",
                BlockStateAsString(s->blockState));
        break;

处理TRANS_STMT_RELEASE

当终端输入RELEASE XX语句时，这时会发起一个子事务保存点释放的操作。首先会调用RequireTransactionBlock函数检查当前事务的状态，之后再调用ReleaseSavepoint函数修改目标子事务节点的事务块状态。

RequireTransactionBlock函数的处理过程与SAVEPOINT过程相同，不做更多的阐述。

ReleaseSavepoint()函数的执行过程：

该函数和其他事务块操作函数类似，内部有一个swith结构，在此之后会修改从当前子事务到目标事务直接的事务块状态，具体执行流程如下：

graph TD
    A[开始] --> B{IsInParallelMode}
    B -- 是 --> C[报错：不能在并行操作中释放保存点]
    B -- 否 --> D{s->blockState}
    D -- TBLOCK_INPROGRESS --> E[报错：保存点不存在]
    D -- TBLOCK_IMPLICIT_INPROGRESS --> F[报错：RELEASE SAVEPOINT只能在事务块中使用]
    D -- TBLOCK_SUBINPROGRESS --> G[继续执行]
    D -- 其他无效状态 --> H[日志记录：ReleaseSavepoint意外状态]
    G --> I[查找目标保存点]
    I -- 未找到 --> J[报错：保存点不存在]
    I -- 找到 --> K{检查保存点级别}
    K -- 不同 --> L[报错：保存点不存在当前级别]
    K -- 相同 --> M[标记提交待处理]
    M --> N[更新xact->blockState为TBLOCK_SUBRELEASE]
    N --> O{xact == target}
    O -- 是 --> P[结束]
    O -- 否 --> N
    C --> P
    E --> P
    F --> P
    H --> P
    J --> P
    L --> P
  1. 首先，从全局变量中获得当前事务状态，并申请两个相同的变量；之后检查当前事务是否为并行事务模式。
	TransactionState s = CurrentTransactionState;
	TransactionState target,
				xact;

	if (IsInParallelMode())
		ereport(ERROR,
            (errcode(ERRCODE_INVALID_TRANSACTION_STATE),
             errmsg("cannot release savepoints during a parallel operation")));

  1. 通过swtich-case结构，完成事务块状态检查任务，在这个结构中，除了事务块状态为TBLOCK_SUBINPROGRESS可以正常退出，其他都会报错（TBLOCK_INPROGRESS和TBLOCK_IMPLICIT_INPROGRESS两个状态报ERROR，其他报FATAL）。

  2. 通过for循环，从当前节点回溯寻找目标节点。PointerIsValid()用于判断输入的指针是否为NULL。如果节点中成员name存在且等于目标的name，那么找到目标节点，退出循环。

	for (target = s; PointerIsValid(target); target = target->parent)
	{
		if (PointerIsValid(target->name) && strcmp(target->name, name) == 0)
			break;
	}
  1. 检查目标节点的有效性和保存等级。
	if (!PointerIsValid(target))
		ereport(ERROR,
            (errcode(ERRCODE_S_E_INVALID_SPECIFICATION),
                errmsg("savepoint \"%s\" does not exist", name)));

	/* disallow crossing savepoint level boundaries */
	if (target->savepointLevel != s->savepointLevel)
		ereport(ERROR,
            (errcode(ERRCODE_S_E_INVALID_SPECIFICATION),
             errmsg("savepoint \"%s\" does not exist within current savepoint level",
             name)));
  1. 临时变量xact获取当前节点的事务状态值，并通过死循环修改从当前到目标值的事务块状态，直到遇到目标值退出。
	xact = CurrentTransactionState;
	for (;;)
	{
		Assert(xact->blockState == TBLOCK_SUBINPROGRESS);
		xact->blockState = TBLOCK_SUBRELEASE;
		if (xact == target)
			break;
		xact = xact->parent;
		Assert(PointerIsValid(xact));
	}

处理TRANS_STMT_ROLLBACK_TO

当终端输入ROLLBACK TO XX语句时，这时会发起一个子事务保存点回滚的操作。首先会调用RequireTransactionBlock函数检查当前事务的状态，之后再调用RollbackToSavepoint函数修改目标子事务节点的事务块状态。

RequireTransactionBlock函数的处理过程与SAVEPOINT过程相同，不做更多的阐述。

RollbackToSavepoint()函数的执行过程：

graph TD
    A[开始] --> B{IsInParallelMode}
    B -- 是 --> C[报错：不能在并行操作中回滚到保存点]
    B -- 否 --> D{s->blockState}
    D -- TBLOCK_INPROGRESS 或 TBLOCK_ABORT --> E[报错：保存点不存在]
    D -- TBLOCK_IMPLICIT_INPROGRESS --> F[报错：ROLLBACK TO SAVEPOINT只能在事务块中使用]
    D -- TBLOCK_SUBINPROGRESS 或 TBLOCK_SUBABORT --> G[继续执行]
    D -- 其他无效状态 --> H[日志记录：RollbackToSavepoint意外状态]
    G --> I[查找目标保存点]
    I -- 未找到 --> J[报错：保存点不存在]
    I -- 找到 --> K{检查保存点级别}
    K -- 不同 --> L[报错：保存点不存在当前级别]
    K -- 相同 --> M[标记中止待处理]
    M --> N[更新xact->blockState]
    N --> O{xact == target}
    O -- 是 --> P[标记目标为重启待处理]
    O -- 否 --> Q[继续更新xact]
    Q --> N
    P --> R[结束]
    C --> R
    E --> R
    F --> R
    H --> R
    J --> R
    L --> R
  1. 设定事务状态，获取当前事务状态，创建目标父节点和临时事务状态变量，并检查当前是否是并行事务模式。
	TransactionState s = CurrentTransactionState;
	TransactionState target, xact;
	if (IsInParallelMode())
		ereport(ERROR,
			(errcode(ERRCODE_INVALID_TRANSACTION_STATE),
			 errmsg("cannot rollback to savepoints during a parallel 
                             operation")));
  1. 检查事务块状态
    通过switch-case结构检查当前事务块的状态，和ReleaseSavepoint()函数相似，除了处于TBLOCK_SUBINPROGRESS或TBLOCK_SUBABORT状态，可以正确退出，其余都会报错。
    /* We can't rollback to a savepoint if there is no savepoint defined.*/
    case TBLOCK_INPROGRESS:
    case TBLOCK_ABORT:
        ereport(ERROR,
            (errcode(ERRCODE_S_E_INVALID_SPECIFICATION),
             errmsg("savepoint \"%s\" does not exist", name)));
        break;
    case TBLOCK_IMPLICIT_INPROGRESS:
        ereport(ERROR,
            (errcode(ERRCODE_NO_ACTIVE_SQL_TRANSACTION),
             errmsg("%s can only be used in transaction blocks", 
                     "ROLLBACK TO SAVEPOINT")));
        break;
    /* There is at least one savepoint, so proceed. */
    case TBLOCK_SUBINPROGRESS:
    case TBLOCK_SUBABORT:
        break;  
    /* These cases are invalid. */
    case TBLOCK_DEFAULT:
    /* ... */
        elog(FATAL, "RollbackToSavepoint: unexpected state %s",
                BlockStateAsString(s->blockState));
        break;
  1. 回溯寻找目标节点。通过for循环回溯链栈，寻找目标节点target。
	for (target = s; PointerIsValid(target); target = target->parent)
	{
		if (PointerIsValid(target->name) && strcmp(target->name, name) == 0)
			break;
	}
  • PointerIsValid本质为宏定义，作用为判断参数是否为NULL；
  • 判断target->name是否为空，且是否等于目标节点的name。如果为True，则跳出for循环；
  1. 检查目标节点target的状态，同时检查保存点等级。
	if (!PointerIsValid(target))
		ereport(ERROR,
				(errcode(ERRCODE_S_E_INVALID_SPECIFICATION),
				 errmsg("savepoint \"%s\" does not exist", name)));
	/* disallow crossing savepoint level boundaries */
	if (target->savepointLevel != s->savepointLevel)
		ereport(ERROR,
				(errcode(ERRCODE_S_E_INVALID_SPECIFICATION),
				 errmsg("savepoint \"%s\" does not exist within current 
                                    savepoint level", name)));
  1. 修改目标点之前的状态，将当前事务到目标节点之间的状态标记为ABORT PENDING或ABORT END状态。
	xact = CurrentTransactionState;
	for (;;)
	{
		if (xact == target)
			break;
		if (xact->blockState == TBLOCK_SUBINPROGRESS)
			xact->blockState = TBLOCK_SUBABORT_PENDING;
		else if (xact->blockState == TBLOCK_SUBABORT)
			xact->blockState = TBLOCK_SUBABORT_END;
		else
			elog(FATAL, "RollbackToSavepoint: unexpected state %s",
				 BlockStateAsString(xact->blockState));
		xact = xact->parent;
		Assert(PointerIsValid(xact));
	}
  1. 修改xact作为目标节点的事务块状态。
	/* And mark the target as "restart pending" */
	if (xact->blockState == TBLOCK_SUBINPROGRESS)
		xact->blockState = TBLOCK_SUBRESTART;
	else if (xact->blockState == TBLOCK_SUBABORT)
		xact->blockState = TBLOCK_SUBABORT_RESTART;
	else
		elog(FATAL, "RollbackToSavepoint: unexpected state %s",
			 BlockStateAsString(xact->blockState));
  • 如果临时变量xact的blockState为TBLOCK_SUBINPROGRESS，将事务块状态修改为TBLOCK_SUBRESTART；
  • 如果临时变量xact的blockState为TBLOCK_SUBABORT，将事务块状态修改为TBLOCK_SUBABORT_RESTART；
  • 如果临时变量xact的事务块状态为其他状态，则提交FATAL日志；

完成RollbackToSavepoint函数。

He3DB_ht
关注
海山数据库(He3DB)源码详解：事务块执行过程及内核函数
于巍，花名漠雪，移动云数据库技术委员会主任，海山数据库研发负责人，PG中文社区常委，PG中文社区海外联络人。15年数据库内核研发经验，4年美国、以色列等海外研发经历，华为GaussDB、阿里云PolarDB、移动云He3DB等核心架构
11-22 599
事务SQL语句的执行过程，会先通过事务块函数修改事务块状态，然后根据事务块状态执行不同的事务行为。因此，本章会讲解事务块的开始和结束过程的事务块函数。
最新AutoSub Release版本(2.1)
weixin_30244889的博客
12-05 429
由于最近有些忙，所以发布的有些晚，敬请谅解。 这是我们最新的版本： 下载链接： 讯雷快传：http://kuai.xunlei.com/d/BOQSGQTUMEBS 百度网盘：http://pan.baidu.com/share/link?shareid=148439&uk=3709118069 优酷视频地址：http://v.youku.com/v_show/id_X...
海山数据库(He3DB)源码详解：两阶段提交（2PC）事务块内核函数执行过程
He3DB_ht的博客
11-08 596
两阶段提交（2PC）是一种用于分布式系统的事务处理协议，旨在确保事务的原子性。graph TDA[开始] --> B[事务发起者请求所有参与者准备]B --> C{所有参与者是否准备好？C -- 是 --> D[事务发起者发送提交请求]C -- 否 --> E[事务发起者发送放弃请求]D --> F{所有参与者是否同意提交？F -- 是 --> G[所有参与者提交事务]F -- 否 --> H[所有参与者放弃事务]E --> I[所有参与者放弃事务]G --> J[事务提交完成]
海山数据库(He3DB)源码详解：He3DB-XLogWrite函数
DAWN1221的博客
08-22 1085
如果已经刷新的日志位置同时小于请求刷新的位置以及已经完成写入的位置（这表明有部分数据已经写入但未刷新到磁盘，且这部分是请求要求刷新的部分）如果该函数返回false，表示当前的写入操作已经超出了当前日志分段的范围，因此需要切换到新的日志分段。如果没有写入错误，则更新对应的剩余写入字符、起始位置指针以及偏移量。被初始化为 0，表示还没有找到任何可以连续写入的页面。该函数将传入的已经写入的末位置转换为缓存页面的索引。该循环只能在请求写入的位置大于已经写入位置才能进行。减到0，即完成所有数据的写入。
海山数据库(He3DB)源码详解：海山Mysql 自动测试框架MTR
He3DB_ht的博客
01-23 1148
在修改内核代码后，不仅需要测试新增功能，同时也要对原有功能做回归测试，以保证新加代码对原有功能没有影响，这就需要用到MySQL源码自带的测试框架，简称MTR。主要应用于MySQL等相关数据库项目开发测试，对单个功能点或者模块进行正确性和功能性测试，该工具在SQL级别对MySQL进行单元测试。不仅仅能测试SQL语句，也能根据实际需要测试不同启动参数配置的MySQL服务器和客户端从而验证指定的功能逻辑。
怎么优化慢SQL
chenxuefeng_accp的专栏
01-06 717
摘要：本文系统介绍了MySQL慢SQL优化方法论，涵盖慢SQL定位、常见问题分析及优化策略。通过开启慢查询日志和使用EXPLAIN分析执行计划，可快速识别性能瓶颈。优化措施包括：合理设计索引（避免失效）、解决排序和临时表问题、优化JOIN查询、处理大分页性能问题等。高级优化手段涉及SQL重写、读写分离、分库分表和缓存技术。这些方法不仅适用于InnoDB引擎，部分也适用于其他关系型数据库，是提升数据库性能的实用指南。
AI应用（5）- RAG知识库理解
小糖豆
01-07 943
知识库其实是自己建立的库，并不是让模型记住，而是把文档变成可以检索的库，模型在这个过程中只是读证据，综合多端证据，按照规则输出而已。
基于学科知识图谱的智能搜索平台研究与构建
专业代码设计
01-09 371
本论文针对传统搜索引擎的不足，提出基于学科知识图谱的智能搜索平台。平台通过构建知识图谱，实现学术资源的精准索引与高效检索。实验证明，相比传统搜索，本平台在准确性、速度和满意度上均有显著优势，为学科知识检索提供新方案，具重要理论和应用价值。
使用TwinCAT为半导体设备设计数据功能的技术方案
ponygame的博客
01-05 1574
摘要：本文提出基于TwinCAT平台的半导体设备数据统计系统方案，采用分层架构实现实时数据采集与处理。实时层(PLC)负责1-10ms级数据采集、预处理和基础统计计算，符合SEMI标准要求；非实时层(.NET)实现数据分析、存储和WPF/WinForms界面展示。系统通过ADS协议实现高效通信，支持EtherCAT等现场总线接入，提供实时监控、历史趋势、统计报表等功能。方案涉及TwinCAT编程、C#开发、数据库设计等多技术领域，具有实时性强、模块化程度高、符合行业标准等特点，但需掌握IEC61131-3、
HTML:SQLite本地网页查看
aimersong69的博客
01-06 310
本文介绍了一个基于Web的SQLite本地查看器工具，无需安装即可在浏览器中查看SQLite数据库。该工具采用HTML5技术实现，支持拖拽上传.db/.sqlite文件，提供表结构浏览、数据查询、自定义SQL执行和数据导出为CSV等功能。通过sql.js库实现前端SQL解析，保证数据在本地处理，避免云端传输的安全风险。界面采用现代化设计，包含响应式布局、表格展示和交互式操作，适合开发人员快速查看和分析SQLite数据库内容。
数据库技术基础-01-数据库的基本概念
入选天府英才计划，致力于大数据+AI 的应用创新。
01-05 576
本文介绍了数据库技术的基本概念，包括数据、数据库、数据库管理系统和数据库系统。数据是数据库中存储的基本对象，可以是数字、文字、图像等多种形式。数据库是有组织、可共享的数据集合，具有低冗余、高独立性和易扩展性特点。文中通过学生记录等实例说明了数据语义的重要性，并简要提及数据库安装和数据表创建等实践内容。
LightRAG应用二-[文档Postgres数据库存储]
HarryChenj的专栏
01-09 542
LightRAG系统使用PostgreSQL数据库进行文档向量存储与管理
达梦数据库索引删除操作小记
吕呵呵的博客
01-06 358
摘要：达梦数据库(DM8)中删除系统自动生成的索引(如INDEX33557221)时，因该索引关联主键/唯一约束而被系统阻止。解决方案应先查询ALL_CONSTRAINTS表确定关联约束，通过删除约束(ALTER TABLE...DROP CONSTRAINT)间接删除索引。核心原则是约束(逻辑)与索引(物理)的绑定关系，系统索引作为约束的实现载体不应直接操作。操作流程需依次检查约束类型、业务影响和依赖关系，最终通过约束管理实现索引变更。（149字）
mongo升级rpm、tgz、zip包至4.x最高版本
weixin_45760327的博客
01-06 362
linux及windwos系统升级mongo服务至4.x版本
达梦数据库更换Key 文件
yang_z_1的博客
01-08 169
本文详细介绍了在Linux环境下更换达梦数据库Key文件的操作流程。主要内容包括：确认操作系统和数据库版本信息、检查数据库运行状态、替换Key文件的具体步骤（备份原文件、导入新文件并设置权限）、通过SQL命令或重启服务激活新Key的方法，以及集群环境下的注意事项。文章还提供了最佳实践建议，如操作前备份、避开业务高峰期和定期检查Key有效期等，确保数据库授权更新过程安全可靠。
ZR.Admin——基于.Net8 + vue2.x前后端分离的.net快速开发框架
最新发布
bjzhang75的博客
01-09 439
ZR.Admin——基于.Net8 + vue2.x前后端分离的.net快速开发框架
MyBatis查询映射终极指南：resultType与resultMap该如何选择？
srlsong的博客
01-09 324
本文深入解析MyBatis中resultType和resultMap的核心区别与适用场景。resultType基于自动映射，适合列名与属性名一致的简单查询；resultMap支持手动配置，适用于列名不一致、复杂关联查询和自定义类型转换等场景。通过用户-订单案例演示了一对多关联查询的resultMap实现，并提供了类型转换器的配置方法。文章总结了"简单查询用resultType，复杂场景用resultMap"的选择原则，同时列举了大小写不一致、关联属性为null等常见坑点及解决方案。掌握两
轻松掌握3dB带宽计算：使用3dBcalculator软件
在电子工程领域中，3dB带宽是指信号功率下降到最高点的3dB（即最大功率的一半）时的频率范围。这是一个衡量信号带宽的重要参数。在给定的文件信息中提到的“3dB带宽计算器”是一款用于计算电子电路中3dB带宽的软件...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值