Теорема CAP: различия между версиями

В [[2002 год]]у Сет Джилберт и [[Линч, Нэнси Энн|Нэнси Линч]] из [[Массачусетский технологический институт|Массачусетского технологического института]] подобрали формальные модели асинхронных и синхронных распределённых вычислений, в рамках которых показано выполнение теоремы CAP в условиях отсутствия синхронизации (общих часов) у узлов распределённой системы и принципиальную возможность компромисса в частично синхронных системах{{sfn|Джилберт, Линч|2002|p=59|loc=In an asynchronous model, when no clocks are available, the impossibility result is fairly strong: it is impossible to provide consistent data, even allowing stale data to be returned when messages are lost. However in partially synchronous models it is possible to achieve a practical compromise between consistency and availability}}. В этой работе «согласованность» в смысле теоремы CAP соотнесена с выполнением первых двух требований [[ACID]] — [[Атомарность|атомарности]] и [[Согласованность данных|согласованности]]. В дальнейшем, многие практики ссылались на данную работу как на [[Доказательство (математика)|доказательство]] теоремы CAP<ref name="browne"/>{{Sfn|Григорик|2010|loc=Problem is, the CAP theorem proposed by Eric Brewer and later proved by Seth Gilbert and Nancy Lynch, shows that together, these three requirements are impossible to achieve at the same time}}<ref name="genie"/>.