Multitrådad programmering är svårt och fel benägna. Det är lätt att göra ett misstag i synkronisering som producerar en data race, men det kan vara extremt svårt att hitta detta misstag under felsökning. Denna artikel beskriver ett nytt verktyg, som kallas Eraser, för att dynamiskt upptäcka dataraser i låsbaserade multitrådade program. Eraser använder binära omskrivning tekniker för att övervaka varje delad minnesreferens och verifiera att konsekvent låsbeteende observeras. Vi presenterar flera fallstudier, bland annat grundutbildning och en multitrådad sökmotor på webben, som visar hur effektivt detta tillvägagångssätt är.
Rasdetektering har också sett några dynamiska tekniker: Eraser REF utför en binär omskrivning för att övervaka varje delad minnesreferens, verifiera konsekvent låsbeteende.
Eraser: a dynamic data race detector for multithreaded programs
{'venue': 'TOCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}