解析两阶段提交与三阶段提交的核心差异及MySQL实现方案

引言

在分布式系统的事务处理中,如何保障跨节点数据操作的一致性始终是核心挑战。经典的两阶段提交协议(2PC)通过准备阶段与提交阶段的协调机制,以同步决策模式确保事务原子性。其改进版本三阶段提交协议(3PC)通过增加预提交阶段和超时机制,旨在解决2PC的阻塞风险。值得注意的是,MySQL数据库的Binlog与InnoDB引擎通过内部两阶段提交机制,实现了事务日志与存储引擎状态的一致性保障。

两阶段提交

第一阶段:准备阶段,第二阶段:提交阶段。将提议的节点称为协调者(coordinator),其他参与决议节点称为参与者。

第一阶段:协调者发起一个提议,分别问询各参与者是否接受,参与者如果认为自己可以提交事务,它们将执行所有必要的操作但不提交(记录redo log,undo log),正常执行返回Yes,否则返回No。

第二阶段:协调者根据参与者的反馈,提交或回滚事务,如果参与者全部同意则提交,只要有一个参与者不同意就回滚。

MySQL的两阶段提交

当在 InnoDB 中执行事务,并且启用了 Binlog 时,提交事务时会触发两阶段提交过程

  1. 当有数据需要更新的时候,InnoDB 引擎就会先把记录写到redo log buffer以及binlog cache(线程独有的),并更新内存(chang buffer),这个时候更新就算完成了。
    1. 如果是唯一索引更新操作会写入到redo log,普通索引的更新操作会先写入到change buffer,在合适的时机merge到redo log。
  1. 事务提交时写入 redo log 并变成 prepare 状态。(一阶段)
  2. 再把 binlog cache 写到 binlog 文件中,最后 redo log 变成 commit 状态。(二阶段)

三阶段提交

三阶段提交,是二阶段提交(2PC)的改进版本。与两阶段提交不同的是,三阶段提交有两个改动点。

  1. 引入超时机制。同时在协调者和参与者中都引入超时机制。
  2. 在第一阶段和第二阶段中插入一个准备阶段。保证了在最后提交阶段之前各参与节点的状态是一致的。也就是说,除了引入超时机制之外,3PC把2PC的准备阶段再次一分为二,这样三阶段提交就有CanCommit、PreCommit、DoCommit三个阶段。

第一阶段CanCommit:事务协调者向所有参与者发送询问消息(CanCommit),询问它们是否能够提交事务。

第二阶段PreCommit:协调者根据参与者的反应情况来决定是否可以进行事务的PreCommit操作。

  1. 参与者如果认为自己可以提交事务,它们将执行所有必要的操作但不提交(记录redo log,undo log),并锁定资源,然后向协调者发送准备提交(PreCommit)的响应。
  2. 协调者等待来自所有参与者的响应。如果收到所有参与者的肯定回复,它将进入提交阶段;如果任何一个参与者否定或者等待超时,它将进入中止阶段。

第三阶段DoCommit

  1. 如果进入提交阶段,协调者向所有参与者发送提交消息(doCommit),指示它们正式提交事务。
  2. 如果进入中止阶段,协调者向所有参与者发送中止消息(abort),指示它们回滚事务。

两阶段提交和三阶段提交区别?

阻塞性问题

两阶段提交会存在阻塞性问题,如果参与者都已经执行一阶段,但协调者崩溃的话,参与者会进入等待状态,直到协调者恢复并做出决定。

三阶段提交利用超时机制解决阻塞性问题,参与者在预提交阶段后等待协调者的最终提交请求时,如果超过超时时间可以选择回滚事务。


感谢您的阅读!如果文章中有任何问题或不足之处,欢迎及时指出,您的反馈将帮助我不断改进与完善。期待与您共同探讨技术,共同进步!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.pswp.cn/bicheng/84373.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Towards Open World Object Detection概述(论文)

论文:https://arxiv.org/abs/2103.02603 代码:https://github.com/JosephKJ/OWOD Towards Open World Object Detection 迈向开放世界目标检测 Abstract 摘要 Humans have a natural instinct to identify unknown object instances in their environ…

QT3D学习笔记——圆台、圆锥

类名作用Qt3DWindow3D渲染窗口容器QEntity场景中的实体(对象或容器)QCamera控制观察视角QPointLight点光源QConeMesh圆锥几何网格QTransform控制实体的位置/旋转/缩放QPhongMaterialPhong光照材质(定义颜色、反光等)QFirstPersonC…

CSS | transition 和 transform的用处和区别

