Stav dette: User-level state sharing in distributed systems