A key value storage system for iOS based on Redis