CAP-теорема Брюера » комментарииhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/2013-02-16T00:57:25.267133-08:00Иван Сагалаев о программировании и веб-разработкеhttp://softwaremaniacs.org/media/sm_org/style/photo.jpgРаспределенная согласованность — Часть 1 — Введение | sufr на "CAP-теорема Брюера"
2013-02-16T00:57:25.267133-08:00Распределенная согласованность — Часть 1 — Введение | sufrhttp://sufr.ru/?p=4852https://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-244705CAP теорема гласит, что в системе одновременно можно выбрать только две вещи з трех: корректность, доступность, устойчивость к разделению сети. В распределенных системах недоступность некоторых узлов неизбежна и система должна быть устойчивой к этому, поэтому CAP означает, что мы не можем одновременно поддерживать корректность и 100% доступности.
<p>CAP теорема гласит, что в системе одновременно можно выбрать только две вещи з трех: корректность, доступность, устойчивость к разделению сети. В распределенных системах недоступность некоторых узлов неизбежна и система должна быть устойчивой к этому, поэтому CAP означает, что мы не можем одновременно поддерживать корректность и 100% доступности.Ivan Sagalaev на "CAP-теорема Брюера"
2012-01-16T21:27:39.760400-08:00Ivan Sagalaevhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-112023Артём, спасибо за комментарий и ссылку. Камень с души сняли :-). Ответил подробнее постом.
<p>Артём, спасибо за комментарий и ссылку. Камень с души сняли :-). Ответил подробнее <a href="http://softwaremaniacs.org/blog/2012/01/16/partition-tolerance/">постом</a>.Artem Danilov на "CAP-теорема Брюера"
2012-01-16T02:51:39.509571-08:00Artem Danilovhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-111771Я не совсем согласен с вашей интерпретацией CAP-теоремы. Я утверждаю, что распределенную систему, в которой бы на 100% выполнялась согласованность и доступность, построить в реальном мире невозможно. Мне кажется в Вашем примере шардированной БД нет avalability. В коментариях сложно много писать, поэтому предлагаю ознакомиться с моим мнением на хабре: http://habrahabr.ru/blogs/nosql/136305....
<p>Я не совсем согласен с вашей интерпретацией CAP-теоремы. Я утверждаю, что распределенную систему, в которой бы на 100% выполнялась согласованность и доступность, построить в реальном мире невозможно. Мне кажется в Вашем примере шардированной БД нет avalability. В коментариях сложно много писать, поэтому предлагаю ознакомиться с моим мнением на хабре: <a href="http://habrahabr.ru/blogs/nosql/136305">http://habrahabr.ru/blogs/nosql/136305</a>. В конце есть несколько ссылок, где эта идея описана более развернуто. Но основная идея в том, что CAP-теорема сформулирована для идеальной системы, чего на самом деле не бывает.allweeks.ru » CAP теорема на "CAP-теорема Брюера"
2011-10-11T10:20:04.432425-07:00allweeks.ru » CAP теоремаhttp://allweeks.ru/2011/10/cap-theorem/https://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-99795http://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/
<p><a href="http://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/">http://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/</a>Алексей на "CAP-теорема Брюера"
2011-08-23T21:30:57.974194-07:00Алексейhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-95349Как я понимаю, практически можно искать компромиссы вроде синхронизации шардов через общий авто-инкремент, или синхронизации часов для сведения вероятности неконсистентности к практически равной нулю и т.д.
<p>Как я понимаю, практически можно искать компромиссы вроде синхронизации шардов через общий авто-инкремент, или синхронизации часов для сведения вероятности неконсистентности к практически равной нулю и т.д.kroki на "CAP-теорема Брюера"
2010-12-14T04:51:13-08:00krokihttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-65424Устойчивость к сбоям узлов (Partition tolerance) В оригинале "Partition tolerance" означает не "устойчивость к сбоям партиций", а как раз наоборот, "устойчивость к появлению партиций", то есть ситуации, когда отказывает сеть, кластер делатся на две (или более) партиции, при этом каждая из партиций продолжает обслуживать свой набор клиентов (этого требует availability),...
<blockquote>
<p>Устойчивость к сбоям узлов (Partition tolerance)</p>
</blockquote>
<p>В оригинале "Partition tolerance" означает не "устойчивость к <strong>сбоям</strong> партиций", а как раз наоборот, "устойчивость к <strong>появлению</strong> партиций", то есть ситуации, когда отказывает сеть, кластер делатся на две (или более) партиции, при этом каждая из партиций продолжает обслуживать свой набор клиентов (этого требует availability), в том числе принимает обновления от клиентов. Тогда после восстановления сетевых соединений мы можем обнаружить, что одни и те же данные на разных партициях были изменены несовместимым образом, то есть будет нарушена consistency.Николай Власов на "CAP-теорема Брюера"
2010-04-04T01:45:01.865332-07:00Николай Власовhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-41682Большое спасибо за ссылки - очень интересная статья. Однако, у вас есть небольшая нетчность в переводе формулировки теоремы. В оригинале она выглядит следующим образом (стр.1): it is impossible for a web service to provide the following three guarantees: - Consistency - Availability - Partition-tolerance Под веб сервисом в доказательстве понимаются...
<p>Большое спасибо за ссылки - очень интересная статья. Однако, у вас есть небольшая нетчность в переводе формулировки теоремы. В оригинале она выглядит следующим образом (стр.1):
it is impossible for a <strong>web service</strong> to provide the following three guarantees:
- Consistency
- Availability
- Partition-tolerance
Под веб сервисом в доказательстве понимаются асинхронные и частично-синхронные распределенные системы и это понятно, так как синхронизовать часы на всех устройствах, подключенных к такой сети как Интерет, например, практически нереально :) Однако, если предположить, что в распределенной системе все ее компоненты имеют синхронизованное время, то доказательство теоремы для них, строго говоря, работать не будет. </p>
<p>Тем не менее с ваши выводы верны, но с той лишь оговоркой, что это справедливо для веб сервисов!Ivan Sagalaev на "CAP-теорема Брюера"
2010-02-24T07:10:49.298183-08:00Ivan Sagalaevhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-38013Во втором абзаце поста: http://people.csail.mit.edu/sethg/pubs/BrewersConjecture-SigAct.pdf
<p>Во втором абзаце поста: <a href="http://people.csail.mit.edu/sethg/pubs/BrewersConjecture-SigAct.pdf">http://people.csail.mit.edu/sethg/pubs/BrewersConjecture-SigAct.pdf</a>nvy на "CAP-теорема Брюера"
2010-02-23T13:59:40.678848-08:00nvyhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-37928Важность того, что невозможность обеспечить все три свойства сразу, доказана математически, А ссылочку на сие слабо дать? P.S.Я Вам на слово верю есличо:)
<blockquote>
<p>Важность того, что невозможность обеспечить все три свойства сразу, доказана математически, </p>
</blockquote>
<p>А ссылочку на сие слабо дать?</p>
<p>P.S.Я Вам на слово верю есличо:)Ivan Sagalaev на "CAP-теорема Брюера"
2010-02-06T12:24:59.499564-08:00Ivan Sagalaevhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-36125Веришь ли, не читал :-)
<p>Веришь ли, не читал :-)Роман Петрухин на "CAP-теорема Брюера"
2010-02-06T11:04:57.298518-08:00Роман Петрухинhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-36116Ваня, я не знаю почему,:-) но у меня словосочетание "в MIT доказали теорему" всегда вызывает воспоминания об одном классном тексте :-) Вот цитата из него: Ходили по Массачусетскому Технологическому Институту (MIT) два несносных вундеркинда-кибернетика Карл Хьюитт и Терри Виноград. Несноснее Карла в MIT был разве, что Терри, и наоборот. И...
<p>Ваня, я не знаю почему,:-) но у меня словосочетание "в MIT доказали теорему" всегда вызывает воспоминания об одном классном тексте :-)
Вот цитата из него: </p>
<p><em>Ходили по Массачусетскому Технологическому Институту (MIT) два
несносных вундеркинда-кибернетика Карл Хьюитт и Терри Виноград. Несноснее
Карла в MIT был разве, что Терри, и наоборот. И ничего, MIT и не такое
видал. Ни один Нобелевский лауреат от этого не пострадал. Кстати, говорят,
что, кроме MIT, Нобелевские лауреаты водятся иногда и в других местах.
Короче, детские диалоги Карла и Терри были малопонятны окружающим
лауреатам и кончились тем, что Карл (в 23 года) прославился созданием языка
PLANNER, ставшего классикой ИИ, а Терри - один из основоположников в сфере
ПОНИМАНИЯ естественного языка компьютером. Оба увлекались игрой в кубики.</em></p>
<p>Текст целиком: <a href="http://arbuz.uz/t_ii.html">http://arbuz.uz/t_ii.html</a>
Но, я думаю, ты его читал :-)Ivan Sagalaev на "CAP-теорема Брюера"
2010-02-05T04:14:01.153252-08:00Ivan Sagalaevhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-36048"Шардированная СУБД" - уникальный термин. %-)))) Я сначала не поверил...
<blockquote>
<p>"Шардированная СУБД" - уникальный термин.</p>
</blockquote>
<p>%-))))</p>
<p>Я сначала не поверил...rra на "CAP-теорема Брюера"
2010-02-04T09:53:10.451221-08:00rrahttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-36010"Шардированная СУБД" - уникальный термин. Google выдает одну ссылку, угадайте куда. http://tinyurl.com/ygdyzwo
<p>"Шардированная СУБД" - уникальный термин. Google выдает одну ссылку, угадайте куда.</p>
<p><a href="http://tinyurl.com/ygdyzwo">http://tinyurl.com/ygdyzwo</a>Twitter Trackbacks for Маниакальный Веблог » CAP-теорема Брюера [softwaremaniacs.org] on Topsy.com на "CAP-теорема Брюера"
2010-02-03T19:10:58.478861-08:00Twitter Trackbacks for Маниакальный Веблог » CAP-теорема Брюера [softwaremaniacs.org] on Topsy.comhttp://topsy.com/tb/softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/https://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-35959Маниакальный Веблог » CAP-теорема Брюера
<p>Маниакальный Веблог » CAP-теорема БрюераIvan Sagalaev на "CAP-теорема Брюера"
2010-02-02T01:40:37.965716-08:00Ivan Sagalaevhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-35843Fulcrum, и правда. Поменял пример. Теперь подходит?
<p>Fulcrum, и правда. Поменял пример. Теперь подходит?Fulcrum на "CAP-теорема Брюера"
2010-02-01T03:29:55.982271-08:00Fulcrumhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-35795Первый случай формально удоволетворяет свойству Partion tolerance, просто это не распределенная система.
<p>Первый случай формально удоволетворяет свойству Partion tolerance, просто это не распределенная система.http://claimid.com/vlasovskikh на "CAP-теорема Брюера"
2010-01-31T16:05:30.607231-08:00http://claimid.com/vlasovskikhhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-35769Полезное напоминание о CAP. Спасибо за заметку.
<p>Полезное напоминание о CAP. Спасибо за заметку.Денис Баженов на "CAP-теорема Брюера"
2010-01-31T15:37:00.695921-08:00Денис Баженовhttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-35767Еще одна интересная ссылка где CTO Amazon'а Werner Vogels объясняет принципы eventual consistency и то почему у них "во главе угла того самого треугольника" стоит Availability. За одну минуту downtime'а Amazon способен потерять около $3000. Так что выбор вполне очевиден. http://www.allthingsdistributed.com/2008/12/eventually_consistent.html
<p>Еще одна интересная ссылка где CTO Amazon'а Werner Vogels объясняет принципы eventual consistency и то почему у них "во главе угла того самого треугольника" стоит Availability. За одну минуту downtime'а Amazon способен потерять около $3000. Так что выбор вполне очевиден.</p>
<p><a href="http://www.allthingsdistributed.com/2008/12/eventually_consistent.html">http://www.allthingsdistributed.com/2008/12/eventually_consistent.html</a>zerkms на "CAP-теорема Брюера"
2010-01-31T14:46:43-08:00zerkmshttps://softwaremaniacs.org/blog/2010/01/31/brewers-cap-theorem/#comment-35763В своё время, когда общался с более опытным товарищем на эту тему, он поделился ссылкой. Надеюсь она и вам понравится: http://javathink.blogspot.com/2010/01/characterizing-enterprise-systems-using.html?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed:+blogspot/thinkinginjava+(Thinking+In+Java)&utm_content=Google+Reader Вкратце: по ссылке описан ряд хранилищ и выбор стратегии CAP.
<p>В своё время, когда общался с более опытным товарищем на эту тему, он поделился ссылкой. Надеюсь она и вам понравится:</p>
<p><a href="http://javathink.blogspot.com/2010/01/characterizing-enterprise-systems-using.html?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed:+blogspot/thinkinginjava+(Thinking+In+Java)&utm_content=Google+Reader">http://javathink.blogspot.com/2010/01/characterizing-enterprise-systems-using.html?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed:+blogspot/thinkinginjava+(Thinking+In+Java)&utm_content=Google+Reader</a></p>
<p>Вкратце: по ссылке описан ряд хранилищ и выбор стратегии CAP.