Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/68770
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pereira, João Carlos | por |
dc.contributor.author | Machado, Nuno | por |
dc.contributor.author | Pinto, Jorge Sousa | por |
dc.date.accessioned | 2020-12-30T12:13:50Z | - |
dc.date.available | 2022-01-01T07:00:59Z | - |
dc.date.issued | 2020 | - |
dc.identifier.citation | Pereira J.C., Machado N., Sousa Pinto J. (2020) Testing for Race Conditions in Distributed Systems via SMT Solving. In: Ahrendt W., Wehrheim H. (eds) Tests and Proofs. TAP 2020. Lecture Notes in Computer Science, vol 12165. Springer, Cham. https://doi.org/10.1007/978-3-030-50995-8_7 | por |
dc.identifier.isbn | 978-3-030-50994-1 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/68770 | - |
dc.description.abstract | Data races, a condition where two memory accesses to the same memory location occur concurrently, have been shown to be a major source of concurrency bugs in distributed systems. Unfortunately, data races are often triggered by non-deterministic event orderings that are hard to detect when testing complex distributed systems. In this paper, we propose Spider, an automated tool for identifying data races in distributed system traces. Spider encodes the causal relations between the events in the trace as a symbolic constraint model, which is then fed into an SMT solver to check for the presence of conflicting concurrent accesses. To reduce the constraint solving time, Spider employs a pruning technique aimed at removing redundant portions of the trace. Our experiments with multiple benchmarks show that Spider is effective in detecting data races in distributed executions in a practical amount of time, providing evidence of its usefulness as a testing tool. | por |
dc.description.sponsorship | This work is financed by the ERDF - European Regional Development Fund through the North Portugal Regional Operational Programme - NORTE2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project NORTE-01-0145-FEDER-028550-PTDC/EEI-COM/28550/2017. | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.relation | info:eu-repo/grantAgreement/FCT/9471 - RIDTI/PTDC%2FEEI-COM%2F28550%2F2017/PT | por |
dc.rights | openAccess | por |
dc.title | Testing for race conditions in distributed systems via smt solving | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007%2F978-3-030-50995-8_7 | por |
oaire.citationStartPage | 122 | por |
oaire.citationEndPage | 140 | por |
oaire.citationVolume | 12165 | por |
dc.date.updated | 2020-12-29T18:00:07Z | - |
dc.identifier.doi | 10.1007/978-3-030-50995-8_7 | por |
dc.identifier.eisbn | 978-3-030-50995-8 | - |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.wos | Science & Technology | por |
sdum.export.identifier | 7570 | - |
sdum.journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | por |
sdum.conferencePublication | TESTS AND PROOFS (TAP 2020) | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
P-00S-B2E.pdf | Accepted Manuscript | 764,43 kB | Adobe PDF | Ver/Abrir |