Mutual-exclusion algorithms resilient to transient memory faults

A system comprising:

• one or more processors;
• one or more memories;
• a resource, stored in the one or more memories and accessible to first and second threads stored in the one or more memories and executing on the one or more processors, the first and second threads each including a respective critical section of code that accesses the resource;
• and
• an execution engine, stored in the one or more memories and configured to cause execution of the first and second threads on the one or more processors using a mutual-exclusion algorithm, wherein the mutual-exclusion algorithm:
• prevents simultaneous access of the resource by the first and second threads after the system experiences m soft errors when (i) one thread of the first and second threads is in its critical section, (ii) and another thread of the first and second threads is waiting in a loop to enter its critical section;
• satisfies the hamming-distance-(m+1) property;
• and
• instructs the first and the second threads to engage in a handshake that, when completed, enables the first thread or the second thread to switch the respective critical section from one thread to another, wherein m is an integer and not less than 1.