CMU15-445-并发控制,事务实现

2024-05-26 04:52

本文主要是介绍CMU15-445-并发控制,事务实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

LRU-K

LUR-K如何实现和图片

链接里面有算法过程和实现过程

事务并发控制

CMU15-445概览

2PL代表两阶段锁协议(Two-phase locking)。这是一种并发控制机制,用于关系数据库系统中以保障数据完整性。在这种机制中,事务的执行被划分为两个阶段:加锁阶段释放锁阶段。加锁阶段发生在事务开始时,而释放锁阶段发生在事务结束时。这种划分确保了事务的原子性和隔离性,避免了死锁和活锁的情况。

enum class TransactionState { GROWING, SHRINKING, COMMITTED, ABORTED };

事务的四种状态 // 事务状态 {增长中,收缩中,已提交,已中止}

enum class IsolationLevel { READ_UNCOMMITTED, REPEATABLE_READ, READ_COMMITTED };

三种隔离级别,读未提交,可重复读,读提交

enum class WType { INSERT = 0, DELETE, UPDATE };

三种写入类型,插入,删除和更新

简而言之五种锁:

X exclusive锁,排它锁

S shared锁,读共享锁

IX intension exclusive 行排它锁

IS intension shared   行共享锁

SIX 共享意向排它锁如果需要修改表中的某些行,但需要读取整个表,这时候就可以给整张表加上SIX锁。可以看到它与IX锁的区别:加入SIX锁后,不能修改表的其它行,因为需要读整张表。

五种锁,详细介绍

为什么要six锁,什么是共享意向排它锁

锁升级的触发条件

锁升级通常在以下情况下触发:

锁升级的优点和缺点

优点

缺点

实际应用中的锁升级

在实际应用中,锁升级策略需要仔细权衡性能和并发性。例如,在高并发环境中,频繁的锁升级可能会导致大量的锁冲突,反而降低了系统的性能。因此,数据库管理系统通常会提供配置选项,允许管理员调整锁升级的阈值和策略,以适应特定的工作负载。

  • 在收缩阶段加锁。
  • 在收缩阶段解锁时出错
  • 更新锁冲突,(另一个事务已经在等待升级这个锁)
  • 死锁
  • 在读未提交上加共享锁
    enum class AbortReason {LOCK_ON_SHRINKING,UNLOCK_ON_SHRINKING,UPGRADE_CONFLICT,DEADLOCK,LOCKSHARED_ON_READ_UNCOMMITTED
    };
    

    锁升级(Lock Escalation)是数据库管理系统(DBMS)和多线程编程中的一种技术,用于减少锁的开销和提高系统的性能。锁升级的过程是将多个细粒度的锁(如行锁或页锁)升级为一个更粗粒度的锁(如表锁或区锁)。这种操作通常在系统检测到持有大量细粒度锁时触发,以避免管理大量锁带来的开销。

    锁升级的概念

    在数据库管理系统中,当事务需要访问许多行或页时,会导致系统持有大量的行锁或页锁。管理这些大量的锁需要更多的内存和处理时间,这可能会影响系统的性能。为了优化性能,数据库管理系统会尝试将这些大量的细粒度锁升级为一个粗粒度锁。

    例子
  • 行锁升级为页锁:如果一个事务持有同一页上的许多行锁,系统可能会将这些行锁升级为一个页锁。
  • 页锁升级为表锁:如果一个事务持有同一个表上的许多页锁,系统可能会将这些页锁升级为一个表锁。
  • 锁数量超过阈值:系统持有的细粒度锁数量超过预设的阈值时,会触发锁升级。
  • 资源耗尽:系统检测到管理大量细粒度锁消耗了过多的资源(如内存或处理时间)时,会触发锁升级。
  • 事务模式:某些事务模式(如批量更新或删除)会显式地触发锁升级。
  • 降低开销:减少了系统管理大量锁的开销,提高了性能。
  • 减少锁争用:通过持有较少的锁,减少了锁争用的可能性。
  • 增加锁冲突:粗粒度锁覆盖范围较大,可能会导致更多的锁冲突,影响并发性。
  • 降低并发性:持有一个粗粒度锁会阻止其他事务访问被锁定的资源范围,从而降低了系统的并发性。

