Ensar Basri Kahveci

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