省流总结: transform用于变换/变形,transition是动画控制器 transform 用来对元素进行变形,常见的操作如下,它是立即生效的样式变形属性。 旋转 rotate(角度deg)、平移 translateX(像素px)、缩放 scale(倍数)、倾斜 skewX(角度…

夏普比率(Sharpe ratio)​

具有投资常识的人都明白,投资光看收益是不够的,还要看承受的风险,也就是收益风险比。 夏普比率描述的正是这个概念,即每承受一单位的总风险,会产生多少超额的报酬。 用数学公式描述就是: 其中&#xff1…

C#学习第29天:表达式树(Expression Trees)

目录 什么是表达式树? 核心概念 1.表达式树的构建 2. 表达式树与Lambda表达式 3.解析和访问表达式树 4.动态条件查询 表达式树的优势 1.动态构建查询 2.LINQ 提供程序支持: 3.性能优化 4.元数据处理 5.代码转换和重写 适用场景 代码复杂性…

计算机网络备忘录

计算机网络 - 网络互联与互联网 计算机网络重点学习本章,属于核心知识 包含网络层和传输层 的 相关协议 计算机网络层次重点掌握网络层与传输层。其中网络层主要是IP协议,解决主机-主机通信,传输层主要是TCP/UDP 协议,解决应用-…

跨界破局者鲁力:用思辨与创新重塑汽车流通行业标杆

来源:投资家 在汽车流通行业深度变革的浪潮中,东莞东风南方汽车销售服务有限公司塘厦分公司总经理鲁力历经近二十年行业深耕,构建了一条从汽车销售顾问到区域运营掌舵者的进阶范本。作为东风日产体系内兼具理论建构与实战穿透力的标杆管理者…

玄机-日志分析-IIS日志分析

1.phpstudy-2018站点日志.(.log文件)所在路径,提供绝对路径 2.系统web日志中状态码为200请求的数量是多少 3.系统web日志中出现了多少种请求方法 4.存在文件上传漏洞的路径是什么(flag{/xxxxx/xxxxx/xxxxxx.xxx} 5.攻击者上传并且利用成功的webshell的文件名是什…

微信小程序开发知识点

1. 微信小程序开发知识点 1.1. 公共引用 1.1.1. 公共 wxss 在app.wxss文件下写入组件样式,也可使用import方式应用单独公共样式,避免了每个页面单独引用。 import "./public/wxss/base.wxss";1.1.2. 公共组件 在app.json文件下写入组件&…

安卓基础(编译.Class)

方法安全性维护性开源友好度删除.java用.class❌ 极低❌ 差❌代码混淆 (ProGuard)✅ 中等✅ 易✅AAR 库模块✅ 高✅ 易✅ 对于.class 步骤 1:编译生成 .class 文件 ​​打开终端​​(Android Studio 底部的 Terminal 标签页) 导航到你的模块…

golang常用库之-go-feature-flag库(特性开关(Feature Flags))

文章目录 golang常用库之-go-feature-flag库(特性开关(Feature Flags))一、什么是特性开关(Feature Flags)二、go-feature-flag库我可以使用 GO Feature Flag 做什么?选择使用 Open Feature SDK…

微前端 - Module Federation使用完整示例

Angular 框架中 项目结构 main-app/src/app/app.module.tsapp.component.ts micro-app/src/app/app.module.tsapp.component.ts主应用配置 安装必要依赖: ng add angular-architects/module-federation修改 webpack.config.js: const { share, Shar…

麒麟v10系统的docker重大问题解决-不支持容器名称解析

今天给客户在麒麟v10Kylin-Server-V10-SP1下安装nextcloudonlyoffice的时候出现无法连接onlyoffice的问题,经过分析找到了是docker版本过低的原因,现在把解决思路和步骤分享给大家。 一、问题 用一键安装工具,给客户装好了系统,Nextcloud可以正常访问 但是访问nextcloud中的o…

PyCharm中运行.py脚本程序

1.最近在弄一个python脚本程序,记录下运行过程。 2.编写的python程序如下 # # Copyright 2017 Pixar # # Licensed under the terms set forth in the LICENSE.txt file available at # https://openusd.org/license. # # Check whether this script is being run …

学习资料搜集-ARMv8 cache 操作

【ARM64】【cache/MMU】学习总结_arm64 mmu-CSDN博客 [mmu/cache]-ARMV8的cache的维护指令介绍_data cache set allocation-CSDN博客 https://download.csdn.net/blog/column/12036969/139483584 验证码_哔哩哔哩 【ARM Cache 与 MMU 系列文章 2 -- Cache Coherence及内存顺…

Flutter快速上手,入门教程

目录 一、参考文档 二、准备工作 下载Flutter SDK: 配置环境 解决环境报错 zsh:command not found:flutter 执行【flutter doctor】测试效果 安装Xcode IOS环境 需要安装brew,通过brew安装CocoaPods. 复制命令行,打开终端 分别执行…

八股文——JVM

1. JVM组成 1.1 JVM由哪些部分组成?运行流程? Java Virtual Machine:Java 虚拟机,Java程序的运行环境(java二进制字节码的运行环境)好处:一次编写,到处运行;自动内存管理…

在Pnetlab6上绕过TPM、安全启动和 RAM 检查安装windows 11笔记

笔者本次安装的windows11的镜像为: zh-cn_windows_11_enterprise_ltsc_2024_x64_dvd_cff9cd2d.iso 1、创建镜像目录并上传iso文件 mkdir /opt/unetlab/addons/qemu/win-win11x64-2024-LTSC //目录名称务必按照官方文档格式,否则无法识别 目录创建完成后,将.iso格式镜像上…

PCL点云库入门(第18讲)——PCL库点云特征之3DSC特征描述3D shape context descriptor

一、3DSC(3D Shape Context)特征算法原理 1. 背景 3DSC 是一种描述三维点云局部形状的特征描述子,受二维 Shape Context 的启发。它用于捕捉点云某一点局部的几何分布信息,对点云配准、识别等任务非常有效。 2. 基本思想 3DSC…

SpringBoot+Mysql校园跑腿服务平台系统源码

💗博主介绍💗:✌在职Java研发工程师、专注于程序设计、源码分享、技术交流、专注于Java技术领域和毕业设计✌ 温馨提示:文末有 CSDN 平台官方提供的老师 Wechat / QQ 名片 :) Java精品实战案例《700套》 2025最新毕业设计选题推荐…