Localization of linearizability faults on the coarse-grained level

Zhenya Zhang, Peng Wu, Yu Zhang

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

2 被引用数 (Scopus)

抄録

Linearizability is an important correctness criterion that guarantees the safety of concurrent data structures. Due to the nondeterminism of concurrent executions, reproduction and localization of a linearizability fault still remain challenging. The existing work mainly focuses on model checking the thread schedule space of a concurrent program on a fine-grained (state) level, and hence suffers from the severe problem of state space explosion. This paper presents a tool called CGVT to build a small test case that is sufficient enough for reproducing a linearizability fault. Given a possibly long history that has been detected non-linearizable, CGVT first locates the operations causing a linearizability violation, and then synthesizes a short test case for further investigation. Moreover, we present several optimization techniques to improve the effectiveness and efficiency of CGVT. We have applied CGVT to 10 concurrent objects, while the linearizability of some of the concurrent objects is unknown yet. The experiments show that CGVT is powerful and efficient enough to build the test cases adaptable for a fine-grained analysis.

本文言語英語
ホスト出版物のタイトルProceedings - SEKE 2017
ホスト出版物のサブタイトル29th International Conference on Software Engineering and Knowledge Engineering
出版社Knowledge Systems Institute Graduate School
ページ272-277
ページ数6
ISBN(電子版)1891706411
DOI
出版ステータス出版済み - 2017
外部発表はい
イベント29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017 - Pittsburgh, 米国
継続期間: 7月 5 20177月 7 2017

出版物シリーズ

名前Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
ISSN(印刷版)2325-9000
ISSN(電子版)2325-9086

会議

会議29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017
国/地域米国
CityPittsburgh
Period7/5/177/7/17

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア

フィンガープリント

「Localization of linearizability faults on the coarse-grained level」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル