опять про CAP theorem
May. 24th, 2013 12:15 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
109это очень вредная теорема, потому что на самом деле утверджает тривиальное, а вовсе не "выбери 2 из 3: C, A, или P". но то тривиальное, которое она утверждает, не так flashy, как "2 из 3", поэтому популяризуется везде неправильное понимание, которое заставляет людей думать в неправильную сторону, например - громоздить жуткие алгоритмические сложности, чтобы добиться коммутирующих алгоритмов чтения/записи.
между тем, теорема на самом деле утверждает дословно следующее: если хочется добиться [write] availability с помощью multiple [write] partitions/master nodes, то consistency bye-bye. это всё, что она утверждает. а вовсе не "2 из 3". надо это понять, наконец, раз и навсегда.
а поняв это, можно уже идти дальше - например, решить проблему availability не с помощью multiple writeable masters, а с помощью быстрого выбора нового главного мастера, если старый упал. с точки зрения клиента такой системы, которому перевыборы мастера не видны, система имеет все 3 свойства из трёх, во всех практических смыслах.
между тем, теорема на самом деле утверждает дословно следующее: если хочется добиться [write] availability с помощью multiple [write] partitions/master nodes, то consistency bye-bye. это всё, что она утверждает. а вовсе не "2 из 3". надо это понять, наконец, раз и навсегда.
а поняв это, можно уже идти дальше - например, решить проблему availability не с помощью multiple writeable masters, а с помощью быстрого выбора нового главного мастера, если старый упал. с точки зрения клиента такой системы, которому перевыборы мастера не видны, система имеет все 3 свойства из трёх, во всех практических смыслах.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2013-05-24 07:34 am (UTC)(no subject)
Date: 2013-06-26 08:07 pm (UTC)(no subject)
Date: 2013-06-27 03:56 pm (UTC)"а с помощью быстрого выбора нового главного мастера" - а выбирать то кто будет?
Вот Фобос гробанулся как раз поэтому, оба вырубились, и никто не включил исправного мастера, так как оба стали "неисправными".
(no subject)
Date: 2013-06-27 07:16 pm (UTC)(no subject)
Date: 2013-06-27 07:49 pm (UTC)А хотелось бы и в этом случае выкрутится, но естественно уже без consistency. Что теорема и говорит
(no subject)
Date: 2013-06-27 09:40 pm (UTC)(no subject)
Date: 2013-06-28 04:02 am (UTC)(no subject)
Date: 2013-06-28 07:26 am (UTC)(no subject)
Date: 2013-06-28 07:38 am (UTC)(no subject)
Date: 2013-08-16 12:08 am (UTC)(no subject)
Date: 2013-08-16 12:28 am (UTC)(no subject)
Date: 2013-08-16 02:11 am (UTC)(no subject)
Date: 2013-08-17 06:39 am (UTC)