3. 事务边界定义：事务边界、划分原则与本地/全局事务

在微服务架构中，事务边界是决定数据一致性与系统可用性的核心设计点。错误的边界划分会导致分布式数据不一致、补偿逻辑复杂化甚至系统雪崩。本节从概念、原则到事务类型，系统梳理事务边界的定义与划分方法。

3.1 什么是事务边界

事务边界是指一组数据库操作或业务操作被原子化包裹的起始与结束范围。在边界内，所有操作要么全部成功提交，要么全部回滚撤销。边界之外的操作不受该事务的隔离与原子性保护。

3.2 微服务中事务边界的划分原则

单体应用的事务边界通常与 HTTP 请求边界重合。但在微服务中，每个服务拥有独立的数据库，事务边界必须重新划分。以下是业界公认的四大原则：

1. 服务内强一致，服务间最终一致
   单个微服务内部使用本地事务保证 ACID；跨服务调用使用 Saga 或事件驱动保证最终一致性。
2. 事务边界与业务聚合边界对齐
   一个事务只修改一个聚合（Aggregate）内的数据。跨聚合的修改应拆分为多个独立事务。
3. 避免跨服务分布式事务
   不推荐使用两阶段提交（2PC）跨多个微服务，因为会引入同步阻塞、单点故障和性能瓶颈。
4. 事务边界应尽量短小
   长事务会持有数据库锁过久，降低系统并发能力。微服务中应尽量将事务控制在 100ms 以内。

3.3 本地事务与全局事务

理解本地事务与全局事务的区别，是掌握微服务事务边界的基础。下表从多个维度进行对比：

3.4 本地事务在 NestJS 中的典型实现

在 NestJS 中，本地事务通常通过 TypeORM 的 QueryRunner 或 @Transactional() 装饰器实现。以下是一个标准的事务边界代码示例：

import { Injectable } from '@nestjs/common';
import { InjectRepository } from '@nestjs/typeorm';
import { Repository, QueryRunner, DataSource } from 'typeorm';
import { Order } from './order.entity';

@Injectable()
export class OrderService {
  constructor(
    private dataSource: DataSource,
    @InjectRepository(Order)
    private orderRepo: Repository<Order>,
  ) {}

  async createOrderWithLocalTransaction(orderData: Partial<Order>): Promise<Order> {
    const queryRunner: QueryRunner = this.dataSource.createQueryRunner();
    await queryRunner.connect();
    await queryRunner.startTransaction();

    try {
      // 事务边界内的所有操作
      const order = queryRunner.manager.create(Order, orderData);
      const savedOrder = await queryRunner.manager.save(order);

      // 其他本地操作（如更新库存表、写入日志）
      // await queryRunner.manager.update(...)

      await queryRunner.commitTransaction();
      return savedOrder;
    } catch (error) {
      await queryRunner.rollbackTransaction();
      throw error;
    } finally {
      await queryRunner.release();
    }
  }
}

3.5 事务边界划分的常见陷阱

• 陷阱1：事务边界包含远程调用
  将 HTTP/RPC 调用放在本地事务内，导致事务长时间持有数据库连接和锁，降低系统吞吐量。
• 陷阱2：事务边界过大
  一个事务内操作多个聚合根，违反 DDD 聚合设计原则，增加死锁概率。
• 陷阱3：事务边界过小
  本应原子化的操作被拆成多个独立事务，导致部分成功部分失败，数据不一致。
• 陷阱4：忽略事务传播行为
  在 NestJS 中，@Transactional() 默认的传播行为是 REQUIRED，如果嵌套调用未正确处理，可能导致事务意外合并或回滚范围错误。