Enhancing the performance of process level redundancy with coprocessors in symmetric multiprocessors. (2018)