Describir: User-level state sharing in distributed systems