These algorithms are used to provide a global, consistent state across all the nodes in a distributed system.