资料内容:
1. 2 DTP 模 型 的 局 限 性
不 难 看 出 , DTP 模 型 使 用 2PC( Two Phase Commit,
两 阶 段 提 交 ) 协 议
[ 4] 来 保 证 分 布 式 事 务 的 原 子 性 和 一
致 性 。 TM 充 当 全 局 事 务 协 调 者 , RM 充 当 全 局 事 务 参
与 者 。 2PC 能 够 严 格 保 证 分 布 式 事 务 的 原 子 性 和 一 致
性 , 并 且 由 于 直 接 作 用 于 资 源 层 , 对 业 务 代 码 没 有 过 多
的 侵 入 性 , 这 使 得
DTP 模 型 具 有 一 定 的 普 适 性 , 满 足
大 部 分 场 景 需 求 。
DTP 模 型 的 缺 点 在 于 性 能 低 下 , 由 于 事 务 的 隔 离
性 , 2PC 一 般 采 用 基 于 锁 的 并 发 控 制
[ 5] 来 控 制 对 数 据
的 访 问 , 这 意 味 着 资 源 将 被 锁 定 直 至 事 务 结 束 。
如 果
一 个 分 布 式 事 务 对 非 热 点 数 据 的 访 问 时 间 过 长 , 将 严
重 影 响 对 于 热 点 数 据 的 访 问 , 降 低 系 统 的 并 发 性 能 。
此 外 , 就 分 布 式 事 务 应 用 场 景 而 言 , DTP 模 型 只 适
用 于 图 1 中 的 单 服 务 、 跨 资 源 场 景
[ 6] , 不 能 有 效 解 决 跨
服 务 、 跨 资 源 场 景 。 而 在 微 服 务 架 构 下 , 跨 服 务 、 跨 资
源 分 布 式 事 务 往 往 更 加 常 见 。
1. 3 微 服 务 架 构 下 的 分 布 式 事 务 特 性
ACID
[ 7] 是 传 统 数 据 库 中 事 务 的 设 计 理 念 , 目 的 是
保 证 数 据 的 正 确 性 , 避 免 出 现 脏 读 、 幻 读 等 错 误 。 但 是
在 分 布 式 系 统 中 , 尤 其 在 应 用 层 面 , 最 重 要 的 是 满 足 业
务 需 求 , 而 非 追 求 绝 对 的 系 统 特 性 。 根 据 CAP
[ 8] 原 理 ,
强 一 致 性 、 可 用 性 和 分 区 容 错 性 不 能 同 时 满 足 。
基 于
CAP 原 理 的 BASE
[ 9] 理 论 采 取 了 和
ACID 完 全 不 同 的
设 计 思 想 , BASE 理 论 通 过 牺 牲 强 一 致 性 来 换 取 高 可
用 性 , 但 可 以 通 过 合 适 的 方 法 达 到 最 终 一 致 性 , 这 符 合
现 实 生 活 中 分 布 式 领 域 的 特 点 。 在 此 基 础 上 实 施 分 布
式 事 务 , 事 务 是 在 应 用 层 执 行 的 , 不 仅 能 够 保 证 数 据 的
最 终 一 致 性 , 也 能 获 取 很 好 的 可 用 性 。
在 微 服 务 架 构 下 , 跨 服 务 、 跨 资 源 的 分 布 式 事 务 满
足 CAP 原 理 , 所 以 后 面 讨 论 的 微 服 务 架 构 下 的 分 布 式
事 务 处 理 模 型 , 都 是 在 BASE 理 论 下 解 决 跨 服 务 、 跨 资
源 分 布 式 事 务 的 处 理 模 型 。