Какие алгоритмы или протоколы используются для обеспечения строгой согласованности в распределённых системах? Объясните их принципы и ограничения.