Detail publikace

Pointer Race Freedom

HAZIZA Frédéric, HOLÍK Lukáš, MEYER Roland a WOLF Sebastian. Pointer Race Freedom. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science, roč. 9583. Berlin: Springer Verlag, 2016, s. 393-412. ISBN 978-3-662-49121-8. Dostupné z: http://link.springer.com/chapter/10.1007%2F978-3-662-49122-5_19
Název česky
Absence ukazatelových závodů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Haziza Frédéric (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Meyer Roland (UNIKL)
Wolf Sebastian (UNIKL)
URL
Klíčová slova

ukazatelový závod
svoboda od ukazatelových závodů
modulární verifikace

Abstrakt

Navrhujem pojem ukazatelový závod, analogický známému pojmu datový závod, a studujeme jeho semantické důsledky. Ukazujeme, jak je jej možné použít k zefetktivnění verifikace paralelních programů rozdělením verifikačního úsilí na 1) ověření, že program neobsahuje ukazatelové závody, a 2) ověření původní vlastnosti s pomocí předpokladu z bodu 1.

Anotace

Navrhujem pojem ukazatelový závod, analogický známému pojmu datový závod, a studujeme jeho semantické důsledky. Ukazujeme, jak je jej možné použít k zefetktivnění verifikace paralelních programů rozdělením verifikačního úsilí na 1) ověření, že program neobsahuje ukazatelové závody, a 2) ověření původní vlastnosti s pomocí předpokladu z bodu 1.

Rok
2016
Strany
393-412
Sborník
Verification, Model Checking, and Abstract Interpretation (VMCAI)
Řada
Lecture Notes in Computer Science
Svazek
9583
Konference
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)/Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg, Florida, US
ISBN
978-3-662-49121-8
Vydavatel
Springer Verlag
Místo
Berlin, DE
DOI
10.1007/978-3-662-49122-5_19
UT WoS
000375148800019
EID Scopus
2-s2.0-84955241220
BibTeX 
@INPROCEEDINGS{FITPUB11065,
   author = "Fr\'{e}d\'{e}ric Haziza and Luk\'{a}\v{s} Hol\'{i}k and Roland Meyer and Sebastian Wolf",
   title = "Pointer Race Freedom",
   pages = "393--412",
   booktitle = "Verification, Model Checking, and Abstract Interpretation (VMCAI)",
   series = "Lecture Notes in Computer Science",
   volume = 9583,
   year = 2016,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-49121-8",
   doi = "10.1007/978-3-662-49122-5\_19",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11065"
}
Nahoru