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
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;
Conference_Titel :
High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE
Conference_Location :
Plano, TX
Print_ISBN :
978-0-7695-3043-7
DOI :
10.1109/HASE.2007.54
