A robust, strongly-consistent distributed locking library that provides atomic operations across multiple processes