Async cancellation: a case study of pub-sub in mini-Redis | Heykuki News