事務
事務分類
原子性（Atomicity）
一個事務中的操作要麼全成功，要麼全失敗
一致性（Consistency）
事務開始之前和結束之後，數據庫的完整性約束不被破壞
隔離性(Isolation)
每個讀寫事務的對象對其他事務的操作對象相互分離，每個事務之間完全隔離
持久性(Durability)
事務一旦提交，結果永久保存，即使發生宕機等故障，數據庫也能將數據恢復。
事務的實現
1.redo log
當事務開啓，事務中所有的操作都會被寫入存儲引擎的日誌緩衝中，在事務提交之前，會將緩衝中的日誌，全部刷新到磁盤上進行持久化。
記錄1：<trx1, insert...>
記錄2：<trx2, delete...>
記錄3：<trx3, update...>
記錄4：<trx1, update...>
記錄5：<trx3, insert...>
2.undo log
通過undo log進行事務回滾。在事務的執行過程中，不僅會記錄redo log，也會記錄undo log用來進行事務的回滾。事務回滾並不會將
數據庫物理地恢復到執行事務之前的樣子，而是將數據庫邏輯地恢復到原來的樣子。意思是，比如一個事務中，向一張空表中插入10條
數據，並不代表你回滾該事務後，表又變成了空表，可能表中會存在別的數據，這是由於併發事務，別的事務向表中插入了另外的記錄。
所以，在回滾時，實際是做的與之前相反的工作，對於一個INSERT操作，回滾時會執行一個DELETE操作
以下是undo+redo事務的簡化過程：
假設有2個數值，分別爲A和B,值爲1，2
1. start transaction;
2. 記錄 A=1 到undo log;
3. update A = 3；
4. 記錄 A=3 到redo log；
5. 記錄 B=2 到undo log；
6. update B = 4；
7. 記錄B = 4 到redo log；
8. 將redo log刷新到磁盤
9. commit
如果在事務1-8任意一步操作時，如果系統宕機，該事務不會對磁盤上的數據有任何影響。
如果在8-9步之間系統宕機，恢復之後可以選擇回滾事務，也可以繼續提交事務。
在第9步之後系統宕機，如果變更的數據已經刷到磁盤中，則不會有任何影響，如果還沒來得及刷到磁盤，
則系統恢復之後，可以通過redo log的日誌將數據刷到磁盤。
所以redo log是保障事務的持久性和一致性，undo log保障事務的原子性
參考：https://www.cnblogs.com/zhiqian-ali/p/5668199.html
《MySQL技術內幕》