A Lightweight System for Detecting and Tolerating Concurrency Bugs

Zhang, Mingxing; Wu, Yongwei; Lu, Shan; Qi, Shanxiang; Ren, Jinglei; Zheng, Weimin

doi:10.1109/tse.2016.2531666

Cited by 7 publications

(9 citation statements)

References 47 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(1) we apply our new calculations with heuristic functions into many more model checkings of concurrent systems; (2) timed concurrent systems are simulated and analyzed based on the unfolding techniques of Petri nets; and, (3) we explore the unfolding-based technique of WFD-net [48] to check concurrency bugs [49][50][51].…”

Section: Discussionmentioning

confidence: 99%

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

2021

View full text Add to dashboard Cite

The unfolding technique of Petri net can characterize the real concurrency and alleviate the state space explosion problem. Thus, it is greatly suitable to analyze/check some potential errors in concurrent systems. During the unfolding process of a Petri net, the calculations of configurations, cuts, and cut-off events are the key factors for the unfolding efficiency. However, most of the unfolding methods do not specify a highly efficient calculations on them. In this paper, we reveal some recursive relations and structural properties of these factors. Subsequently, we propose an improved method for computing configurations and cuts. Meanwhile, backward conflicts are used to guide the calculations of cut-off events. Moreover, a case study and a series of experiments are done to illustrate the effectiveness and application scenarios of our methods.

show abstract

Section: Discussionmentioning

confidence: 99%

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

2021

View full text Add to dashboard Cite

show abstract

“…Researchers have proposed on-the-fly repairing of atomicity violation techniques for real-world software to prevent system failure [36,37]. In general, these techniques can be classified in diagnosis phase and treatment phase.…”

Section: On-the-fly Repairing Of Atomicity Violationsmentioning

confidence: 99%

“…In general, these techniques can be classified in diagnosis phase and treatment phase. In the diagnosis phase, the faults or anomalies of the system are detected with error diagnosis approaches, such as detection protocols or correct interleaving information [36][37][38]. The detection protocol monitors the information of shared variables executed in each thread during execution and analyzes correlations to diagnose the occurrence of atomicity violations.…”

Section: On-the-fly Repairing Of Atomicity Violationsmentioning

confidence: 99%

“…The occurrence information of atomicity violations is shared among developers through each software's bug report. This information provides valuable patterns (or types) for research on on-the-fly repair approaches [36][37][38] to prevent system failure during operation. Since there is a wealth of information on atomicity violations in the bug report, most of the on-the-fly repairing research studies have been conducted on generalpurpose platforms.…”

Section: General-purpose Platformmentioning

confidence: 99%

“…Considering the accuracy and overhead of existing research studies performed on a general-purpose platform, the method by J. Yu et al [36] and AI (anticipate invariant) [37] are suitable for use in real-time systems. These two research studies are similar in terms of the methods for diagnosing errors using the pre-test information and treating errors by stalling the thread where the error is diagnosed.…”

Section: General-purpose Platformmentioning

confidence: 99%

See 2 more Smart Citations

On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software

et al. 2022

View full text Add to dashboard Cite

Airborne health management systems prevent functional failure caused by errors or faults in airborne software. The on-the-fly repairing of atomicity violations in ARINC 653 concurrent software is critical for guaranteeing the correctness of software execution. This paper introduces RAV (Repairing Atomicity Violation), which efficiently treats atomicity violations. RAV diagnoses an error on the fly by utilizing the training results of software and treats to control access to the shared variable of the thread where the error has occurred. The evaluation of RAV measured the time overhead by applying methods found in previous works and RAV to five synthesis programs containing an atomicity violation.

show abstract

A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques

Wang

Chen

et al. 2017

Software Qual J

View full text Add to dashboard Cite

A Lightweight System for Detecting and Tolerating Concurrency Bugs

Cited by 7 publications

References 47 publications

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software

A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques

Contact Info

Product

Resources

About