Durable execution without history replay