A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Petri Net Analysis of Non-Redundant and Redundant Execution Schemes
2010
FERS-Mitteilungen
The quest for high-performance has led to multi-and many-core systems. To push the performance of a single core to the limit, simultaneous multithreading (SMT) is used. SMT enables to fetch different instructions from different threads, hiding latencies in other threads. SMT also gives the opportunity to execute redundant threads (redundant multithreading, RMT) and thus to detect faults by comparing the results of both threads. The instruction fetch algorithm determines which instructions to
doi:10.1007/bf03345446
fatcat:b6m5cyvxlbaqlg3wkahardxl7e