皮皮网

1.初识Seata
2.TCC编译器源码阅读笔记：命令行选项分析与环境变量处理

初识Seata

       Seata是码分一种分布式事务解决方案，由蚂蚁金服和阿里巴巴在年1月开源。码分它旨在提供高性能和易于使用的码分分布式事务服务，为用户提供一站式的码分解决方案。

       Seata官网提供详细的码分文档和播客，涵盖了使用说明和源码分析等内容。码分源码订阅架构上，码分Seata由三个关键角色组成，码分其总体架构如图所示。码分Seata提供四种分布式事务解决方案，码分每一个都离不开TC，码分即事务协调者。码分

       部署TC服务时，码分可参考博主之前的码分文章，链接如下。码分微服务集成Seata时，以order-service为例进行演示。atkflight源码首先，需要在order-service中引入依赖。接着，在application.yml中配置TC服务信息，通过注册中心nacos结合服务名称获取TC地址。微服务如何找到TC的地址，我们知道注册到Nacos中的微服务确定一个实例需要四个信息，这些信息在配置文件中都能找到。

       配置完成后，其他服务按照类似步骤进行。接下来，我们学习Seata中的四种事务模式。首先介绍的是XA模式，它是X/Open组织定义的分布式事务处理标准。Seata对原始的XA模式做了封装和改造，基本架构如图所示。gmpanel源码在AT模式中，我们弥补了XA模式中资源锁定周期过长的缺陷。AT模式下，当前分支事务执行流程分为两个阶段，一阶段RM的工作包括注册分支事务到TC、执行分支业务SQL但不提交以及报告执行状态到TC。二阶段TC和RM的工作分别包括TC通知事务结束、TC检查分支事务状态和RM在提交或回滚时的工作。

       在AT模式下，我们通过一个真实的业务来梳理其原理。接着，我们简述了AT模式与XA模式最大的区别，并讨论了脏写问题及其解决思路。AT模式的优点在于不锁数据库，缺点是需要额外的表记录全局锁和数据快照。实现AT模式时，qstrncpy源码需要导入数据库表，记录全局锁和数据快照，并在application.yml文件中修改事务模式。

       在TCC模式中，每一个阶段都是独立事务，通过人工编码来实现数据恢复。我们通过一个例子来分析TCC模式的流程，包括初始余额、冻结操作、提交操作和回滚操作。Seata中的TCC模型依然沿用事务架构。TCC模式的每个阶段分别对应正向操作和逆向回滚操作，优点是支持复杂业务场景，缺点是需要实现额外的逻辑。实现TCC模式时，需要定义状态表并改造服务，TomatoIDC源码声明TCC接口和编写实现类。

       Saga模式是Seata即将开源的长事务解决方案，基于Hector & Kenneth在年的论文Sagas。在Saga模式下，分布式事务内有多个参与者，每一个参与者都是一个冲正补偿服务。Saga也分为两个阶段，优点是可以处理复杂的业务场景，缺点是实现复杂。我们通过对比四种实现方式来了解其特点。

       Seata的TC服务作为分布式事务的核心，必须保证集群的高可用性。搭建TC服务集群很简单，只需启动多个TC服务并注册到nacos。为了确保安全性，一般会实现异地多机房容灾，例如在上海和杭州分别部署TC集群。微服务基于事务组与TC集群的映射关系查找当前使用的TC集群，当集群出现故障时，通过修改映射关系实现集群切换。

       实现高可用的具体步骤和链接请参考相关文档。希望这些内容能帮助您更好地理解Seata和分布式事务。如果您有任何疑问，欢迎访问博主的个人开源博客地址: chengke.net。

TCC编译器源码阅读笔记：命令行选项分析与环境变量处理

       TCC编译器源码阅读笔记：命令行选项分析与环境变量处理

       TCC没有使用命令行选项分析库，而是自己实现了命令行选项分析功能。其命令行选项语法与GCC编译器选项兼容。此外，TCC进程的环境变量也会影响其行为。详情请参考bellard.org/tcc/tcc-doc...

       命令行选项分析由tcc_parse_args函数完成，该函数通过TCCOption结构的数组描述所有支持的选项，使用FlagDef结构的数组描述二级选项。set_flag函数用于分析二级选项。

       命令行选项一般用于指示程序执行功能或传递执行所需数据。tcc_parse_args分析命令行，产生副作用，即保存信息，以及返回值指示程序接下来要执行的功能。TCC使用TCCState结构汇总编译数据信息，tcc_parse_args的第一个参数也是这个结构的地址，将分析结果存储在结构的相关字段中。

       同时，tcc_parse_args通过返回值指示命令行要求的后续功能，并通过三级指针更新指向命令行参数数组首项的指针变量内容，配合后续功能执行。

       TCC的基础设施包括tcc_strdup、strstart、full_read、load_data、tcc_load_text、tcc_basename、parse_version、args_parser_make_argv、args_parser_listfile、tcc_set_options、filespec、args_parser_add_file等。

       文件相关处理涉及tcc_split_path、tcc_add_include_path、tcc_add_sysinclude_path、tcc_add_library_path和tcc_set_lib_path。路径相关处理包括tcc_define_symbol、tcc_undefine_symbol、-Wl,选项分析、link_option、skip_linker_arg和pstrncpy。

       选项分析实现涉及TCCOption结构、FlagDef结构和set_flag函数。TCCOption结构描述选项名称、ID和特性，FlagDef结构描述二级选项的偏移、特性、名称。set_flag函数根据选项名称和描述数组设置二级选项的值。

       接口tcc_parse_args是TCC命令行选项分析的核心，通过tcc_options数组中的选项描述进行遍历分析。这个接口包含多个局部变量，用于查找当前分析的选项、选项值和指示特定命令行参数的特殊逻辑。接口通过while循环顺序分析命令行参数，返回值指示分析结果。

       TCC主要使用C_INCLUDE_PATH、CPATH和LIBRARY_PATH环境变量，分别用于提供头文件搜索目录和库文件搜索目录。这些环境变量中的路径由set_environment函数添加到TCCState相关字段中。