Highly-decoupled thread level redundancy