Изучение согласованности и толерантности к разделению в распределенных системах: подробное руководство