RaceHunter Dynamic Data Race Detector
Guardado en:
| Publicado en: | Programming and Computer Software vol. 50, no. 6 (Dec 2024), p. 467 |
|---|---|
| Autor principal: | |
| Publicado: |
Springer Nature B.V.
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full Text Full Text - PDF |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3130547529 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 0361-7688 | ||
| 022 | |a 1608-3261 | ||
| 024 | 7 | |a 10.1134/S0361768824700336 |2 doi | |
| 035 | |a 3130547529 | ||
| 045 | 2 | |b d20241201 |b d20241231 | |
| 100 | 1 | |a Gerlits, E. A. |u Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia (GRID:grid.4886.2) (ISNI:0000 0001 2192 9124) | |
| 245 | 1 | |a RaceHunter Dynamic Data Race Detector | |
| 260 | |b Springer Nature B.V. |c Dec 2024 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a Data races represent a class of concurrency errors when two threads access a shared memory location without proper synchronization. Data races are hard to reveal and debug. This paper presents RaceHunter, a dynamic data race detection technique, which monitors executions of shared-memory concurrent programs, discovers pairs of conflicting memory accesses, and systematically checks them for data races. RaceHunter does not report false data races when the target software exploits nonstandard synchronization primitives or unknown synchronization protocols, and it can also detect data races missed by other approaches. Dynamic data race detectors can monitor continuous, e.g., real-life, program executions or they can verify relatively short program executions, e.g., organized by system tests. The latter is the primary use case scenario for RaceHunter. | |
| 653 | |a Software | ||
| 653 | |a Synchronism | ||
| 653 | |a Libraries | ||
| 653 | |a Concurrency | ||
| 653 | |a Target detection | ||
| 773 | 0 | |t Programming and Computer Software |g vol. 50, no. 6 (Dec 2024), p. 467 | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3130547529/abstract/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text |u https://www.proquest.com/docview/3130547529/fulltext/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3130547529/fulltextPDF/embedded/6A8EOT78XXH2IG52?source=fedsrch |