InnoDB がシリアル化分離レベルを実装する方法

ha_innobase::external_lock(...)

{...

 ロックタイプが F_UNLCK ではない場合

 /* MySQL は新しいテーブルロックを設定しています */

...

 if (trx->isolation_level == TRX_ISO_SERIALIZABLE //シリアル化分離レベル && m_prebuilt->select_lock_type == LOCK_NONE

  && thd_test_options(thd, OPTION_NOT_AUTOCOMMIT | OPTION_BEGIN)) { // 明示的なトランザクションブロック内 /* シリアル化可能な実行を実現するために、InnoDB は概念的にすべての SELECT に 'LOCK IN SHARE MODE' を追加します

  それ以外の場合は一貫性のある読み取りになります。例外は、AUTOCOMMIT=1 モードでの一貫性のある読み取りです。

  これらは読み取り専用トランザクションであり、一貫性のある読み取りとして実行される場合はシリアル化できることがわかっています。 */

  m_prebuilt->select_lock_type = LOCK_S; //読み取りロックを追加します。つまり、「LOCK IN SHARE MODE」です。

  m_prebuilt->stored_select_lock_type = LOCK_S;

 } // それ以外の場合はロックしません（これも非常に重要です）

...

 } それ以外 {

 TrxInInnoDB::end_stmt(trx);

 DEBUG_SYNC_C("ha_innobase_end_statement");

 }

...}

ha_innobase::store_lock(

...

 /* FLUSH TABLES をチェックします...読み取りロック付き */

 trx->isolation_level == TRX_ISO_SERIALIZABLEの場合{

  m_prebuilt->select_lock_type = LOCK_S;

  m_prebuilt->stored_select_lock_type = LOCK_S;

 } それ以外 {

  m_prebuilt->select_lock_type = LOCK_NONE;

  m_prebuilt->stored_select_lock_type = LOCK_NONE;

 } 

...

}