程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 數據庫知識 >> MYSQL數據庫 >> 關於MYSQL數據庫 >> MySQL InnoDB之事務與鎖詳解

MySQL InnoDB之事務與鎖詳解

編輯:關於MYSQL數據庫

    引題:為何引入事務?

    1>.數據完整性

    2>.數據安全性

    3>.充分利用系統資源,提高系統並發處理的能力

    1. 事務的特征

    事務具有四個特性:原子性(Atomiocity)、一致性(Consistency)、隔離性(Isolation)和持久性(Durability),這四個特性簡稱ACID特性。

    1.1原子性

    事務是數據庫的邏輯工作單位,事務中包括的所有操作要麼都做,要麼都不做。

    1.2 一致性

    事務執行的結果必須是使數據庫從一個一致性的狀態變到另外一個一致性狀態。

    1.3 隔離性

    一個事務的執行不能被其他事務干擾。即一個事務內部的操作及使用的數據對其他

    事務是隔離的,並發執行的各個事務之間互相不干擾。

    1.4 持久性

    一個事務一旦成功提交,對數據庫中數據的修改就是持久性的。接下來其他的其他

    操作或故障不應該對其執行結果有任何影響。

    2. MySQL的InnoDB引擎中事物與鎖

    2.1 SELECT …… LOCK IN SHARE MODE

    會話事務中查找的數據,加上一個共享鎖。若會話事務中查找的數據已經被其他會話事務加上獨占鎖的話,共享鎖會等待其結束再加,若等待時間過長就會顯示事務需要的鎖等待超時。

    2.2 SELECT ….. FOR UPDATE

    會話事務中查找的數據,加上一個讀更新瑣,其他會話事務將無法再加其他鎖,必須等待其結束。

    2.3 INSERT、UPDATE、DELETE

    會話事務會對DML語句操作的數據加上一個獨占鎖,其他會話的事務都將會等待其釋放獨占鎖。

    2.4 gap and next key lock(間隙鎖)

    InnoDB引擎會自動給會話事務中的共享鎖、更新瑣以及獨占鎖,需要加到一個區間值域的時候,再加上個間隙鎖(或稱范圍鎖),對不存在的數據也鎖住,防止出現幻寫。

    備注:

    以上2.1,2.2,2.3,2.4中描述的情況,跟MySQL所設置的事務隔離級別也有關系。

    3.四種事務隔離模式

    3.1 READ UNCOMMITED

    SELECT的時候允許髒讀,即SELECT會讀取其他事務修改而還沒有提交的數據。

    3.2 READ COMMITED

    SELECT的時候無法重復讀,即同一個事務中兩次執行同樣的查詢語句,若在第一次與第二次查詢之間時間段,其他事務又剛好修改了其查詢的數據且提交了,則兩次讀到的數據不一致。

    3.3 REPEATABLE READ

    SELECT的時候可以重復讀,即同一個事務中兩次執行同樣的查詢語句,得到的數據始終都是一致的。

    3.4 SERIALIZABLE

    與可重復讀的唯一區別是,默認把普通的SELECT語句改成SELECT …. LOCK IN SHARE MODE。即為查詢語句涉及到的數據加上共享瑣,阻塞其他事務修改真實數據。

    4. 驗證事務與鎖定示例

    接下來,我們將以MySQL中的InnoDB引擎,解釋其如何實現ACID特性,不同隔離級別下事務與事務之間的影響。示例表結構:

    CREATE TABLE `account ` (

    `ID` int(11) NOT NULL AUTO_INCREMENT,

    `VACCOUNT_ID` varchar(32) NOT NULL,

    `GMT_CREATE` datetime NOT NULL,

    PRIMARY KEY (`ID`),

    KEY `idx_VACCOUNT_PARAMETER_VACCOUNTID ` (`VACCOUNT_ID`)

    ) ENGINE=InnoDB AUTO_INCREMENT=1 DEFAULT CHARSET=utf8 COLLATE utf8_general_ci;

    然後向表account中寫入10W條創建日期分布合理的帳號數據,以方便測試之用。

    tx_isolation:SET GLOBAL tx_isolation='read-uncommitted' ID 事務1 事務1輸出 事務2 事務2輸出 1 START TRANSACTION;       2 SELECT VACCOUNT_ID from account where ID =1001; caimao101510           START TRANSACTION;   3     UPDATE account set VACCOUNT_ID='uncommitted' where ID =1001;   4     SELECT VACCOUNT_ID from account where ID =1001; uncommitted 5 SELECT VACCOUNT_ID from account where ID =1001; uncommitted     6     ROLLBACK;   7 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     8 COMMIT;       tx_isolation:SET GLOBAL tx_isolation='read-committed' ID 事務1 事務1輸出 事務2 事務2輸出 1 START TRANSACTION;       2 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     3     START TRANSACTION;   4     UPDATE account set VACCOUNT_ID='uncommitted' where ID =1001;   5     SELECT VACCOUNT_ID from account where ID =1001; uncommitted 6 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     7     COMMIT;   8 SELECT VACCOUNT_ID from account where ID =1001; uncommitted     9 COMMIT;       tx_isolation:SET GLOBAL tx_isolation='REPEATABLE-READ' ID 事務1 事務1輸出 事務2 事務2輸出 1 START TRANSACTION;       2 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     3     START TRANSACTION;   4     UPDATE account set VACCOUNT_ID='uncommitted' where ID =1001;   5     SELECT VACCOUNT_ID from account where ID =1001; uncommitted 6 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     7     COMMIT;   8 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     9 COMMIT;       tx_isolation:SET GLOBAL tx_isolation='SERIALIZABLE' ID 事務1 事務1輸出 事務2 事務2輸出 1 START TRANSACTION;       2 SELECT VACCOUNT_ID from account where ID =1001; caimao101510     3     START TRANSACTION;   4     UPDATE account set VACCOUNT_ID='uncommitted' where ID =1001; STATE: Updating 5 SELECT VACCOUNT_ID from account where ID =1001; caimao101510           事務2超時   6 COMMIT;       7 START TRANSACTION;       8 UPDATE account set VACCOUNT_ID='uncommitted' where ID =1001;       9     START TRANSACTION;   10     SELECT VACCOUNT_ID from account where ID =1001; STATE:statistics 11     事務2超時   12 commit;       tx_isolation:SET GLOBAL tx_isolation='REPEATABLE-READ' ID 事務1 事務1輸出 事務2 事務2輸出 1 START TRANSACTION;       2 select max(ID) FROM account; 124999     3     START TRANSACTION;   4 UPDATE account set gmt_create=date_add(gmt_create,interval +1 day) WHERE ID >=124999;       5     insert into account(VACCOUNT_ID,gmt_create) values(‘eugene',now()); STATE:update 6     事務2超時   7     START TRANSACTION;   8     SELECT * FROM account WHERE ID =124998; 2007-10-20 13:47 9     UPDATE account set gmt_create=date_add(gmt_create,interval +1 day) WHERE ID =124998; 執行成功 10     SELECT * FROM account WHERE ID =124998; 2007-10-21 13:47 11 COMMIT;       12     COMMIT;             1 START TRANSACTION;       2 UPDATE account set gmt_create=date_add(gmt_create,interval -1 day) WHERE gmt_create >'2009-07-01′;       3     START TRANSACTION;   4     SELECT * FROM account WHERE gmt_create>'2009-07-10′ LIMIT 1; 2009-10-2 13:47 5 SELECT * FROM account WHERE gmt_create>'2009-07-10′ LIMIT 1; 2009-10-1 13:47   STATE:update 6     insert into account(VACCOUNT_ID,gmt_create) values(‘gmt_create_test',now());   7     事務2超時   8 COMMIT;       9     SELECT * FROM account WHERE gmt_create>'2009-07-10′ LIMIT 1; 2009-10-1 13:47 無索引條件更新事務 1 START TRANSACTION;         UPDATE account set gmt_create=date_add(gmt_create,interval -1 day) WHERE gmt_create >'2009-07-01′ AND gmt_create <'2009-07-10′;             START TRANSACTION;         insert into account(VACCOUNT_ID,gmt_create) values(‘gmt_create_interval',now());         事務2超時     COMMIT;
    1. 上一頁:
    2. 下一頁:
    Copyright © 程式師世界 All Rights Reserved