Modeling and Investigating a Race Condition Detection Algorithm for Multithread Computational Systems
The paper presents the results of the comparative analysis of various methods for detecting and localizing race conditions in multithread systems with shared memory. The paper highlights the advantages of the static method, one of the effective implementations of which is an algorithm based on the a...
Uložené v:
| Vydané v: | 2019 XXI International Conference Complex Systems: Control and Modeling Problems (CSCMP) s. 356 - 359 |
|---|---|
| Hlavní autori: | , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
01.09.2019
|
| Predmet: | |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The paper presents the results of the comparative analysis of various methods for detecting and localizing race conditions in multithread systems with shared memory. The paper highlights the advantages of the static method, one of the effective implementations of which is an algorithm based on the analysis of a program presented as a control flow graph or one of its varieties-a joint flow execution graph. To solve applied problems, we carried out a software implementation of this algorithm, which served as the basis for developing a test program package for automated detection of race conditions in multithread systems. The reliability and efficiency of the program package is confirmed by the results of computer simulation illustrated using the Peterson algorithm. |
|---|---|
| AbstractList | The paper presents the results of the comparative analysis of various methods for detecting and localizing race conditions in multithread systems with shared memory. The paper highlights the advantages of the static method, one of the effective implementations of which is an algorithm based on the analysis of a program presented as a control flow graph or one of its varieties-a joint flow execution graph. To solve applied problems, we carried out a software implementation of this algorithm, which served as the basis for developing a test program package for automated detection of race conditions in multithread systems. The reliability and efficiency of the program package is confirmed by the results of computer simulation illustrated using the Peterson algorithm. |
| Author | Zasov, Valery Barabanova, Polina |
| Author_xml | – sequence: 1 givenname: Polina surname: Barabanova fullname: Barabanova, Polina organization: Samara State Transport University,Samara,Russia – sequence: 2 givenname: Valery surname: Zasov fullname: Zasov, Valery organization: Samara State Transport University,Samara,Russia |
| BookMark | eNotj0lOwzAYhY0EC1o4AQt8gRRP8bCswlSpEYjCunLs38FS4lSJi9TbU0pXb9CnJ70ZukxDAoTuKVlQSsxDtanqd1EqyheMULPQRkldlhdoRhXTVCpCyDWCevDQxdRimzxepR-YcmxtPjX4wzrA1ZB8zHFI-BEyuJNbdu0wxvzd4zCMuN53-RhGsP5I97t9tn-U7fDmMGXopxt0FWw3we1Z5-jr-emzei3Wby-rarkuIqU6F6ClY9o4Yl0pmuCdUMLbhgYlecmZUTxQxrxudCOkN5YR8DpIJoJhEBzhc3T3vxsBYLsbY2_Hw_b8nP8CNYBV9Q |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/CSCMP45713.2019.8976855 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EISBN | 1728167000 9781728167008 |
| EndPage | 359 |
| ExternalDocumentID | 8976855 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL CBEJK RIE RIL |
| ID | FETCH-LOGICAL-i118t-e86c289c0ac54bfdc474dab1f763532973f122d8b8b46d9a20ed8f624f92efc03 |
| IEDL.DBID | RIE |
| IngestDate | Wed Aug 27 07:44:33 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i118t-e86c289c0ac54bfdc474dab1f763532973f122d8b8b46d9a20ed8f624f92efc03 |
| PageCount | 4 |
| ParticipantIDs | ieee_primary_8976855 |
| PublicationCentury | 2000 |
| PublicationDate | 2019-Sept. |
| PublicationDateYYYYMMDD | 2019-09-01 |
| PublicationDate_xml | – month: 09 year: 2019 text: 2019-Sept. |
| PublicationDecade | 2010 |
| PublicationTitle | 2019 XXI International Conference Complex Systems: Control and Modeling Problems (CSCMP) |
| PublicationTitleAbbrev | CSCMP |
| PublicationYear | 2019 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| Score | 1.7112973 |
| Snippet | The paper presents the results of the comparative analysis of various methods for detecting and localizing race conditions in multithread systems with shared... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 356 |
| SubjectTerms | algorithm Analytical models Computational modeling Computer simulation control flow graph Flow graphs flow synchronization multithread programming program package program reliability race conditions Software Software algorithms Software reliability Software testing Static analysis Synchronization testing |
| Title | Modeling and Investigating a Race Condition Detection Algorithm for Multithread Computational Systems |
| URI | https://ieeexplore.ieee.org/document/8976855 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEB3a4sGTSit-k4NH1-5HsskepVq8WIof0FvJJhMt6Fbq1t_vJLtUBS_elpBhIZMw-7LvzQM4F1msXOYIqSrEiAvvBqgKHtmEam3GCx1zHcwm5GSiZrNi2oGLjRYGEQP5DC_9Y_iXb5dm7a_KhopqpxKiC10p80ar1VK2krgYjh5Gd1MuCHV5xhZtgWb2L9uUUDXGO_973y4MvuV3bLopLHvQwaoP6F3LvHacEfZnP9pj-BF2rymGwm1gYLFrrAPFqmJXr89Lwv8vb4y-Tlkjt6X0acsaP4f2LpC1ncsH8DS-eRzdRq1HQrQgaFBHqHJDmMnE2gheOmu45FaXifON5jJvTOWSNLWqVCXPbaHTGK1yecpdkaIzcbYPvWpZ4QEwrQgrGTqUfq5VSNDVpWi5RJ5YKcUh9P0Szd-bNhjzdnWO_h4-hm2fhYaOdQK9erXGU9gyn_XiY3UWcvcFr6Cd5A |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEB1qFfSk0orf5uDRtfuRdLNHqZaKbSlaobeSTSa2oFupW3-_k92lKnjxtoQMC5mE2Zd9bx7ApYh8aSNLSFUielw4N0CZcM8EVGsjniifq8JsIh4O5WSSjGpwtdbCIGJBPsNr91j8yzcLvXJXZS1JtVMKsQGbzjmrUmtVpK3AT1qdp85gxAXhLsfZok1Qzv9lnFLUje7u_964B81vAR4brUvLPtQwawA63zKnHmeE_tmPBhluhD0qiqFwU3Cw2C3mBckqYzevL4vlPJ-9Mfo-ZaXglhKoDCsdHarbQFb1Lm_Cc_du3Ol5lUuCNydwkHso25pQk_aVFjy1RvOYG5UG1rWai5w1lQ3C0MhUprxtEhX6aKRth9wmIVrtRwdQzxYZHgJTktCSpmPp5hqJBF5tiIbHyAMTx-IIGm6Jpu9lI4xptTrHfw9fwHZvPOhP-_fDhxPYcRkpyVmnUM-XKzyDLf2Zzz-W50UevwAT9qEt |
| 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%3Abook&rft.genre=proceeding&rft.title=2019+XXI+International+Conference+Complex+Systems%3A+Control+and+Modeling+Problems+%28CSCMP%29&rft.atitle=Modeling+and+Investigating+a+Race+Condition+Detection+Algorithm+for+Multithread+Computational+Systems&rft.au=Barabanova%2C+Polina&rft.au=Zasov%2C+Valery&rft.date=2019-09-01&rft.pub=IEEE&rft.spage=356&rft.epage=359&rft_id=info:doi/10.1109%2FCSCMP45713.2019.8976855&rft.externalDocID=8976855 |