InnoDB实现序列化隔离级别的方法

序列化的实现

innodb对于序列化的实现方式，是通过两种方式实现的。

第一种，当select语句在一个显式的事务块内，如执行表11-9中的编号为1的情况，将施加lock_s锁，根据表11-6（记录锁事务锁相容表）可知，lock_s锁排斥写锁，所以序列化隔离级别下只允许并发地读取操作，并发写被禁止，因此实现了可序列化。

相应代码如下：

ha_innobase::external_lock(...)

{...

 if (lock_type != f_unlck) {

 /* mysql is setting a new table lock */

...

 if (trx->isolation_level == trx_iso_serializable //序列化隔离级别

  && m_prebuilt->select_lock_type == lock_none

  && thd_test_options(thd, option_not_autocommit | option_begin)) { //且在一个显式事务块内部

 

  /* to get serializable execution, we let innodb conceptually add 'lock in share mode' to all selects

  which otherwise would have been consistent reads. an exception is consistent reads in the autocommit=1 mode:

  we know that they are read-only transactions, and they can be serialized also if performed as consistent reads. */

  m_prebuilt->select_lock_type = lock_s; //加读锁，即 'lock in share mode'

  m_prebuilt->stored_select_lock_type = lock_s;

 } //否则，不加锁（这一点也很重要）

...

 } else {

 trxininnodb::end_stmt(trx);

 debug_sync_c("ha_innobase_end_statement");

 }

...}

第二种，当select语句不在一个显式的事务块内，则通过获取最新快照（在事务开始的时候，），然后读取数据。此时，因基于快照的一致性读不需要加锁，所以其加锁情况对应到了表11-9中的编号2对应的情况。 

表11-9 序列化隔离级别加锁情况

 

说明：

    s0：select * from bluesea where c1=2;   //使用主键索引做where条件

另外，对于flush...with read lock语句，序列化隔离级别下也需要加读锁lock_s

代码如下：

ha_innobase::store_lock(

...

 /* check for flush tables ... with read lock */

 if (trx->isolation_level == trx_iso_serializable) {

  m_prebuilt->select_lock_type = lock_s;

  m_prebuilt->stored_select_lock_type = lock_s;

 } else {

  m_prebuilt->select_lock_type = lock_none;

  m_prebuilt->stored_select_lock_type = lock_none;

 } 

...

} 

与序列化相关的，还有innobase_query_caching_of_table_permitted()函数,序列化隔离级别不允许缓冲查询。

总结

以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作能带来一定的帮助，如果有疑问大家可以留言交流，谢谢大家对的支持。