C == Consistency
A == Availability
P == Tolerance to network Partitions
---
Theorem: You can have at most two of these properties for any shared-data system.
---
Here the keynote speech by Eric Brewer at the ACM Symposium on the Principles of Distributed Computing (PODC) where he fist time introduce such theorem.
Two years later, in 2002, Seth Gilbert and Nancy Lynch of MIT, formally proved Brewer to be correct and thus Brewer's Theorem was born.
Very good disscussion about CAP-Theorem is here.
среда, 10 февраля 2010 г.
Подписаться на:
Комментарии к сообщению (Atom)
А еще есть статейка тут
ОтветитьУдалитьhttp://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/
Спасибо, интересные комментарии во Вашей ссылке.
ОтветитьУдалитьА я вот на CAP-теорему вышел с интересной стороны. Алексей Рагозин объясняя чем же так хорош Oracle Coherence сказал, что он практически достигает потолка определенного CAP-теоремой. Т.е. выходит, что теорема определяет Паретто-оптимальное множество распределенных кэшей.
Ну потолок - это наверное когда два условия выполняются всегда, а оставшееся - в 99.99%?
ОтветитьУдалитьНе понятно, как связана теорема и множество кэшей?
Распределенный, транзакционный кэш - это вроде как как раз одна из областей применимости теоремы.
ОтветитьУдалитьКонечно теорема отмечает только три точки на ортах C,A,P - <1,1,0>,<1,0,1>,<0,1,1> и утверждает о недостижимости точки <1,1,1>.
Интересно, есть ли способы измерения меры реализации каждого свойства и теоремы с относительным достижением свойств. Вроде того, что точка <0.5,0.5,0.5> - достижима/недостижима.