这篇关于CMU15-445-并发控制,事务实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1003551

相关文章

C#借助Spire.XLS for .NET实现在Excel中添加文档属性

《C#借助Spire.XLSfor.NET实现在Excel中添加文档属性》在日常的数据处理和项目管理中,Excel文档扮演着举足轻重的角色,本文将深入探讨如何在C#中借助强大的第三方库Spire.... 目录为什么需要程序化添加Excel文档属性使用Spire.XLS for .NET库实现文档属性管理Sp

Python+FFmpeg实现视频自动化处理的完整指南

《Python+FFmpeg实现视频自动化处理的完整指南》本文总结了一套在Python中使用subprocess.run调用FFmpeg进行视频自动化处理的解决方案,涵盖了跨平台硬件加速、中间素材处理... 目录一、 跨平台硬件加速:统一接口设计1. 核心映射逻辑2. python 实现代码二、 中间素材处

Java数组动态扩容的实现示例

《Java数组动态扩容的实现示例》本文主要介绍了Java数组动态扩容的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1 问题2 方法3 结语1 问题实现动态的给数组添加元素效果,实现对数组扩容,原始数组使用静态分配

Python实现快速扫描目标主机的开放端口和服务

《Python实现快速扫描目标主机的开放端口和服务》这篇文章主要为大家详细介绍了如何使用Python编写一个功能强大的端口扫描器脚本,实现快速扫描目标主机的开放端口和服务,感兴趣的小伙伴可以了解下... 目录功能介绍场景应用1. 网络安全审计2. 系统管理维护3. 网络故障排查4. 合规性检查报错处理1.

Python轻松实现Word到Markdown的转换

《Python轻松实现Word到Markdown的转换》在文档管理、内容发布等场景中,将Word转换为Markdown格式是常见需求,本文将介绍如何使用FreeSpire.DocforPython实现... 目录一、工具简介二、核心转换实现1. 基础单文件转换2. 批量转换Word文件三、工具特性分析优点局

Springboot3统一返回类设计全过程(从问题到实现)

《Springboot3统一返回类设计全过程(从问题到实现)》文章介绍了如何在SpringBoot3中设计一个统一返回类,以实现前后端接口返回格式的一致性,该类包含状态码、描述信息、业务数据和时间戳,... 目录Spring Boot 3 统一返回类设计:从问题到实现一、核心需求:统一返回类要解决什么问题?

Java使用Spire.Doc for Java实现Word自动化插入图片

《Java使用Spire.DocforJava实现Word自动化插入图片》在日常工作中,Word文档是不可或缺的工具,而图片作为信息传达的重要载体,其在文档中的插入与布局显得尤为关键,下面我们就来... 目录1. Spire.Doc for Java库介绍与安装2. 使用特定的环绕方式插入图片3. 在指定位

Java使用Spire.Barcode for Java实现条形码生成与识别

《Java使用Spire.BarcodeforJava实现条形码生成与识别》在现代商业和技术领域,条形码无处不在,本教程将引导您深入了解如何在您的Java项目中利用Spire.Barcodefor... 目录1. Spire.Barcode for Java 简介与环境配置2. 使用 Spire.Barco

Java利用Spire.Doc for Java实现在模板的基础上创建Word文档

《Java利用Spire.DocforJava实现在模板的基础上创建Word文档》在日常开发中,我们经常需要根据特定数据动态生成Word文档,本文将深入探讨如何利用强大的Java库Spire.Do... 目录1. Spire.Doc for Java 库介绍与安装特点与优势Maven 依赖配置2. 通过替换

Android使用java实现网络连通性检查详解

《Android使用java实现网络连通性检查详解》这篇文章主要为大家详细介绍了Android使用java实现网络连通性检查的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录NetCheck.Java(可直接拷贝)使用示例(Activity/Fragment 内)权限要求