The full test process for Table 2 is time-consuming. To demonstrate that the detection rates reported in Table 2 can be achieved, we use FastCheck, which generates results for each entry in Table 2 with similar detection rates.
A detailed description of our fault injection methodology is available in table2_full.md. For FastCheck, run the script:
./table2_fastcheck.sh
This script outputs the fault detection rate for each application and fault tolerance mechanism.
For example, the initial output lines may appear as follows:
Application: Memcached:
Orthrus
99/100 99% (alu)
100/100 100.0% (simd)
RBV
...
# the fault type: alu is Arithmetic, fpu is Floating point, simd is Vector and cc is Cache.
Notes:
(1) FastCheck produces significantly fewer SDC errors than the full test. (2) The distribution of injected error types may not match Table 2 proportions due to the smaller sample size. (3) Orthrus and RBV may show differing total SDC counts since additional errors are injected into Orthrus to highlight its efficiency. Detection rates remain reliable. (4) The detailed log and output json are under the folders ./fw/logs/ and ./fw/output/