Type-safe multithreading in Cyclone

@misc{citeulike:139605, abstract = {We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system statically guarantees their absence by enforcing that thread-shared data is protected via locking and that threadlocal data does not escape the thread that creates it. The extensions interact smoothly with parametric polymorphism and region-based memory management. We present a formal abstract machine that models the...}, author = {Grossman, D.}, citeulike-article-id = {139605}, keywords = {concurrency, cyclone, types}, posted-at = {2005-03-25 06:28:54}, priority = {2}, title = {Type-safe multithreading in Cyclone}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8653}, year = {2003} }

TY - GEN ID - citeulike:139605 L3 - citeulike-article-id:139605 N2 - We extend Cyclone, a type-safe polymorphic language at the C level of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system statically guarantees their absence by enforcing that thread-shared data is protected via locking and that threadlocal data does not escape the thread that creates it. The extensions interact smoothly with parametric polymorphism and region-based memory management. We present a formal abstract machine that models the... TI - Type-safe multithreading in Cyclone KW - concurrency KW - cyclone KW - types AU - Grossman, D PY - 2003/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8653 ER -