Conference
TSVD4J: Thread-Safety Violation Detection for Java.
| Τίτλος: | TSVD4J: Thread-Safety Violation Detection for Java. |
|---|---|
| Συγγραφείς: | Rahman, Shanto, Li, Chengpeng, Shi, August |
| Πηγή: | ICSE: International Conference on Software Engineering; 2023, p78-82, 5p |
| Θεματικοί όροι: | Java programming language, Data structures, Web-based user interfaces, Debugging, Threads (Computer programs) |
| Περίληψη: | Concurrency bugs are difficult to detect and debug. One class of concurrency bugs are thread-safety violations, where multiple threads access thread-unsafe data structure at the same time, resulting in unexpected behavior. Prior work proposed an approach TSVD to detect thread-safety violations. TSVD injects delays at API calls that read/write to specific thread-unsafe data structures, tracking whether multiple threads can overlap in their accesses to the same data structure through the delays, showing potential thread-safety violations. We additionally enhance the TSVD approach to also consider read/write operations to object fields. We implement the TSVD approach in Java in our tool TSVD4J. TSVD4J can be integrated as a Maven plugin that can be included in any Maven-based application. Our evaluation on 12 applications shows that TSVD4J can detect 55 pairs of code locations accessing the same shared data structure across multiple threads, representing potential thread-safety violations. We find that the addition of tracking field accesses contributed the most to detecting these pairs. TSVD4J also detects more such pairs than existing tool RV-Predict. The demo video for TSVD4J is available at https://www.youtube.com/watch?v=-wSMzlj5cMY. [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Complementary Index |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edb DbLabel: Complementary Index An: 185196206 RelevancyScore: 947 AccessLevel: 6 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 946.955322265625 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: TSVD4J: Thread-Safety Violation Detection for Java. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Rahman%2C+Shanto%22">Rahman, Shanto</searchLink><br /><searchLink fieldCode="AR" term="%22Li%2C+Chengpeng%22">Li, Chengpeng</searchLink><br /><searchLink fieldCode="AR" term="%22Shi%2C+August%22">Shi, August</searchLink> – Name: TitleSource Label: Source Group: Src Data: ICSE: International Conference on Software Engineering; 2023, p78-82, 5p – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Java+programming+language%22">Java programming language</searchLink><br /><searchLink fieldCode="DE" term="%22Data+structures%22">Data structures</searchLink><br /><searchLink fieldCode="DE" term="%22Web-based+user+interfaces%22">Web-based user interfaces</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Threads+%28Computer+programs%29%22">Threads (Computer programs)</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Concurrency bugs are difficult to detect and debug. One class of concurrency bugs are thread-safety violations, where multiple threads access thread-unsafe data structure at the same time, resulting in unexpected behavior. Prior work proposed an approach TSVD to detect thread-safety violations. TSVD injects delays at API calls that read/write to specific thread-unsafe data structures, tracking whether multiple threads can overlap in their accesses to the same data structure through the delays, showing potential thread-safety violations. We additionally enhance the TSVD approach to also consider read/write operations to object fields. We implement the TSVD approach in Java in our tool TSVD4J. TSVD4J can be integrated as a Maven plugin that can be included in any Maven-based application. Our evaluation on 12 applications shows that TSVD4J can detect 55 pairs of code locations accessing the same shared data structure across multiple threads, representing potential thread-safety violations. We find that the addition of tracking field accesses contributed the most to detecting these pairs. TSVD4J also detects more such pairs than existing tool RV-Predict. The demo video for TSVD4J is available at https://www.youtube.com/watch?v=-wSMzlj5cMY. [ABSTRACT FROM AUTHOR] – Name: Abstract Label: Group: Ab Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=185196206 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/ICSE-Companion58688.2023.00029 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 5 StartPage: 78 Subjects: – SubjectFull: Java programming language Type: general – SubjectFull: Data structures Type: general – SubjectFull: Web-based user interfaces Type: general – SubjectFull: Debugging Type: general – SubjectFull: Threads (Computer programs) Type: general Titles: – TitleFull: TSVD4J: Thread-Safety Violation Detection for Java. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Rahman, Shanto – PersonEntity: Name: NameFull: Li, Chengpeng – PersonEntity: Name: NameFull: Shi, August IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 05 Text: 2023 Type: published Y: 2023 Titles: – TitleFull: ICSE: International Conference on Software Engineering Type: main |
| ResultId | 1 |