事務是指以全有或全無的方式執(zhí)行的一系列操作卵洗。所有操作必須全部成功完成，否則在每個操作中所作的所有更改都會被撤消。
以數(shù)據(jù)庫為列棵里，事物包含四個特性（ACID）
- 原子性（Atomicity）：操作這些指令時，要么全部執(zhí)行成功姐呐，要么全部不執(zhí)行殿怜。只要其中一個指令執(zhí)行失敗，所有的指令都執(zhí)行失敗曙砂，數(shù)據(jù)進行回滾头谜，回到執(zhí)行指令前的數(shù)據(jù)狀態(tài)。
- 一致性（Consistency）：事務的執(zhí)行使數(shù)據(jù)從一個狀態(tài)轉換為另一個狀態(tài)鸠澈，但是對于整個數(shù)據(jù)的完整性保持穩(wěn)定柱告。
- 隔離性（Isolation）：隔離性是當多個用戶并發(fā)訪問數(shù)據(jù)庫時截驮，比如操作同一張表時，數(shù)據(jù)庫為每一個用戶開啟的事務际度，不能被其他事務的操作所干擾葵袭，多個并發(fā)事務之間要相互隔離。即要達到這么一種效果：對于任意兩個并發(fā)的事務T1和T2乖菱，在事務T1看來坡锡，T2要么在T1開始之前就已經結束，要么在T1結束之后才開始窒所，這樣每個事務都感覺不到有其他事務在并發(fā)地執(zhí)行鹉勒。
- 持久性（Durability）：當事務正確完成后，它對于數(shù)據(jù)的改變是永久性的吵取。
而在分布式系統(tǒng)中禽额，你不能指望ACID事務。因為在分布式系統(tǒng)中會對數(shù)據(jù)庫進行分區(qū)皮官，這里所說的分區(qū)指的是物理分區(qū)绵疲，分區(qū)之后可能不同的庫就處于不同的服務器上了，這個時候單個數(shù)據(jù)庫的ACID已經不能適應這種情況了臣疑，而在這種ACID的集群環(huán)境下盔憨，再想保證集群的ACID幾乎是很難達到，或者即使能達到那么效率和性能會大幅下降讯沈。
在沒有ACID的情況下解決數(shù)據(jù)一致性的常見技巧是使用補償郁岩。這種方法與ACID事務不同，你可以具有不一致的中間狀態(tài)缺狠。在業(yè)務處理中通澄噬鳎可以忍受這些暫時的不一致，只要能確保最終清理它們并使系統(tǒng)恢復到一致狀態(tài)挤茄。這稱為最終一致性如叼，這是分布式系統(tǒng)中的一個重要概念。
最終的一致性通常會產生更好的性能穷劈，更簡單的操作和更好的可伸縮性笼恰，同時幫助程序員理解更復雜的數(shù)據(jù)模型。
在實現(xiàn)最終一致性時會出現(xiàn)消息重復發(fā)送問題歇终。實際應用情況是社证，在分布式系統(tǒng)中確切地保證消息傳遞是不可能的。實現(xiàn)一次準確的消息傳遞完全基于消息生成者從消息使用者那里接收到確認消息评凝。但是追葡，ACK本身是不可靠的，因為它也將通過網絡傳播。在處理消息后宜肉，由于網絡問題或消費者崩潰匀钧，很可能會丟失ACK。
任何通過網絡進行通信谬返，都可能會出現(xiàn)三種故障情形：
- 該請求尚未到達服務提供商
- 請求已到達服務提供商之斯，但在處理期間出現(xiàn)異常
- 服務提供程序處理了請求，但響應丟失了
那么如何才能實現(xiàn)準確的消息傳遞朱浴？它的答案是冪等性吊圾！你必須使你的消費者操作具有冪等性达椰。冪等性就是用戶對于同一操作發(fā)起的一次請求或者多次請求的結果是一致的翰蠢，不會因為多次點擊而產生了副作用。舉個最簡單的例子啰劲，用戶購買商品后支付梁沧，支付扣款成功，但是返回結果的時候網絡異常蝇裤，此時錢已經扣了廷支，用戶再次點擊按鈕，此時不應該進行第二次扣款栓辜。
添加冪等性處理方法：
- 唯一標識恋拍。你可以生成唯一標識符并將其添加到業(yè)務中。這樣藕甩，如果在服務提供端存儲該ID施敢，則可以輕松發(fā)現(xiàn)重復調用。
- 利用工作流引擎狭莱，比如Apache ActiveMQ可以在生產者向代理發(fā)送消息時過濾掉重復項僵娃，代理索引可以跟蹤和識別重復項并將其丟棄。
- 請求哈希腋妙。如果你使用消息傳遞默怨，則可以通過存儲消息的哈希值來執(zhí)行相同的操作。
