Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timeliness properties of real-time systems. We propose a semi-passive architecture for fault-tolerance and show that speculative execution can enhance overall performance and hence shorten the recovery time in the presence of failure. The Compiler is used to detect speculative execution, to insert checkpoints and to construct the updated messages. Simulation results are reported to show the contribution of speculative execution under the proposed architecture.
Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe,