Redis Internals: The Engine Behind Sub-Millisecond Responses