mysql mdl锁_MySQL锁系列3 MDL锁

MySQL使用MDL锁来保护数据字典,确保并发场景下的结构一致性。MDL锁通过mutex、condition和queue实现并发控制。涉及关键数据结构如MDL_map、MDL_context、MDL_lock等,以及enum_mdl_namespace、enum_mdl_duration和enum_mdl_type等枚举类型,用于作用域、持久性和锁类型定义。文章通过测试展示了加锁、释放、阻塞和唤醒过程,并讨论了MySQL与Oracle在事务开始和DDL语句阻塞方面的设计差异。
摘要由CSDN通过智能技术生成

MySQL为了保护数据字典元数据,使用了metadata lock,即MDL锁,保证在并发的情况下,结构变更的一致性。

MDL锁的加锁模式和源码上的组织上和上一篇blog中MySQL表锁的实现方式一致,都采用了【mutex+condition+queue】来实现并发,阻塞,唤醒的控制。

下面就来看看MDL锁:

1. 重要的数据结构:

2fa7a76e321d321ab90c51e86306e6ed.png

1. MDL_map

mdl_map使用hash表,保存了MySQL所有的mdl_lock,全局共享,使用MDL_KEY作为key来表,key=【db_name+table_name】唯一定位一个表。

2. mdl_context

mdl_context在MySQL为每一个connection创建thd时,初始化一个mdl上下文,保存了当前session请求的mdl信息。

3. MDL_lock

mdl_lock表示系统的一个mdl锁,所有的mdl request都请求对应的mdl_lock,这个mdl_lock结构保存了两个queue,一个是grant_queue表示拿到lock的请求队列。

一个是wait_queue表示请求这个mdl_lock的阻塞队列。

4. MDL_wait

mdl_wait包装了一个mutex和一个condition,提供了所有的加锁,wait,notify操作。

5. MDL_request

在open table的时候,会init一个request,包含了请求的enum_mdl_type,enum_mdl_duration,MDL_ticket,MDL_key。

下面再看看三个重要的枚举类型:

48304ba5e6f9fe08f3fa1abda7d326ab.png

enum enum_mdl_namespace { GLOBAL=0,

SCHEMA,

TABLE,

FUNCTION,

PROCEDURE,

TRIGGER,

EVENT,

COMMIT,

/* This should be the last ! */

NAMESPACE_END };

48304ba5e6f9fe08f3fa1abda7d326ab.png

48304ba5e6f9fe08f3fa1abda7d326ab.png

enum enum_mdl_duration {

/**

Locks with statement duration are automatically released at the end

of statement or transaction.

*/

MDL_STATEMENT= 0,

/**

Locks with transaction duration are automatically released at the end

of transaction.

*/

MDL_TRANSACTION,

/**

Locks with explicit duration survive the end of statement and transaction.

They have to be released explicitly by calling MDL_context::release_lock().

*/

MDL_EXPLICIT,

/* This should be the last ! */

MDL_DURATION_END };

48304ba5e6f9fe08f3fa1abda7d326ab.png

48304ba5e6f9fe08f3fa1abda7d326ab.png

enum enum_mdl_type {

MDL_INTENTION_EXCLUSIVE= 0,

MDL_SHARED,

MDL_SHARED_HIGH_PRIO,

MDL_SHARED_READ,

MDL_SHARED_WRITE,

MDL_SHARED_NO_WRITE,

MDL_SHARED_NO_READ_WRITE,

MDL_EXCLUSIVE,

MDL_TYPE_END};

48304ba5e6f9fe08f3fa1abda7d326ab.png

首先:enum_mdl_namespace 表示mdl_request的作用域,比如alter table操作,需要获取TABLE作用域。

然后:enum_mdl_duration 表示mdl_request的持久类型,比如alter table操作,类型是MDL_STATEMENT,即语句结束,就释放mdl锁。又比如autocommit=0;select 操作,类型是MDL_TRANSACTION,必须在显示的commit,才释放mdl锁。

最后:enum_mdl_type 表示mdl_request的lock类型,根据这个枚举类型,来判断是否兼容和互斥。

2. 测试

下面根据一个测试,看一下加锁,释放,阻塞的过程,已经主要的函数调用栈:

session1:            session2:

set autocommit=0;        alter table pp add name varchar(100):

select * from pp;

2.1 创建connection过程中,初始化mdl_context.

