D. Grossman. Type-safe multithreading in Cyclone. In Proceedings of the 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) (Correct)
....programs by allowing explicit memory management for objects shared between threads. It allows threads to communicate through objects in shared regions in addition to the heap. A shared region is deleted when all threads exit the region. However, programs in a system with only shared regions (e.g. [33]) will have memory leaks if two long lived threads communicate by creating objects in a shared region. This is because the objects will not be deleted until both threads exit the shared region. To solve this problem, we introduce the notion of subregions within a shared region. A subregion can be ....
....subtyping and method overriding. Cyclone [34] is a dialect of C with a region type system. Our work improves on these two systems by combining the benefits of ownership types and region types in a unified framework. An extension to Cyclone handles multithreaded programs and provides shared regions [33]. Our work improves on this by providing subregions in shared regions and portal fields in subregions, so that long lived threads can share objects without using the heap and without having memory leaks. Other systems for regions [29, 30] use runtime checks to ensure memory safety. These systems ....
D. Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) (Correct)
....programs by allowing explicit memory management for objects shared between threads. It allows threads to communicate through objects in shared regions in addition to the heap. A shared region is deleted when all threads exit the region. However, programs in a system with only shared regions (e.g. [33]) will have memory leaks if two long lived threads communicate by creating objects in a shared region. This is because the objects will not be deleted until both threads exit the shared region. To solve this problem, we introduce the notion of subregions within a shared region. A subregion can be ....
....subtyping and method overriding. Cyclone [34] is a dialect of C with a region type system. Our work improves on these two systems by combining the bene ts of ownership types and region types in a uni ed framework. An extension to Cyclone handles multithreaded programs and provides shared regions [33]. Our work improves on this by providing subregions in shared regions and portal elds in subregions, so that long lived threads can share objects without using the heap and without having memory leaks. Other systems for regions [29, 30] use runtime checks to ensure memory safety. These systems ....
D. Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
A Type System for Safe Region-Based Memory.. - Salcianu.. (2002) (Correct)
....by allowing explicit memory management for objects shared between threads. Our system allows threads to communicate through objects in shared regions in addition to the heap. A shared region is deleted when all threads exit the region. However, programs in a system with just shared regions (e.g. [27]) will have memory leaks if two long lived threads communicate by creating objects in a shared region. This is because the objects will not be deleted until both threads exit the shared region. To solve this problem, we introduce the notion of subregions within a shared region. A subregion can be ....
....that handles subtyping and method overriding. We improve on this by combining the benefits of ownership types and region types in a unified framework. Cyclone [28] is a dialect of C with a region type system. An extension to Cyclone handles multithreaded programs and provides shared regions [27]. Our work improves on this by providing subregions in shared regions and portal fields in subregions, so that long lived threads can share objects without using the heap and without having memory leaks. Other systems for regions [25, 26] use runtime checks to ensure memory safety. These systems ....
D. Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
A Type System for Coordinated Data Structures - Ringenburg, Grossman (2004) Self-citation (Grossman) (Correct)
No context found.
Dan Grossman. Type-safe multithreading in Cyclone. In ACM International Workshop on Types in Language Design and Implementation, pages 13--25, 2003.
Safe Programming at the C Level of Abstraction - Grossman (2003) Self-citation (Grossman) (Correct)
No context found.
Dan Grossman. Type-safe multithreading in Cyclone. In ACM International Workshop on Types in Language Design and Implementation, pages 13--25, New Orleans, LA, January 2003.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
D. Grossman. Type-safe multithreading in Cyclone. In Proceedings of the 2003.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
D. Grossman. Type-safe multithreading in cyclone. In Proceedings of the 2003.
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (3 citations) (Correct)
No context found.
D. Grossman. Type-safe multithreading in cyclone. In ACM Workshop on Types in Language Design and Implementation. ACM Press, 2003. 21
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Dan Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
No context found.
D. Grossman. Type-safe multithreading in Cyclone. In Proceedings of the ACM Workshop on Types in Language Design and Implementation, pages 13--25, 2003.
Transactions for Software Model Checking - Flanagan, Qadeer (2003) (Correct)
No context found.
D. Grossman. Type-safe multithreading in Cyclone. In TLDI 03: Types in Language Design and Implementation, pages 13--25. ACM Press, 2003.
A Type and Effect System for Atomicity - Flanagan, Qadeer (2003) (4 citations) (Correct)
No context found.
D. Grossman. Type-safe multithreading in Cyclone. In pages 13--25. ACM Press, 2003.
RacerX: Effective, Static Detection of Race Conditions and.. - Engler, Ashcraft (2003) (Correct)
No context found.
D. Grossman. Type-safe multithreading in cyclone. In Workshop on Types in Language Design and Implementation (TLDI), Jan. 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Dan Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Dan Grossman. Type-safe multithreading in Cyclone. In Workshop on Types in Language Design and Implementation (TLDI), January 2003.
RacerX: Effective, Static Detection of Race Conditions and.. - Engler, Ashcraft (Correct)
No context found.
D. Grossman. Type-safe multithreading in cyclone. In Workshop on Types in Language Design and Implementation (TLDI), Jan. 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC