Paper Info
Title
A Certified Thread Library for Multithreaded User Programs
Abstract
Ensuring the safety of multithreaded software is a task both important and challenging. Currently, most ap- proaches focus on the safety of multithreaded programs rather than the runtime based on which those concurrent programs run. In order to fundamentally solve this problem, a method of ensuring the safety of the runtime should be de- veloped. Such a runtime could be organized as a thread library typically. This paper presents the development and certification of a simple but realistic thread library. The thread library provides common multi-threading features such as dynamic thread creation, termination and joining as well. This li- brary also carries machine-checkable proof which guaran- tees the library does not violate the safety policies. This paper also presents an approach to link the library to exist- ing certified multithreaded user programs to form an inte- grated foundational proof-carrying code (FPCC) package. Comparing with the uncertified libraries, our work makes multithreaded applications much more reliable.
Year
DOI
Venue
2007
10.1109/TASE.2007.1
TASE
Keywords
Field
DocType
common multi-threading,certified multithreaded user program,certified thread library,multithreaded user programs,concurrent programs,safety policy,multithreaded software,multi-threading,machine-checkable proof,thread library,multithreaded program,multithreaded software safety,dynamic thread creation,uncertified library,software libraries,foundational proof-carrying code,multithreaded application,realistic thread library,certification,logic,multi threading,application software,information retrieval,computer science
Multithreading,Programming language,Software engineering,Computer science,Thread (computing),Software,Certification
Conference
ISBN
Citations 
PageRank 
978-0-7695-2856-4
2
0.41
References 
Authors
13
4
Name
Order
Citations
PageRank
Yu Guo1735.18
Xinyu Jiang288.27
Yiyun Chen36714.45
Chunxiao Lin4523.78