Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+mongodb.com5 pointsmark4a year ago