High-performance replicated log service, by Twitter