MySQL存储过程之事务管理
ACID:Atomic、Consistent、Isolated、Durable
存储程序提供了一个绝佳的机制来定义、封装和管理事务。
1，MySQL的事务支持
MySQL的事务支持不是绑定在MySQL服务器本身，而是与存储引擎相关：
Java代码
1 MyISAM：不支持事务，用于只读程序提高性能
2 InnoDB：支持ACID事务、行级锁、并发
3 Berkeley DB：支持事务
隔离级别：
隔离级别决定了一个session中的事务可能对另一个session的影响、并发session对数据库的操作、一个session中所见数据的一致性
ANSI标准定义了4个隔离级别，MySQL的InnoDB都支持：
Java代码
4 READ UNCOMMITTED：最低级别的隔离，通常又称为dirty read，它允许一个事务读取还没commit的数据，这样可能会提高性能，但是dirty read可能不是我们想要的
5 READ COMMITTED：在一个事务中只允许已经commit的记录可见，如果session中select还在查询中，另一session此时insert一条记录，则新添加的数据不可见
6 REPEATABLE READ：在一个事务开始后，其他session对数据库的修改在本事务中不可见，直到本事务commit或rollback。在一个事务中重复select的结果一样，除非本事务中update数据库。
7 SERIALIZABLE：最高级别的隔离，只允许事务串行执行。为了达到此目的，数据库会锁住每行已经读取的记录，其他session不能修改数据直到前一事务结束，事务commit或取消时才释放锁。
可以使用如下语句设置MySQL的session隔离级别：
Java代码
8 SET TRANSACTION ISOLATION LEVEL {READ UNCOMMITTED | READ COMMITTED | REPEATABLE READ | SERIALIZABLE}
MySQL默认的隔离级别是REPEATABLE READ，在设置隔离级别为READ UNCOMMITTED或SERIALIZABLE时要小心，READ UNCOMMITTED会导致数据完整性的严重问题，而SERIALIZABLE会导致性能问题并增加死锁的机率
事务管理语句：
Java代码
9 START TRANSACTION：开始事务，autocommit设为0，如果已经有一个事务在运行，则会触发一个隐藏的COMMIT
10 COMMIT：提交事务，保存更改，释放锁
11 ROLLBACK：回滚本事务对数据库的所有更改，然后结束事务，释放锁
12 SAVEPOINT savepoint_name：创建一个savepoint识别符来ROLLBACK TO SAVEPOINT
13 ROLLBACK TO SAVEPOINT savepoint_name：回滚到从savepoint_name开始对数据库的所有更改，这样就允许回滚事务中的一部分，保证更改的一个子集被提交
14 SET TRANSACTION：允许设置事务的隔离级别
15 LOCK TABLES：允许显式的锁住一个或多个table，会隐式的关闭当前打开的事务，建议在执行LOCK TABLES语句之前显式的commit或rollback。我们一般所以一般在事务代码里不会使用LOCK TABLES
2，定义事务
MySQL默认的行为是在每条SQL语句执行后执行一个COMMIT语句，从而有效的将每条语句独立为一个事务。
在复杂的应用场景下这种方式就不能满足需求了。
为了打开事务，允许在COMMIT和ROLLBACK之前多条语句被执行，我们需要做以下两步：
1, 设置MySQL的autocommit属性为0，默认为1
2，使用START TRANSACTION语句显式的打开一个事务
如果已经打开一个事务，则SET autocommit=0不会起作用，因为START TRANSACTION会隐式的提交session中所有当前的更改，结束已有的事务，并打开一个新的事务。
使用SET AUTOCOMMIT语句的存储过程例子：
Java代码
16 CREATE PROCEDURE tfer_funds
17 (from_account int, to_account int, tfer_amount numeric(10,2))
18 BEGIN
19 SET autocommit=0;
20
21 UPDATE account_balance SET balance=balance-tfer_amount WHERE account_id=from_account;
22
23 UPDATE account_balance SET balance=balance+tfer_amount WHERE account_id=to_account;
24
25 COMMIT;
26 END;
使用START TRANSACITON打开事务的例子：
Java代码
27 CREATE PROCEDURE tfer_funds
28 (from_account int, to_account int, tfer_amount numeric(10,2))
29 BEGIN
30 START TRANSACTION;
31
32 UPDATE account_balance SET balance=balance-tfer_amount WHERE account_id=from_account;
33
34 UPDATE account_balance SET balance=balance+tfer_amount WHERE account_id=to_account;
35
36 COMMIT;
37 END;
通常COMMIT或ROLLBACK语句执行时才完成一个事务，但是有些DDL语句等会隐式触发COMMIT，所以应该在事务中尽可能少用或注意一下：
Java代码
38 ALTER FUNCTION
39 ALTER PROCEDURE
40 ALTER TABLE
41 BEGIN
42 CREATE DATABASE
43 CREATE FUNCTION
44 CREATE INDEX
45 CREATE PROCEDURE
46 CREATE TABLE
47 DROP DATABASE
48 DROP FUNCTION
49 DROP INDEX
50 DROP PROCEDURE
51 DROP TABLE
52 UNLOCK TABLES
53 LOAD MASTER DATA
54 LOCK TABLES
55 RENAME TABLE
56 TRUNCATE TABLE
57 SET AUTOCOMMIT=1
58 START TRANSACTION
3，使用Savepoint
使用savepoint回滚难免有些性能消耗，一般可以用IF改写
savepoint的良好使用的场景之一是“嵌套事务”，你可能希望程序执行一个小的事务，但是不希望回滚外面更大的事务：
Java代码
59 CREATE PROCEDURE nested_tfer_funds
60 (in_from_acct INTEGER,
61 in_to_acct INTEGER,
62 in_tfer_amount DECIMAL(8,2))
63 BEGIN
64 DECLARE txn_error INTEGER DEFAULT 0;
65
66 DECLARE CONTINUE HANDLER FOR SQLEXCEPTION BEGIN
67 SET txn_error=1;
68 END
69
70 SAVEPINT savepint_tfer;
71
72 UPDATE account_balance
73 SET balance=balance-in_tfer_amount
74 WHERE account_id=in_from_acct;
75
76 IF txn_error THEN
77 ROLLBACK TO savepoint_tfer;
78 SELECT 'Transfer aborted';
79 ELSE
80 UPDATE account_balance
81 SET balance=balance+in_tfer_amount
82 WHERE account_id=in_to_acct;
83
84 IF txn_error THEN
85 ROLLBACK TO savepoint_tfer;
86 SELECT 'Transfer aborted';
87
88 END IF:
89 END IF;
90 END;
4，事务和锁
事务的ACID属性只能通过限制数据库的同步更改来实现，从而通过对修改数据加锁来实现。
直到事务触发COMMIT或ROLLBACK语句时锁才释放。
缺点是后面的事务必须等前面的事务完成才能开始执行，吞吐量随着等待锁释放的时间增长而递减。
MySQL/InnoDB通过行级锁来最小化锁竞争。这样修改同一table里其他行的数据没有限制，而且读数据可以始终没有等待。
可以在SELECT语句里使用FOR
UPDATE或LOCK IN SHARE MODE语句来加上行级锁
Java代码
91 SELECT select_statement options [FOR UPDATE|LOCK IN SHARE MODE]
FOR UPDATE会锁住该SELECT语句返回的行，其他SELECT和DML语句必须等待该SELECT语句所在的事务完成
LOCK IN SHARE MODE同FOR UPDATE，但是允许其他session的SELECT语句执行并允许获取SHARE MODE锁
死锁：
死锁发生于两个事务相互等待彼此释放锁的情景
当MySQL/InnoDB检查到死锁时，它会强制一个事务rollback并触发一条错误消息
对InnoDB而言，所选择的rollback的事务是完成工作最少的事务（所修改的行最少）
Java代码
92 mysql > CALL tfer_funds(1,2,300);
93 ERROR 1213 (40001): Deadlock found when trying to get lock; try restarting transaction
死锁在任何数据库系统里都可能发生，但是对MySQL/InnoDB这种行级锁数据库而言可能性相对较少。
可以通过使用一致的顺序来锁row或table以及让事务保持尽可能短来减少死锁的频率。
如果死锁不容易debug，你可以向你的程序中添加一些逻辑来处理死锁并重试事务，但这部分代码多了以后很难维护
所以，比较好的避免死锁的方式是在做任何修改之前按一定的顺序添加行级锁，这样就能避免死锁:
Java代码
94 CREATE PROCEDURE tfer_funds3
95 (from_account INT, to_account INT, tfer_amount NUMERIC(10,2))
96 BEGIN
97 DECLARE local_account_id INT;
98 DECLARE lock_cursor CURSOR FOR
99 SELECT account_id
100 FROM account_balance
101 WHERE account_id IN (from_account, to_account)
102 ORDER BY account_id
103 FOR UPDATE;
104
105 START TRANSACTION;
106
107 OPEN lock_cursor;
108 FETCH lock_cursor INTO local_account_id;
109
110 UPDATE account_balance
111 SET balance=balance-tfer_amount
112 WHERE account_id=from_account;
113
114 UPDATE account_balance
115 SET balance=balance+tfer_amount
116 WHERE account_id=to_account;
117
118 CLOSE lock_cursor;
119
120 COMMIT;
121 END;
设置死锁ttl: innodb_lock_wait_timeout，默认为50秒
如果你在一个事务中混合使用InnoDB和非InnoDB表，则MySQL不能检测到死锁，此时会抛出“lock wait timeuot”1205错误
乐观所和悲观锁策略：
悲观锁：在读取数据时锁住那几行，其他对这几行的更新需要等到悲观锁结束时才能继续
乐观所：读取数据时不锁，更新时检查是否数据已经被更新过，如果是则取消当前更新
一般在悲观锁的等待时间过长而不能接受时我们才会选择乐观锁
悲观锁的例子：
Java代码
122 CREATE PROCEDURE tfer_funds
123 (from_account INT, to_account INT,tfer_amount NUMERIC(10,2),
124 OUT status INT, OUT message VARCHAR(30))
125 BEGIN
126 DECLARE from_account_balance NUMERIC(10,2);
127
128 START TRANSACTION;
129
130
131 SELECT balance
132 INTO from_account_balance
133 FROM account_balance
134 WHERE account_id=from_account
135 FOR UPDATE;
136
137 IF from_account_balance>=tfer_amount THEN
138
139 UPDATE account_balance
140 SET balance=balance-tfer_amount
141 WHERE account_id=from_account;
142
143 UPDATE account_balance
144 SET balance=balance+tfer_amount
145 WHERE account_id=to_account;
146 COMMIT;
147
148 SET status=0;
149 SET message='OK';
150 ELSE
151 ROLLBACK;
152 SET status=-1;
153 SET message='Insufficient funds';
154 END IF;
155 END;
乐观锁的例子：
Java代码
156 CREATE PROCEDURE tfer_funds
157 (from_account INT, to_account INT, tfer_amount NUMERIC(10,2),
158 OUT status INT, OUT message VARCHAR(30) )
159
160 BEGIN
161
162 DECLARE from_account_balance NUMERIC(8,2);
163 DECLARE from_account_balance2 NUMERIC(8,2);
164 DECLARE from_account_timestamp1 TIMESTAMP;
165 DECLARE from_account_timestamp2 TIMESTAMP;
166
167 SELECT account_timestamp,balance
168 INTO from_account_timestamp1,from_account_balance
169 FROM account_balance
170 WHERE account_id=from_account;
171
172 IF (from_account_balance>=tfer_amount) THEN
173
174 -- Here we perform some long running validation that
175 -- might take a few minutes */
176 CALL long_running_validation(from_account);
177
178 START TRANSACTION;
179
180 -- Make sure the account row has not been updated since
181 -- our initial check
182 SELECT account_timestamp, balance
183 INTO from_account_timestamp2,from_account_balance2
184 FROM account_balance
185 WHERE account_id=from_account
186 FOR UPDATE;
187
188 IF (from_account_timestamp1 <> from_account_timestamp2 OR
189 from_account_balance <> from_account_balance2) THEN
190 ROLLBACK;
191 SET status=-1;
192 SET message=CONCAT("Transaction cancelled due to concurrent update",
193 " of account" ,from_account);
194 ELSE
195 UPDATE account_balance
196 SET balance=balance-tfer_amount
197 WHERE account_id=from_account;
198
199 UPDATE account_balance
200 SET balance=balance+tfer_amount
201 WHERE account_id=to_account;
202
203 COMMIT;
204
205 SET status=0;
206 SET message="OK";
207 END IF;
208
209 ELSE
210 ROLLBACK;
211 SET status=-1;
212 SET message="Insufficient funds";
213 END IF;
214 END$$
5，事务设计指南
Java代码
215 1，保持事务短小
216 2，尽量避免事务中rollback
217 3，尽量避免savepoint
218 4，默认情况下，依赖于悲观锁
219 5，为吞吐量要求苛刻的事务考虑乐观锁
220 6，显示声明打开事务
221 7，锁的行越少越好，锁的时间越短越好