Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{584786,
author = {Bouajjani, Ahmed and Esparza, Javier and Schwoon, Stefan and Strejček, Jan},
address = {Berlin, Heidelberg},
booktitle = {FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference},
keywords = {bounded reachability; symbolic reachability; asynchronous dynamic pushdown network},
language = {eng},
location = {Berlin, Heidelberg},
isbn = {3-540-30495-9},
pages = {348-359},
publisher = {Springer-Verlag},
title = {Reachability Analysis of Multithreaded Software with Asynchronous Communication},
year = {2005}
}
TY - JOUR
ID - 584786
AU - Bouajjani, Ahmed - Esparza, Javier - Schwoon, Stefan - Strejček, Jan
PY - 2005
TI - Reachability Analysis of Multithreaded Software with Asynchronous Communication
PB - Springer-Verlag
CY - Berlin, Heidelberg
SN - 3540304959
KW - bounded reachability
KW - symbolic reachability
KW - asynchronous dynamic pushdown network
N2 - We introduce Asynchronous Dynamic Pushdown Networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CPS (concurrent pushdown systems) [QR05] and DPN (dynamic pushdown networks) [BMOT05]. We show that ADPN exhibit several advantages as a program model. Since the reachability problem for ADPN is undecidable even in the case without dynamic creation of processes, we address the bounded reachability problem [QR05], which considers only those computation sequences where the (index of the) thread accessing the shared memory is changed at most a fixed given number of times. We provide efficient algorithms for both forward and backward reachability analysis. The algorithms are based on automata techniques for symbolic representation of sets of configurations.
ER -
BOUAJJANI, Ahmed, Javier ESPARZA, Stefan SCHWOON a Jan STREJČEK. Reachability Analysis of Multithreaded Software with Asynchronous Communication. In \textit{FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference}. Berlin, Heidelberg: Springer-Verlag, 2005, s.~348-359. ISBN~3-540-30495-9.
|
