CAP-теорема и распределенные системы (компромисс между согласованностью, доступностью и устойчивостью к разделению)