• 隔离级别的实现原理


    隔离级别的实现原理

    https://www.cnblogs.com/wade-luffy/p/8686883.html#_label7

     

    排他锁(Exclusive Lock)

    排他锁(Exclusive Lock) ,   简称X锁。

    若事务T对数据对象A加上X锁,则只允许T读取和修改A,其他任何事务都不能再对A加任何类型的锁,直到T释放A上的锁。这就保证了其他事务在T释放A上的锁之前不能再读取和修改A。

    规则1:写一个数据之前加X锁, 事务提交之后释放该X锁。 

    共享锁(Share lock) 

    共享锁(Share lock) ,简称S锁, 这个锁和之前的排他锁X锁有区别, 主要用于读取数据。 

    如果一个数据加了X锁, 就没法加S锁,没法再加X锁。

    如果一个数据加了S锁, 就可以加S锁,没法再加X锁。

    规则1读一个数据之前加S锁, 读完之后立刻释放该S锁。 

    规则2读一个数据之前加S锁, 事务提交之后立刻释放该S锁。 

    丢失修改”的问题

    事务1的修改被事务2的修改覆盖了,事务1的修改像是丢失了。

    排他锁可以解决两个人同时修改导致的“丢失修改”的问题,事务1修改的时候不能被其他事务修改。

    读未提交(最低的事务隔离级别)-脏数据

    现象:不会丢失数据,事务1还未提交的修改能被事务2读取。可以读到没有提交或者回滚的内容 (脏数据)。

    原理:写数据时加上X锁,直到事务结束, 读的时候不加锁。 

    读已提交-不可重复读

    现象:能避免“丢失数据”和“脏数据”,事务1能读到其他已提交事务的修改,出现“不可重复读”的问题。

    原理:写数据的时候加上X锁, 直到事务结束,  读的时候加上S锁, 读完数据立刻释放。(共享锁规则1)

    可重复读-幻读

    现象:能避免“丢失数据”和“脏数据”, “不可重复读”三个问题,事务1能读取到其他事务新插入读数据,出现“幻读”的问题。

    原理:写数据的时候加上X锁,  直到事务结束, 读数据的时候加S锁, 也是直到事务结束。(共享锁规则2)

    Serializable (串行化) 

    现象:能避免“丢失数据”和“脏数据”, “不可重复读”,“幻读”四个问题。

    原理:严格有序执行,事务不能并发执行。 

    MVCC(多版本并发控制)

    “串行化”隔离级别,虽然不会出错,但是效率实在太低了。  避免使用!!

    “可重复读”,虽然会出现幻读,但是也能忍受。但为了实现可重复读, 需要在事务中对读操作加锁,并且得持续到整个事务结束,效率也一般,可选择使用。

    隔离级别在可重复读和读已提交情况下,有没有可能在在读的时候不用加锁,也能实现可重复读?

    MVCC实现了保证可重复读并在读数据的时候不需要加锁操作!! ps:但是在写数据的时候,MySQL还是要加锁的,防止写-写冲突。读写不互相等待,能极大地提高数据库的并发能力啊。

    原理

    给数据库里面的每张表加两个隐藏的字段:事务ID,回滚指针。(事务ID就表明这一行数据是哪个事务操作的,事务ID是一个递增的数字,每次开始新事务,这个数字就会增加。)

    扩展一个Read View的数据结构记录版本数据,它有三个部分:

    (1) 当前活跃的事务列表 ,即[101,102]

    (2) Tmin ,就是活跃事务的最小值, 在这里 Tmin = 101 

    (3) Tmax, 是系统中最大事务ID(不管事务是否提交)加上1。 在这里例子中,Tmax = 103

    (注: 在可重复读的隔离级别下,当第一个Read操作发生的时候,Read view就会建立。 在Read Committed隔离级别下,每次发出Read操作,都会建立新的Read view。)

    流程变化

    原始数据

    事务ID  回滚指针  name  age 
    100 null sf 30

    开启两个事务

    事务id101  事务id102
    开始事务    标记1  
    select * from users where name='sf';  开始事务
    do others things

     update users set age = 35 where name='sf';  标记2

     提交事务

    select * from users where name='sf';  

    在标号1 的地方,数据是这样的:  与此同时,需要建立一个叫做Read View的数据结构。

    事务ID  回滚指针  name  age 
    100 null sf 30

    在标号为2的地方,数据是这样的:事务2做了修改,所以事务ID修改为102,回滚指针指向上一个事务ID的数据,即事务ID100

    事务ID  回滚指针  name  age 
    102  上一版本的数据 sf 35

    按照可重复读的要求,事务1无论读多少次总能读到age=30的那行记录,即使事务2修改了age,也不受影响。

    那么如何用来判断这些数据版本记录中哪些对你来说是可见的(可读的)。 ”

    对于上面的例子,ReadView 中事务列表是[101,102], Tmin= 101, Tmax = 103,第一次读和第二次读是什么样子。

    当事务101第一次读的时候,只有一条记录, tid = 100 ,小于Tmin,所以是可以读的。 然后事务102做了修改。

    当事务101第二次读的时候,tid=102,程序走到了‘tid是否在Read View中这一分支,由于102确实在Read View的活动事务列表中,那就顺着回滚指针找到下一行记录,即tid为100那一行,再次判断,这就和第一次读一样了。

  • 相关阅读:
    弧长的参方程表示形式
    selenium实例
    中英文混合分词
    准确率(Precision)、召回率(Recall)以及F值(F-Measure)
    安装zeromq以及zeromq的python示例
    uwsgi安装过程中遇到的问题
    安装python-devel 在升级到python2.7之后
    更新yum源
    yum mysql on centos 7
    vue--子组件主动获取父组件的数据和方法
  • 原文地址:https://www.cnblogs.com/cuiqq/p/12308309.html
Copyright © 2020-2023  润新知