标签：style class blog code ext color
MySQL的锁：
MySQL内部有很多种类的锁，按照用途不同，可以分为两类：
1. 保护内存结构的锁
server层对于线程共享的变量，基本上使用mutex，rwlock来做保护。
innodb层会增加使用spinlock自旋锁
2. 提供或者保证事务性功能的锁
server提供了MDL锁，表锁两种锁
innodb实现行级锁
原子操作：
在单处理器系统（UniProcessor）结构中，在一个指令周期内完成的都是原子指令，因为硬中断的响应是在每一个cpu指令完成后check的。
而在多处理器结构（Symmetric
Multi-Processor）中，要想完成一个原子指令，还需要保证多个core之间的一致性，这里就引入了锁总线的步骤。
例如：x86体系下的cmpxchg指令
下面使用原子指令来实现mutex，rwlock，spinlock的简单伪代码
mutex_lock:
|
1
2
3
4
5
6 |
while(1) if
cmpxchg(*lock,0,1)==0 success break; else futex(wait) |
mutex_unlock:
|
1
2
3 |
if cmpxchg(*lock,1,0)==0 futex(wakeup) success |
spinlock_lock:
|
1
2
3
4
5 |
while(1) /* spin */ if
compchg(*lock,0,1)==0 success break |
spinlock_unlock:
|
1
2 |
if cmpxchg(*lock,1,0)==0 success |
/* variables */
|
1
2
3
4 |
mutex_lock rw_mutexint r_cnt;int w_cnt;int if_has_w_req;/* 防饿死*/ |
rwlock_r_lock:
|
1
2
3
4
5
6
7
8
9 |
<em>mutex_lock(rw_mutex)while(1) if(!if_has_w_req && w_cnt ==0) success r_cnt++ mutex_unlock(rw_mutex) return else futex(wait)</em> |
rwlock_r_unlock:
|
1
2
3
4 |
mutex_lock(rw_mutex)r_cnt--;mutext_unlock(rw_mutex)fetex(wake_up) |
rwlock_w_lock:
|
1
2
3
4
5
6
7
8
9
10
11 |
mutex_lock(rw_mutex)if_has_w_req++while(1) if(r_cnt>0 ||w_cnt >0) fetux(wait) else if_has_w_req-- success w_cnt++; breakmutext_unlock(rw_mutex) |
rwlock_w_unlock:
|
1
2
3 |
mutex_lock(rw_mutex)w_cnt--mutex_unlock(rw_mutex) |
死锁的讨论
1. 内存结构的锁，必须控制加锁的顺序，保证不出现死锁
2. 事务锁，无法保证用户的行为，需要死锁检测
待续
标签：style class blog code ext color
原文地址：http://www.cnblogs.com/xpchild/p/3782311.html
