On-the-fly repair of multi-variable atomicity violations in airborne software

초록

Atomicity violations in aircraft software can cause unintended execution results, and as a result, aircraft systems may fail. Existing works on-the-fly repairing methods for atomicity violations in airborne software repair only single-variable atomicity violations. Existing schemes become infeasible when there are multi-variable violations. This paper presents the MVR (Multi-variable atomicity Violations Repair) method for the on-the-fly repair of multi-variable atomicity violations in airborne software. Based on the correlation information of multiple shared variables, MVR maps shared variables into one color group, recognizes them as one variable, and diagnoses multi-variable atomicity violations. When the MVR method diagnoses an atomicity violation, it treats the error by stalling the threads involved in the error. We evaluated MVR on ten real-world cases of multi-variable atomicity violations, as well as on a synthetic program. The proposed MVR method incurred a time overhead of approximately 1.06 & times; compared to the original program across all ten patterns. Additionally, compared to the existing work (RAV), MVR enabled the detection of multi-variable atomicity violations with only approximately 1.025 & times; increase in time overhead.

키워드