Slicer: auto-sharding for datacenter applications
The part-time parliament