Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults
Duong Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni · 2023
Synchronization is the Achilles heel of concurrent programs. Synchronization requirement is often used to ensure that the execution of the concurrent program can be serialized. Without synchronization requirement, a program suffers from consistency violations. Recently, it was shown that if programs are designed to tolerate such consistency violation faults (cvf s) then one can obtain substantial performance gain. Previous efforts to analyze the effect of cvf-tolerance are limited to run-time analysis of the program to determine if tolerating cvf s can improve the performance. Such run-time analysis is very expensive and provides limited insight.