Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments
In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that int...
Gespeichert in:
| Veröffentlicht in: | International journal of parallel programming Jg. 48; H. 6; S. 1032 - 1060 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
New York
Springer US
01.12.2020
Springer Nature B.V |
| Schlagworte: | |
| ISSN: | 0885-7458, 1573-7640 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that intercepts the software’s execution at runtime and reduces the overhead that can occur in the original software due to defect detection methods using optimized data collection. We implemented the proposed method as a tool and demonstrated its effectiveness by applying it to weapon system software that previously had concurrency bugs. In addition, the proposed method’s high performance was proven by applying it to software into which faults were injected and comparing the results with those obtained using other tools. |
|---|---|
| AbstractList | In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that intercepts the software’s execution at runtime and reduces the overhead that can occur in the original software due to defect detection methods using optimized data collection. We implemented the proposed method as a tool and demonstrated its effectiveness by applying it to weapon system software that previously had concurrency bugs. In addition, the proposed method’s high performance was proven by applying it to software into which faults were injected and comparing the results with those obtained using other tools. |
| Author | Choi, Byoungju Park, Jihyun Jang, Seungyeun |
| Author_xml | – sequence: 1 givenname: Jihyun surname: Park fullname: Park, Jihyun organization: Ewha Womans University – sequence: 2 givenname: Byoungju orcidid: 0000-0003-3985-7645 surname: Choi fullname: Choi, Byoungju email: bjchoi@ewha.ac.kr organization: Ewha Womans University – sequence: 3 givenname: Seungyeun surname: Jang fullname: Jang, Seungyeun organization: Ewha Womans University |
| BookMark | eNp9kEtLBDEQhIMouD7-gKcBz3E7k8ljjro-QfGieAzZTI9GdhNNMsL-e0dHEDx4ahrqq66uPbIdYkBCjhicMAA1zwyUlBRqoABSMsq3yIwJxamSDWyTGWgtqGqE3iV7Ob8CQKu0npGn802wa--q02BXm-xzdYflJXZVH1O1iMENKWFwm-pseM6VD9XdsCqevqXoMOf5tJWXhLarLsKHTzGsMZR8QHZ6u8p4-DP3yePlxcPimt7eX90sTm-p46wtlCnFmYNadEr2neqh5yhEI23DsUOopQQhNGp0bNlLdBzski9bwNZCtwTO98nx5Dsmeh8wF_MahzT-kk2tG9GKtqnVqKonlUsx54S9eUt-bdPGMDBfBZqpQDMWaL4LNF_W-g_kfLHFx1CS9av_UT6hebwTnjH9pvqH-gRRIIeQ |
| CitedBy_id | crossref_primary_10_1016_j_jpdc_2025_105105 crossref_primary_10_3390_electronics12051197 crossref_primary_10_1109_TVCG_2025_3574194 crossref_primary_10_1016_j_jss_2023_111730 crossref_primary_10_1016_j_procs_2023_10_402 crossref_primary_10_1109_ACCESS_2021_3073859 crossref_primary_10_1109_ACCESS_2021_3065421 |
| Cites_doi | 10.1016/j.infsof.2010.09.003 10.1145/2528521.1508249 10.1145/1147403.1147412 10.1145/3296957.3173192 10.1109/ASE.2013.6693142 10.1145/3196398.3196451 10.1109/EMSOFT.2018.8537214 10.1109/MTV.2009.8 10.1145/1287624.1287654 10.1145/1508284.1508256 10.3745/KTSDE.2018.7.7.249 10.1145/357360.357365 10.1145/1165389.945468 10.1109/ISSRE.2012.12 10.1109/ICSE.2017.32 10.1109/MC.1993.274940 10.1145/1543135.1542489 10.1007/s11219-017-9385-3 10.1109/ASE.2017.8115684 10.1145/1985793.1985796 |
| ContentType | Journal Article |
| Copyright | Springer Science+Business Media, LLC, part of Springer Nature 2020 Springer Science+Business Media, LLC, part of Springer Nature 2020. |
| Copyright_xml | – notice: Springer Science+Business Media, LLC, part of Springer Nature 2020 – notice: Springer Science+Business Media, LLC, part of Springer Nature 2020. |
| DBID | AAYXX CITATION 3V. 7SC 7WY 7WZ 7XB 87Z 8AL 8FD 8FE 8FG 8FK 8FL 8G5 ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- L.- L7M L~C L~D M0C M0N M2O MBDVC P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI Q9U |
| DOI | 10.1007/s10766-020-00661-3 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) ProQuest Research Library ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection ProQuest Technology Collection ProQuest One ProQuest Central Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global Computing Database Research Library Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Business (UW System Shared) ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central Basic |
| DatabaseTitle | CrossRef ABI/INFORM Global (Corporate) ProQuest Business Collection (Alumni Edition) ProQuest One Business Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ABI/INFORM Complete ProQuest Central ABI/INFORM Professional Advanced ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Research Library ProQuest Central (New) Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection ProQuest Business Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Business (Alumni) ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) Business Premium Collection (Alumni) |
| DatabaseTitleList | ABI/INFORM Global (Corporate) |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1573-7640 |
| EndPage | 1060 |
| ExternalDocumentID | 10_1007_s10766_020_00661_3 |
| GroupedDBID | -4Z -59 -5G -BR -EM -Y2 -~C -~X .4S .86 .DC .VR 06D 0R~ 0VY 199 1N0 2.D 203 28- 29J 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 78A 7WY 8FE 8FG 8FL 8G5 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYJJ AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDPE ABDZT ABECU ABFSI ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTAH ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFO ACGFS ACHSB ACHXU ACIHN ACKNC ACMDZ ACMLO ACNCT ACOKC ACOMO ACPIV ACREN ACUHS ACZOJ ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADYOE ADZKW AEAQA AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFKRA AFLOW AFQWF AFWTZ AFYQB AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AOCGG ARAPS ARCSS ARMRJ AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BKOMP BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO E.L EAD EAP EAS EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GROUPED_ABI_INFORM_RESEARCH GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ H~9 I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV KOW LAK LLZTM M0C M0N M2O M4Y MA- MS~ N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P62 P9O PF0 PQBIZ PQBZA PQQKQ PROAC PT4 PT5 Q2X QOK QOS R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TAE TEORI TN5 TSG TSK TSV TUC TUS U2A U5U UG4 UOJIU UTJUX UZXMN VC2 VFIZW VXZ W23 W48 WH7 WK8 YLTOR Z45 Z7R Z7X Z81 Z83 Z88 Z8R Z8W Z92 ZMTXR ZY4 ~8M ~EX AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L.- L7M L~C L~D MBDVC PKEHL PQEST PQUKI Q9U |
| ID | FETCH-LOGICAL-c319t-17731c025d76fd7f0f3e5546a43ede02660558e8ec1bf6ec30ab3b90e9a0db033 |
| IEDL.DBID | M0C |
| ISICitedReferencesCount | 10 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000535153800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0885-7458 |
| IngestDate | Wed Nov 05 03:14:14 EST 2025 Tue Nov 18 22:38:59 EST 2025 Sat Nov 29 01:59:45 EST 2025 Fri Feb 21 02:37:21 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Keywords | Concurrency bug Multi-thread Multi-process Defect detection |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c319t-17731c025d76fd7f0f3e5546a43ede02660558e8ec1bf6ec30ab3b90e9a0db033 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0000-0003-3985-7645 |
| PQID | 2845959427 |
| PQPubID | 48389 |
| PageCount | 29 |
| ParticipantIDs | proquest_journals_2845959427 crossref_primary_10_1007_s10766_020_00661_3 crossref_citationtrail_10_1007_s10766_020_00661_3 springer_journals_10_1007_s10766_020_00661_3 |
| PublicationCentury | 2000 |
| PublicationDate | 20201200 2020-12-00 20201201 |
| PublicationDateYYYYMMDD | 2020-12-01 |
| PublicationDate_xml | – month: 12 year: 2020 text: 20201200 |
| PublicationDecade | 2020 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | International journal of parallel programming |
| PublicationTitleAbbrev | Int J Parallel Prog |
| PublicationYear | 2020 |
| Publisher | Springer US Springer Nature B.V |
| Publisher_xml | – name: Springer US – name: Springer Nature B.V |
| References | Voung, J.W., Jhala, R., Lerner, S.: Relay: static race detection on millions of lines of code. In: 15th ACM SIGSOFT International Symposium on Foundations of software engineering (FSE 2007), pp. 205–214 (2007) Gao, J., Yang, X., Jiang, Y., Liu, H., Ying, W., Zhang, X.: Jbench: a dataset of data races for concurrency testing. In: Proceedings of the 15th International Conference on Mining Software Repositories (MSR ’18). ACM, New York, NY, USA, pp. 6–9 (2018). https://doi.org/10.1145/3196398.3196451 SQLite3, SQLite3. http://sqlite3.org. Accessed 13 Nov 2019 Engler, D.R., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM symposium on Operating systems principles (SOSP 2003), pp. 237–252 (2003) JooyoungSeoBCYangSA profiling method by PCB hooking and its application for memory fault detection in embedded system operational testInf. Softw. Technol.201153110611910.1016/j.infsof.2010.09.003 JoshiPParkC-SSenKNaikMA randomized dynamic program analysis technique for detecting real deadlocksACM Sigplan Not.200944611012010.1145/1543135.1542489ACM IEEE Std 610.12-1990, IEEE Standard Glossary of Software Engineering Terminology Jula, H., Tralamazza, D., Zamfir, C., Candea, G.: Deadlock immunity: enabling systems to defend against deadlocks. In: Proceedings of the 8th USENIX conference on Operating systems design and implementation, pp. 295–308. USENIX Association (2008) HaojieFWangZChenXFanXA systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniquesSoftw. Qual. J.201826385588910.1007/s11219-017-9385-3 DRD, A Thread Error Detector. http://valgrind.org/docs/manual/drd-manual.html. Accessed 13 Nov 2019 Choudhary, A., Lu, S., Pradel, M.: Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. In: Proceedings of the 39th International Conference on Software Engineering. IEEE Press, pp. 266–277 (2017) Kusano, M., Wang, C.: CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, pp. 722–725. IEEE Press (2013) Sen, A.: Mutation operators for concurrent SystemC designs. In: 2009 10th International Workshop on Microprocessor Test and Verification, pp. 27–31. IEEE (2009) Bensalem, S., Fernandez, J.-C., Havelund, K., Mounier, L.: Confirmation of deadlock potentials detected by runtime analysis. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, pp. 41–50. ACM (2006) ParkJChoiBAnalysis on dynamic software defects for increasing weapon system reliabilityKIPS Trans. Softw. Data Eng.20187724925810.3745/KTSDE.2018.7.7.249 Zhu, Y., Li, Y., Xue, J., Tan, T., Shi, J., Shen, Y., Ma, C.: What is system hang and how to handle it. In: Proceedings of the 23rd International Symposium on Software Reliability Engineering, pp. 27–30 (2012). https://doi.org/10.1109/ISSRE.2012.12 DeLozier, C., Eizenberg, A., Lucia, B., Devietti, J.: SOFRITAS: serializable ordering-free regions for increasing thread atomicity scalably. In: Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 286–300. ACM (2018) Bensalem S, Havelund K:. Scalable deadlock analysis of multithreaded programs. In: Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference. Springer (2005) OlszewskiMAnselJAmarasingheSKendo: efficient deterministic multithreading in softwareACM Sigplan Not.20094439710810.1145/1508284.1508256 Mozilla-NSPR, Netscape Portable Runtime. https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSPR. Accessed 13 Nov 2019 Helgrind: A Thread Error Detector. http://valgrind.org/docs/manual/hg-manual.html. Accessed 13 Nov 2019 Patent: System and method for preventing deadlock in richly-connected multi-processor computer system using dynamic assignment of virtual channels, US 7,773,618 B2, Aug, 10 (2010) BRL-CAD, BRL-CAD:Open Source Solid Modeling. https://brlcad.org. Accessed 13 Nov 2019 odroid-XU4, Odroid. https://www.hardkernel.com. Accessed 13 Nov 2019 Zhou, J., Silvestro, S., Liu, H., Cai, Y., Liu, T.: NDEAD: detecting and preventing deadlocks in production software. In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, pp. 729–740. IEEE Press (2017) Tan, L., Zhou, Y., Padioleau, Y.: aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. In: Proceedings of the 33rd international conference on software engineering. ACM (2011) CWE, Common Weakness Enumeration. https://cwe.mitre.org. Accessed 13 Nov 2019 LevesonNGTurnerCSAn investigation of the Therac-25 accidentsComputer1993267184110.1109/MC.1993.274940 Choi, Y., Kwon, J., Jeong, S., Park, H., Eom, Y.I.k.: Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress. In: Proceedings of the International Conference on Embedded Software, p. 2. IEEE Press (2018) Li, T., Ellis, C.S., Lebeck, A.R., Sorin, D.J.: Pulse: a dynamic deadlock detection mechanism using speculative execution. In: USENIX Annual Technical Conference, General Track, vol. 44 (2005) ECO_ConBench, ECO_ConBench. https://github.com/EwhaSelab/ECO_ConBench. Accessed 13 Nov 2019 ParkSLuSZhouYCTrigger: exposing atomicity violation bugs from their hiding placesACM SIGARCH Comput. Archit. News2009371253610.1145/2528521.1508249 ChandyKMMisraJHaasLMDistributed deadlock detectionACM Trans. Comput. Syst. (TOCS)19831214415610.1145/357360.357365 661_CR1 661_CR29 661_CR28 661_CR27 661_CR26 661_CR25 661_CR9 661_CR5 BC JooyoungSeo (661_CR23) 2011; 53 NG Leveson (661_CR4) 1993; 26 F Haojie (661_CR3) 2018; 26 661_CR13 661_CR12 661_CR11 661_CR33 661_CR10 661_CR32 661_CR31 661_CR30 661_CR19 661_CR18 661_CR17 661_CR16 M Olszewski (661_CR8) 2009; 44 661_CR15 661_CR14 KM Chandy (661_CR6) 1983; 1 P Joshi (661_CR20) 2009; 44 661_CR24 S Park (661_CR7) 2009; 37 661_CR22 661_CR21 J Park (661_CR2) 2018; 7 |
| References_xml | – reference: Engler, D.R., Ashcraft, K.: Racerx: effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM symposium on Operating systems principles (SOSP 2003), pp. 237–252 (2003) – reference: Tan, L., Zhou, Y., Padioleau, Y.: aComment: mining annotations from comments and code to detect interrupt related concurrency bugs. In: Proceedings of the 33rd international conference on software engineering. ACM (2011) – reference: Gao, J., Yang, X., Jiang, Y., Liu, H., Ying, W., Zhang, X.: Jbench: a dataset of data races for concurrency testing. In: Proceedings of the 15th International Conference on Mining Software Repositories (MSR ’18). ACM, New York, NY, USA, pp. 6–9 (2018). https://doi.org/10.1145/3196398.3196451 – reference: Bensalem, S., Fernandez, J.-C., Havelund, K., Mounier, L.: Confirmation of deadlock potentials detected by runtime analysis. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, pp. 41–50. ACM (2006) – reference: ParkJChoiBAnalysis on dynamic software defects for increasing weapon system reliabilityKIPS Trans. Softw. Data Eng.20187724925810.3745/KTSDE.2018.7.7.249 – reference: Kusano, M., Wang, C.: CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, pp. 722–725. IEEE Press (2013) – reference: IEEE Std 610.12-1990, IEEE Standard Glossary of Software Engineering Terminology – reference: LevesonNGTurnerCSAn investigation of the Therac-25 accidentsComputer1993267184110.1109/MC.1993.274940 – reference: SQLite3, SQLite3. http://sqlite3.org. Accessed 13 Nov 2019 – reference: OlszewskiMAnselJAmarasingheSKendo: efficient deterministic multithreading in softwareACM Sigplan Not.20094439710810.1145/1508284.1508256 – reference: HaojieFWangZChenXFanXA systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniquesSoftw. Qual. J.201826385588910.1007/s11219-017-9385-3 – reference: Sen, A.: Mutation operators for concurrent SystemC designs. In: 2009 10th International Workshop on Microprocessor Test and Verification, pp. 27–31. IEEE (2009) – reference: JooyoungSeoBCYangSA profiling method by PCB hooking and its application for memory fault detection in embedded system operational testInf. Softw. Technol.201153110611910.1016/j.infsof.2010.09.003 – reference: Jula, H., Tralamazza, D., Zamfir, C., Candea, G.: Deadlock immunity: enabling systems to defend against deadlocks. In: Proceedings of the 8th USENIX conference on Operating systems design and implementation, pp. 295–308. USENIX Association (2008) – reference: DRD, A Thread Error Detector. http://valgrind.org/docs/manual/drd-manual.html. Accessed 13 Nov 2019 – reference: Choudhary, A., Lu, S., Pradel, M.: Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. In: Proceedings of the 39th International Conference on Software Engineering. IEEE Press, pp. 266–277 (2017) – reference: JoshiPParkC-SSenKNaikMA randomized dynamic program analysis technique for detecting real deadlocksACM Sigplan Not.200944611012010.1145/1543135.1542489ACM – reference: Bensalem S, Havelund K:. Scalable deadlock analysis of multithreaded programs. In: Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 IBM Verification Conference. Springer (2005) – reference: Patent: System and method for preventing deadlock in richly-connected multi-processor computer system using dynamic assignment of virtual channels, US 7,773,618 B2, Aug, 10 (2010) – reference: Voung, J.W., Jhala, R., Lerner, S.: Relay: static race detection on millions of lines of code. In: 15th ACM SIGSOFT International Symposium on Foundations of software engineering (FSE 2007), pp. 205–214 (2007) – reference: Mozilla-NSPR, Netscape Portable Runtime. https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSPR. Accessed 13 Nov 2019 – reference: CWE, Common Weakness Enumeration. https://cwe.mitre.org. Accessed 13 Nov 2019 – reference: DeLozier, C., Eizenberg, A., Lucia, B., Devietti, J.: SOFRITAS: serializable ordering-free regions for increasing thread atomicity scalably. In: Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 286–300. ACM (2018) – reference: Helgrind: A Thread Error Detector. http://valgrind.org/docs/manual/hg-manual.html. Accessed 13 Nov 2019 – reference: Li, T., Ellis, C.S., Lebeck, A.R., Sorin, D.J.: Pulse: a dynamic deadlock detection mechanism using speculative execution. In: USENIX Annual Technical Conference, General Track, vol. 44 (2005) – reference: Zhou, J., Silvestro, S., Liu, H., Cai, Y., Liu, T.: NDEAD: detecting and preventing deadlocks in production software. In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, pp. 729–740. IEEE Press (2017) – reference: Zhu, Y., Li, Y., Xue, J., Tan, T., Shi, J., Shen, Y., Ma, C.: What is system hang and how to handle it. In: Proceedings of the 23rd International Symposium on Software Reliability Engineering, pp. 27–30 (2012). https://doi.org/10.1109/ISSRE.2012.12 – reference: BRL-CAD, BRL-CAD:Open Source Solid Modeling. https://brlcad.org. Accessed 13 Nov 2019 – reference: odroid-XU4, Odroid. https://www.hardkernel.com. Accessed 13 Nov 2019 – reference: ECO_ConBench, ECO_ConBench. https://github.com/EwhaSelab/ECO_ConBench. Accessed 13 Nov 2019 – reference: ChandyKMMisraJHaasLMDistributed deadlock detectionACM Trans. Comput. Syst. (TOCS)19831214415610.1145/357360.357365 – reference: ParkSLuSZhouYCTrigger: exposing atomicity violation bugs from their hiding placesACM SIGARCH Comput. Archit. News2009371253610.1145/2528521.1508249 – reference: Choi, Y., Kwon, J., Jeong, S., Park, H., Eom, Y.I.k.: Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress. In: Proceedings of the International Conference on Embedded Software, p. 2. IEEE Press (2018) – volume: 53 start-page: 106 issue: 1 year: 2011 ident: 661_CR23 publication-title: Inf. Softw. Technol. doi: 10.1016/j.infsof.2010.09.003 – volume: 37 start-page: 25 issue: 1 year: 2009 ident: 661_CR7 publication-title: ACM SIGARCH Comput. Archit. News doi: 10.1145/2528521.1508249 – ident: 661_CR19 doi: 10.1145/1147403.1147412 – ident: 661_CR21 doi: 10.1145/3296957.3173192 – ident: 661_CR17 – ident: 661_CR15 – ident: 661_CR13 – ident: 661_CR31 doi: 10.1109/ASE.2013.6693142 – ident: 661_CR1 doi: 10.1145/3196398.3196451 – ident: 661_CR14 doi: 10.1109/EMSOFT.2018.8537214 – ident: 661_CR29 – ident: 661_CR30 – ident: 661_CR32 doi: 10.1109/MTV.2009.8 – ident: 661_CR9 doi: 10.1145/1287624.1287654 – ident: 661_CR25 – ident: 661_CR27 – volume: 44 start-page: 97 issue: 3 year: 2009 ident: 661_CR8 publication-title: ACM Sigplan Not. doi: 10.1145/1508284.1508256 – volume: 7 start-page: 249 issue: 7 year: 2018 ident: 661_CR2 publication-title: KIPS Trans. Softw. Data Eng. doi: 10.3745/KTSDE.2018.7.7.249 – volume: 1 start-page: 144 issue: 2 year: 1983 ident: 661_CR6 publication-title: ACM Trans. Comput. Syst. (TOCS) doi: 10.1145/357360.357365 – ident: 661_CR10 doi: 10.1145/1165389.945468 – ident: 661_CR16 – ident: 661_CR22 – ident: 661_CR5 doi: 10.1109/ISSRE.2012.12 – ident: 661_CR12 doi: 10.1109/ICSE.2017.32 – ident: 661_CR28 – volume: 26 start-page: 18 issue: 7 year: 1993 ident: 661_CR4 publication-title: Computer doi: 10.1109/MC.1993.274940 – volume: 44 start-page: 110 issue: 6 year: 2009 ident: 661_CR20 publication-title: ACM Sigplan Not. doi: 10.1145/1543135.1542489 – ident: 661_CR33 – ident: 661_CR24 – volume: 26 start-page: 855 issue: 3 year: 2018 ident: 661_CR3 publication-title: Softw. Qual. J. doi: 10.1007/s11219-017-9385-3 – ident: 661_CR26 – ident: 661_CR18 doi: 10.1109/ASE.2017.8115684 – ident: 661_CR11 doi: 10.1145/1985793.1985796 |
| SSID | ssj0009788 |
| Score | 2.259548 |
| Snippet | In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1032 |
| SubjectTerms | Computer Science Concurrency Processor Architectures Software Software Engineering/Programming and Operating Systems Theory of Computation Use statistics Violations Weapon systems |
| SummonAdditionalLinks | – databaseName: Springer LINK dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3PS8MwFA46PXhx_sTplBy8abBtkqY96tzw4hB_7laSNJGBdGPtBP97k7S1U1TQY2kaynt5fV-a974PgGNPi4BZylkdKIkIlhESnGukPSapIqlBGMKJTbDhMBqN4puqKSyvq93rI0n3pV5odmOhLZi1ndCh_WuyDFZMuousYMPt3WNDtcuc2qQJH4oYoVHVKvP9HJ_TUYMxvxyLumwzaP_vPTfAeoUu4Xm5HDbBksq2QLtWboBVIG-Dp8tSiB7WnCTw2ilJQwNhYW-SScfaJN_gxfw5h-MMuj5dNC27Cs7Kq8IsA57C_kKr3A54GPTve1eoklhA0sRegXzGsC8N7klZqFOmPY2VrVvjBKtUmf2Z2e3QSEVK-kKHSmKPCyxiT8XcS4WH8S5oZZNM7QEYMKqogQupwSREEMK9UIrAJ5xoZXCI6gC_tnQiK_5xK4PxkjTMydZyibFc4iyX4A44-XhmWrJv_Dq6WzswqSIxT0z6pTGNScA64LR2WHP759n2_zb8AKwF1ueu0qULWsVsrg7BqnwtxvnsyK3Qd__E3wM priority: 102 providerName: Springer Nature |
| Title | Dynamic Analysis Method for Concurrency Bugs in Multi-process/Multi-thread Environments |
| URI | https://link.springer.com/article/10.1007/s10766-020-00661-3 https://www.proquest.com/docview/2845959427 |
| Volume | 48 |
| WOSCitedRecordID | wos000535153800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: Springer Nature - Connect here FIRST to enable access customDbUrl: eissn: 1573-7640 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009788 issn: 0885-7458 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PT9swFH6CwoELHQNEgVU-7LZZOLEdJyc0uiKkia5i_BqXKHbsqdKUFlqQ-O-xHYcA0rjsYslKYkV579lf7Pe-D-AzMTIWjnLWxFphRlWKZVEYbIhQXLPSIgzpxSbEaJReX2fjsOE2D2mVzZzoJ-pyqtwe-YGdRnnGMxaLw9ktdqpR7nQ1SGgsw4pDNi6l75QMWtJd4XUnbSBxLBhPQ9FMKJ0TiUu_dXXViduDeb0wtWjzzQGpX3eOu__7xh9gPSBO9K12kQ1Y0tVH6DZqDigE9yZcfa_F6VHDU4JOvbo0srAWDaaV8kxO6hEd3f-Zo0mFfO0untWVBgd1b2FdoyjR8EX53BZcHA_PByc4yC5gZeNxgSMhaKQsFipFYkphiKHa5bIVjOpS2382-wfEU51qFUmTaEVJIanMiM4KUkpC6TZ0qmmldwDFgmtuIURpcQqTjBUkUTKOWMGMtthE9yBqvnmuAie5k8b4m7dsys5OubVT7u2U0x58eX5mVjNyvHv3fmOcPETnPG8t04OvjXnby_8ebff90fZgLXYe5bNd9qGzuLvXn2BVPSwm87s-LIur331YORqOxme290PgvvdX18Y_bTvmN7Y9-3X5BA9375c |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB5EBb34FtdnDnrSYB9p0x5E1HVR9oEHRW81SRNZ0O7qrsr-KX-jSdpaFfTmwWNpG2jzzcyXZGY-gG1HcY-alrPKkwITX0SYM6awcqgIJEk1w-BWbIJ2OtHNTXwxBm9lLYxJqyx9onXUaU-YPfJ97UaDOIiJRw_7j9ioRpnT1VJCI4dFU45e9ZJtcHBe1_O743mN08uTM1yoCmCh4TbELqW-K3SoT2moUqoc5UuTqsWIL1OplySa4AeRjKRwuQql8B3GfR47MmZOyh2zAapd_gTxI2rsqklx1eSXWp1LbbgBpiSIiiKdolSPhibd19Rxh2bP52sgrNjttwNZG-cas__tD83BTMGo0VFuAvMwJrMFmC3VKlDhvBbhuj7K2ENXoLIPC2pb9WykaTs66WXCdqoSI3T8fDdA3QzZ2mTczysp9vOroYY-S9Hpp_LAJbj6k89bhvGsl8kVQB4NZKApUqp5GOGEMCcU3HMJI0pq7iVr4JZznIii57qR_rhPqm7RBheJxkVicZH4Ndj9eKefdxz59en1EgxJ4X0GSYWEGuyVcKpu_zza6u-jbcHU2WW7lbTOO801mPYMmm1mzzqMD5-e5QZMipdhd_C0ae0Cwe1fw-wd5FFGEA |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1NT9wwEB0hqKpeutAPsYWCD-2ptciHHScHhArLqghY7aFVV72ktmOjlWh2y-622r_Gr2PsJKSt1L1x6DFKYinxm_Ebe2YewJvAqki4lrM2MpqyWKdUSWmpDYTmhhXIMJQXmxCDQToaZcM1uG1qYVxaZeMTvaMuJtrtkR-gG-UZzxiG6rZOixj2-kfTH9QpSLmT1kZOo4LIuVn-wvBtdnjWw7l-G0X9008nH2mtMEA1Qm9OQyHiUOOyX4jEFsIGNjYubUuy2BQGwxMk-zw1qdGhsonRcSBVrLLAZDIoVOA2Q9H9bwiMMV064ZB_bRv-Cq95iUbMqWA8rQt26rI9kbjUX1fTnbj9nz8XxZbp_nU469e8fud__lub8LRm2uRDZRpbsGbKZ9BpVCxI7dSew5fespTfx5o0_VnIpVfVJkjnycmk1L6DlV6S48XVjIxL4muW6bSqsDioruZoErIgp7-VDb6Azw_yeS9hvZyUZhtIJLjhSJ0K5GdMMSaDRKsoZJJZg5zMdCFs5jvXdS92JwlynbddpB1GcsRI7jGSx114d__OtOpEsvLp3QYYee2VZnmLii68b6DV3v73aK9Wj7YPjxFd-cXZ4HwHnkQO2D7hZxfW5zcL8xoe6Z_z8exmz5sIgW8PjbI70aRPNA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Dynamic+Analysis+Method+for+Concurrency+Bugs+in+Multi-process%2FMulti-thread+Environments&rft.jtitle=International+journal+of+parallel+programming&rft.au=Park%2C+Jihyun&rft.au=Choi%2C+Byoungju&rft.au=Jang%2C+Seungyeun&rft.date=2020-12-01&rft.issn=0885-7458&rft.eissn=1573-7640&rft.volume=48&rft.issue=6&rft.spage=1032&rft.epage=1060&rft_id=info:doi/10.1007%2Fs10766-020-00661-3&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10766_020_00661_3 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0885-7458&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0885-7458&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0885-7458&client=summon |