prikaz prve stranice dokumenta Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja
Rad nije dostupan
diplomski rad
Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. urn:nbn:hr:168:879504
Marinković, Gabriel
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Marinković, G. (2024). Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:879504

Marinković, Gabriel. "Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:879504

Marinković, Gabriel. "Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja." Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2024. https://urn.nsk.hr/urn:nbn:hr:168:879504

Marinković, G. (2024). 'Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja', Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 26.11.2024., https://urn.nsk.hr/urn:nbn:hr:168:879504

Marinković G. Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2024 [pristupljeno 26.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:879504

G. Marinković, "Tehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja", Diplomski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2024. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:879504

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:879504
Podaci o radu
NaslovTehnike dinamičke analize za otkrivanje grešaka u strukturama podataka bez zaključavanja
Naslov (engleski)Dynamic analysis techniques for detecting errors in lock-free data structures
AutorGabriel Marinković
MentorAnte Đerek (mentor)
Član povjerenstvaAnte Đerek (predsjednik povjerenstva)
Član povjerenstvaKlemo Vladimir (član povjerenstva)
Član povjerenstvaAdrian Satja Kurdija (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2024-07-02, Hrvatska
Sažetak
Testiranje višedretvenih lock-free algoritama predstavlja veliki problem zbog nedeterminističke prirode greški koje mogu ovisiti o vremenskom rasporedu dretvi. U ovom radu predstavljamo sustav kojim je moguće sistematski izvršiti sve moguće vremenske rasporede dretvi koje mogu dovesti do greške. U slučaju pronađene greške moguće je pouzdano reproducirati raspored dretvi koji ju izaziva. Sustav koristi dinamičku instrumentaciju strojnog koda kako bi drastično smanjio broj rasporeda dretvi koje treba testirati. Najveća postignuća našeg sustava naspram postojećih rješenja su mogućnost testiranja postojećih algoritama bez potrebe za izmjenom izvornog koda i mogućnost testiranja visoko-optimiziranih izvršnih datoteka. Koristeći naš sustav evaluirali smo i provjerili ispravan rad nekoliko popularnih javno dostupnih biblioteka sa lock-free strukturama podataka.
Sažetak (engleski)
Automated testing of multithreaded lock-free algorithms poses a significant challenge due to the possibility of bugs whose appearance depends on the scheduling of threads. In this thesis we present a novel system for systematic testing of all possible thread scheduling orders which might impact the program’s final result. Discovered bugs can be reliably reproduced with the same thread schedule. The most significant improvement of our system compared to previous methods is the ability to test existing code without any modifications to its source, and the ability to test their highly optimized builds. We used our system to evaluate and check the correctness of several popular publicly available libraries of lock-free data structures.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:879504
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: diplomski
Akademski / stručni naziv: magistar/magistra inženjer/inženjerka računarstva (mag.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2024-10-12 21:27:12