DocumentCode
2401484
Title
An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable
Author
Cook, Stephen W. ; Stroustrup, Bjarne ; Pike, Scott M.
Author_Institution
Southwest Res. Inst., San Antonio
fYear
2007
fDate
14-16 Nov. 2007
Firstpage
405
Lastpage
406
Abstract
Despite its widespread use, concurrent programming is still plagued by reliability problems, such as race conditions and deadlock, not found in sequential programs. We present a concurrency framework to help developers avoid these error conditions, and make it possible to verify their absence through static analysis.
Keywords
concurrency control; program diagnostics; program verification; software reliability; concurrent programming; early-reply based framework; program verification; reliability; static analysis; Binary trees; Code standards; Concurrent computing; Functional programming; Object oriented modeling; Performance gain; Reliability engineering; System recovery; Systems engineering and theory; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE
Conference_Location
Plano, TX
ISSN
1530-2059
Print_ISBN
978-0-7695-3043-7
Type
conf
DOI
10.1109/HASE.2007.54
Filename
4404776
Link To Document