![](/images/graphics-bg.png)
A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment
Joint Authors
Source
Security and Communication Networks
Issue
Vol. 2018, Issue 2018 (31 Dec. 2018), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2018-10-09
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Information Technology and Computer Science
Abstract EN
The advent of cloud computation and big data applications has enabled data access concurrency to be prevalent in the distributed cloud environment.
In the meantime, security issue becomes a critical problem for researchers to consider.
Concurrency bug diagnosis service is to analyze concurrent software and then reason about concurrency bugs in them.
However, frequent context switches in concurrent program execution traces will inevitably impact the service performance.
To optimize the service performance, this paper presents a static constraint-aware method to simplify concurrent program buggy traces.
First, taking the original buggy trace as the operation object, we calculate the maximal sound dependence relations based on the constraint models.
Then, we iteratively check the dependent constraints and move forward current event to extend thread execution intervals.
Finally, we obtain the simplified trace that is equivalent to the original buggy trace.
To evaluate our approach, we conduct a set of experiments on 12 widely used Java projects.
Experimental results show that our approach outperforms other state-of-the-art approaches in terms of execution time.
American Psychological Association (APA)
Bo, Lili& Jiang, Shujuan. 2018. A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment. Security and Communication Networks،Vol. 2018, no. 2018, pp.1-11.
https://search.emarefa.net/detail/BIM-1214280
Modern Language Association (MLA)
Bo, Lili& Jiang, Shujuan. A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment. Security and Communication Networks No. 2018 (2018), pp.1-11.
https://search.emarefa.net/detail/BIM-1214280
American Medical Association (AMA)
Bo, Lili& Jiang, Shujuan. A Constraint-Aware Optimization Method for Concurrency Bug Diagnosis Service in a Distributed Cloud Environment. Security and Communication Networks. 2018. Vol. 2018, no. 2018, pp.1-11.
https://search.emarefa.net/detail/BIM-1214280
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1214280