Gossip-протоколы — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «'''Gossip-протоколы''' — семейство протоколов, которые позволяют обеспечивать eventual consistency в р…»)
 
 
Строка 1: Строка 1:
 +
[[Категория: Параллельное программирование]]
 
'''Gossip-протоколы''' — семейство протоколов, которые позволяют обеспечивать eventual consistency в распределённой системе.
 
'''Gossip-протоколы''' — семейство протоколов, которые позволяют обеспечивать eventual consistency в распределённой системе.
 
В [[CAP-теорема|CAP-теореме]] они жертвуют согласованностью, получают доступность и устойчивость к разделению.
 
В [[CAP-теорема|CAP-теореме]] они жертвуют согласованностью, получают доступность и устойчивость к разделению.

Текущая версия на 00:02, 4 июня 2019

Gossip-протоколы — семейство протоколов, которые позволяют обеспечивать eventual consistency в распределённой системе. В CAP-теореме они жертвуют согласованностью, получают доступность и устойчивость к разделению.

Основная идея: узлы распространяют информацию об изменениях друг другу по мере возможности, причём не только самостоятельно добавленные изменения, но и то, что услышали от других узлов (слухи, gossip). Тогда при отсутствии сбоев рано или поздно все узлы обо всём узнают. Разумеется, могут появиться конфликты, их надо как-нибудь решать. Можно либо спускать эту задачу на уровень приложения (Amazon Dynamo), либо использовать специальные конструкции для распространения слухов вроде CRDT, которые не допускают конфликтов по построению.

Точные протоколы общения процессов и распространения слухов мы не разбирали и они, говорят, не так важны.