more work in implementing kepaxos and integrating it in libshardcache