函数调用:

handle_connections_sockets

MDL_context::init: 每一个connection对应一个mdl_context

2.2 初始化mdl_request

函数调用:

parse_sql

st_select_lex::add_table_to_list

MDL_request::init

说明: 在session1的过程中,创建的mdl_request:

mdl_namespace=MDL_key::TABLE,

db_arg=0x8c7047c8 "xpchild",

name_arg=0x8c7047d0 "pp",

mdl_type_arg=MDL_SHARED_READ,

mdl_duration_arg=MDL_TRANSACTION

2.3 加锁

acquire_lock:

48304ba5e6f9fe08f3fa1abda7d326ab.png

if (lock->can_grant_lock(mdl_request->type, this))

{

lock->m_granted.add_ticket(ticket);

mysql_prlock_unlock(&lock->m_rwlock);

m_tickets[mdl_request->duration].push_front(ticket);

mdl_request->ticket= ticket;

}

48304ba5e6f9fe08f3fa1abda7d326ab.png

说明:首先进行兼容性判断,如果兼容,那么就把ticket加入到队列中,加锁成功。

函数调用栈

open_and_lock_tables

open_table

1. 排他锁使用

lock_table_names

MDL_context::acquire_locks

2. 共享锁使用

open_table_get_mdl_lock

MDL_context::try_acquire_lock

2.4 阻塞

下面进入session2. 因为session1拿到了pp表的share读锁,但session2的alter操作的mdl_request类型是:MDL_INTENTION_EXCLUSIVE,兼容性判断是互斥,所以ddl被阻塞。

while (!m_wait_status && !thd_killed(thd) &&

wait_result != ETIMEDOUT && wait_result != ETIME)

{

wait_result= mysql_cond_timedwait(&m_COND_wait_status, &m_LOCK_wait_status,abs_timeout);

}

说明:上面的这段代码,session2进入阻塞状态,等待超时或者mdl_wait中的条件变量。

2.5 唤醒

session1进行提交动作,commit。 然后session1 release mdl_lock,最后wake up session2.  session 2完成alte操作。

48304ba5e6f9fe08f3fa1abda7d326ab.png

MDL_context::release_lock();

lock->remove_ticket();

reschedule_waiters();

while ((ticket= it++))

{

if (can_grant_lock(ticket->get_type(), ticket->get_ctx()))

{

if (! ticket->get_ctx()->m_wait.set_status(MDL_wait::GRANTED))

MDL_wait::set_status();

mysql_cond_signal(&m_COND_wait_status);

48304ba5e6f9fe08f3fa1abda7d326ab.png

说明: commit操作,释放session 1持有的mdl事务锁,然后遍历wait队列,判断兼容性测试,最后wakeup session2.

总结: 根据上面的测试,我们看到,mdl的机制和表锁的机制基本一致性,但从上面的测试和源码的设计上,也看到MySQL表锁,mdl锁令人蛋疼的地方。

3. 蛋疼的锁

下面简单介绍下MySQL锁令人蛋疼的两个地方:

1. 事务开始begin transaction的位置

MySQL的设计:在设置的autocommit=0;read_commited的时候,无论session的第一条语句是select还是dml,都开始一个事务,然后直到commit,所持有的MDL锁也一直维持到commit结束。

Oracle的设计:在session的第一条更新语句发起时,才创建transaction,在读多的系统上,减少了阻塞的发生可能性。特别是在开发人员发起select语句时,认为没有更新,就不再commit。但在MySQL上,发起select语句,而忘记commit,是非常危险的。

2. ddl语句阻塞

MySQL的设计:ddl语句发起时,如果无法获取排他锁,那么ddl将进入阻塞状态,但由于是queue的设计,就阻塞了后续所有的dml和selec操作,在高并发系统上,可能会引起雪崩。

Oracle的设计:在oracle 11g之前,ddl语句是fast fail的,不进入阻塞状态,所以繁忙的表进行ddl操作时,经常遇到的错误:ORA-00054: resource busy。但在11g之后虽然可以进行阻塞,并提供了ddl_time_out这样的参数进行控制,但在高并发的系统上,运维的操作依然不采用,而是fast fail。

后话:

这里可以参照oracle的设计进行改良,ddl语句阻塞相对改源码来说,比较简单。而事务开始的位置,牵涉到mvcc和事务隔离级别,改动会比较大。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值