Чтобы уточнить вопрос 2) относительно: CAP, Vespa в настоящее время является AP (с оговоркой, см. Ниже), а не CP.C в CAP подразумевает, что свойство линеаризуемости сохраняется для операций записи и чтения, что не предлагается нашей существующей моделью согласованности.В частности, несмотря на то, что у нас есть журнал предварительной записи для каждой реплики , нет единого распределенного журнала для реплик.
Обратите внимание, что наша «A» в AP является «слабой» в том смысле, что мы зависим от централизованного (но отказоустойчивого) кластерного координатора, который отслеживает и сообщает о доступности узлов.Узлы, которые отделены от лидера координатора, не гарантируют успешного ответа на клиентские запросы (относится как к чтению, так и к записи).
Я добавлю в связанную документацию раздел, в котором явно указаны свойства CAP Vespa.