Ownership Types for Safe Programming: Preventing Data Races and Deadlocks Export

@misc{citeulike:5800898, abstract = {This paper presents a new static type system for multi-threaded programs; well-typed programs in our system are guaranteed to be free of data races and deadlocks. Our type system allows programmers to partition the locks into a fixed number of equivalence classes and specify a partial order among the equivalence classes. The type checker then statically verifies that whenever a thread holds more than one lock, the thread acquires the locks in the descending order. Our system also allows...}, author = {Boyapati, Chandrasekhar and Lee, Robert and Rinard, Martin}, citeulike-article-id = {5800898}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.5802}, keywords = {compilers, concurrency, java, ownership-types, programming-language-design}, posted-at = {2009-09-18 02:58:50}, priority = {5}, title = {Ownership Types for Safe Programming: Preventing Data Races and Deadlocks}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.5802}, year = {2002} }

TY - ELEC ID - citeulike:5800898 L3 - citeulike-article-id:5800898 N2 - This paper presents a new static type system for multi-threaded programs; well-typed programs in our system are guaranteed to be free of data races and deadlocks. Our type system allows programmers to partition the locks into a fixed number of equivalence classes and specify a partial order among the equivalence classes. The type checker then statically verifies that whenever a thread holds more than one lock, the thread acquires the locks in the descending order. Our system also allows... TI - Ownership Types for Safe Programming: Preventing Data Races and Deadlocks KW - compilers KW - concurrency KW - java KW - ownership-types KW - programming-language-design AU - Boyapati, Chandrasekhar AU - Lee, Robert AU - Rinard, Martin PY - 2002/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.5802 ER -