Supporting highly-decoupled thread-level redundancy for parallel programs