Aerospike 4.0, Strong Consistency, and Jepsen | Aerospike