ACID
原子性（Atomicity）
整個(gè)事務(wù)中的所有操作否副，要么全部完成，要么全部不完成拜隧，不可能停滯在中間某個(gè)環(huán)節(jié)。事務(wù)在執(zhí)行過程中發(fā)生錯(cuò)誤趁仙，會(huì)被回滾到事務(wù)開始前的狀態(tài)洪添，就像這個(gè)事務(wù)從來沒有執(zhí)行過一樣。
一致性（Consistency）
一個(gè)事務(wù)可以封裝狀態(tài)改變（除非它是一個(gè)只讀的）雀费。事務(wù)必須保證系統(tǒng)始終處于一致的狀態(tài)干奢，不管在任何給定的時(shí)間里，并發(fā)事務(wù)有多少盏袄。
隔離性（Isolation）
在并發(fā)環(huán)境中律胀，并發(fā)的事務(wù)是相互隔離的宋光，一個(gè)事務(wù)的執(zhí)行不能被其他事務(wù)干擾。
持久性（Durability）
在事務(wù)完成以后炭菌，該事務(wù)對(duì)數(shù)據(jù)所作的更改便持久的保存，并不會(huì)被回滾逛漫。
CAP
任何一個(gè)分布式系統(tǒng)都無(wú)法同時(shí)滿足一致性（Consistency）黑低、可用性（Availability）和分區(qū)容錯(cuò)性（Partition tolerance），最多只能同時(shí)滿足兩項(xiàng)酌毡。
BASE
BASE理論是Basically Available(基本可用)克握，Soft State（軟狀態(tài)）和Eventually Consistent（最終一致性）三個(gè)短語(yǔ)的縮寫。
其核心思想是：
既是無(wú)法做到強(qiáng)一致性（Strong consistency）枷踏，但每個(gè)應(yīng)用都可以根據(jù)自身的業(yè)務(wù)特點(diǎn)菩暗，采用適當(dāng)?shù)姆绞絹硎瓜到y(tǒng)達(dá)到最終一致性（Eventual consistency）。
CAS
Compare and Swap旭蠕，即比較再交換停团。
CAS是一種無(wú)鎖算法，CAS有3個(gè)操作數(shù)掏熬，內(nèi)存值V佑稠，舊的預(yù)期值A(chǔ)，要修改的新值B旗芬。當(dāng)且僅當(dāng)預(yù)期值A(chǔ)和內(nèi)存值V相同時(shí)舌胶，將內(nèi)存值V修改為B，否則什么都不做疮丛。
ABA
因?yàn)镃AS需要在操作值的時(shí)候檢查下值有沒有發(fā)生變化幔嫂，如果沒有發(fā)生變化則更新，但是如果一個(gè)值原來是A誊薄，變成了B履恩，又變成了A，那么使用CAS進(jìn)行檢查時(shí)會(huì)發(fā)現(xiàn)它的值沒有發(fā)生變化暇屋，但是實(shí)際上卻變化了似袁。ABA問題的解決思路就是使用版本號(hào)。在變量前面追加上版本號(hào)咐刨，每次變量更新的時(shí)候把版本號(hào)加一昙衅，那么A－B－A 就會(huì)變成1A-2B－3A。
從Java1.5開始JDK的atomic包里提供了一個(gè)類AtomicStampedReference來解決ABA問題定鸟。這個(gè)類的compareAndSet方法作用是首先檢查當(dāng)前引用是否等于預(yù)期引用而涉，并且當(dāng)前標(biāo)志是否等于預(yù)期標(biāo)志，如果全部相等联予，則以原子方式將該引用和該標(biāo)志的值設(shè)置為給定的更新值啼县。
Saga
1987年普林斯頓大學(xué)的Hector Garcia-Molina和Kenneth Salem發(fā)表了一篇Paper Sagas材原，講述的是如何處理long lived transaction（長(zhǎng)活事務(wù)）。Saga是一個(gè)長(zhǎng)活事務(wù)可被分解成可以交錯(cuò)運(yùn)行的子事務(wù)集合季眷。其中每個(gè)子事務(wù)都是一個(gè)保持?jǐn)?shù)據(jù)庫(kù)一致性的真實(shí)事務(wù)余蟹。
TCC
Try-Confirm-Cancel
Try階段：
完成所有業(yè)務(wù)檢查（一致性），預(yù)留業(yè)務(wù)資源(準(zhǔn)隔離性)
回顧上面航班預(yù)定案例的階段1子刮，機(jī)票就是業(yè)務(wù)資源威酒，所有的資源提供者(航空公司)預(yù)留都成功，try階段才算陳宮
Confirm階段：
確認(rèn)執(zhí)行業(yè)務(wù)操作挺峡，不做任何業(yè)務(wù)檢查葵孤， 只使用Try階段預(yù)留的業(yè)務(wù)資源〕髟回顧上面航班預(yù)定案例的階段2尤仍，美團(tuán)APP確認(rèn)兩個(gè)航空公司機(jī)票都預(yù)留成功，因此向兩個(gè)航空公司分別發(fā)送確認(rèn)購(gòu)買的請(qǐng)求狭姨。
Cancel階段：
取消Try階段預(yù)留的業(yè)務(wù)資源宰啦。回顧上面航班預(yù)定案例的階段2送挑，如果某個(gè)業(yè)務(wù)方的業(yè)務(wù)資源沒有預(yù)留成功绑莺，則取消所有業(yè)務(wù)資源預(yù)留請(qǐng)求。
