2 ms·Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+5 points by mark4 1y ago