討論:CAP定理
未翻譯內容
未翻譯內容如下：--Flame 歡迎泡茶 2012年8月23日 (四) 00:09 (UTC)
The obligation to provide availability despite partitioning failures leads the services to respond; at least one of these responses will necessarily be inconsistent with what a service implementing a true one-copy replication semantic would have done. The researchers then go on to show that other forms of consistency are achievable, including a property they call t-eventual consistency. Thus the theorem doesn't rule out achieving consistency in a distributed system, and says nothing about the cloud per-se or about scalability.
In contrast, as Eric Brewer posed the question, CAP is often taken to preclude consistency for services running in the highly elastic first-tier of a modern cloud computing system. These services are typically required to be stateless or to maintain only soft-state (cached data), and must be responsive even if inner-tier services are temporarily inaccessible. CAP, in this sense, uses "A" to mean immediately responsive, and "P" to mean "even if a failure prevents the first-tier service from connecting to some needed resource". In effect, we sacrifice consistency to gain faster responses in a more scalable manner.
Notice that partitioning, per-se, doesn't really enter into this broader interpretation of CAP. Indeed, there is no CAP theorem for the scenario actually seen where symmetric availability during partitioning failures is not normally required. There are two reasons for this: first, cloud platforms have redundant, highly available networks and normally don't experience such failures. Second, if one of these very rare partitioning events were to occur, it would very likely cut some small set of replicas off not just from other components of the cloud, but also from their external clients, obviating the need for availability.
CAP is often cited as a justification for using weaker consistency models. Popular among these is BASE, an acronym for Basically Available Soft-State services with Eventual Consistency. In summary, the BASE methodology is characterized by high availability for first-tier services, leaving some kind of background cleanup mechanism to resolve any problems created by optimistic actions that later turn out to have violated consistency.
外部連結已修改
各位維基人：
我剛剛修改了CAP定理中的2個外部連結，請大家仔細檢查我的編輯。如果您有疑問，或者需要讓機械人忽略某個連結甚至整個頁面，請訪問這個簡單的FAQ獲取更多信息。我進行了以下修改：
- 向 http://lpd.epfl.ch/sgilbert/pubs/BrewersConjecture-SigAct.pdf 中加入存檔連結 https://web.archive.org/web/20080908063921/http://lpd.epfl.ch/sgilbert/pubs/BrewersConjecture-SigAct.pdf
- 向 http://dbpedias.com/wiki/NoSQL%3AConsistency_Models_in_Non-Relational_Databases 中加入存檔連結 https://web.archive.org/web/20121105175653/http://dbpedias.com/wiki/NoSQL%3AConsistency_Models_in_Non-Relational_Databases
有關機械人修正錯誤的詳情請參閱FAQ。