ºÝºÝߣ

distributed systems hazelcast availability cap theorem nosql paxos raft replication eventual consistency consistency models strong consistency leader election distributed locking distributed coordination raft consensus logical clocks three-phase commit two-phase commit vector clocks failure detectors consensus flp impossibility result lamport scala functional programming consistency dynamo fault tolerance zab elasticsearch mongodb riak zookeeper cassandra etcd redis kafka database