Withdraw
Loading…
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
Bocchino, Robert L., Jr.; Adve, Vikram S.
Content Files

Loading…
Download Files
Loading…
Download Counts (All Files)
Loading…
Edit File
Loading…
Permalink
https://hdl.handle.net/2142/13708
Description
- Title
- Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks
- Author(s)
- Bocchino, Robert L., Jr.
- Adve, Vikram S.
- Issue Date
- 2009-09-08
- Keyword(s)
- Types, effects, frameworks, parallel programing, object-oriented programming
- Date of Ingest
- 2009-09-08T20:36:37Z
- Abstract
- Object-oriented frameworks can make parallel programming easier by providing generic parallel algorithms such as map, reduce, or scan, and letting the user fill in the details with sequential code. However, such frameworks can produce incorrect behavior if they are not carefully used, e.g., if a user-supplied function performs an unsynchronized access to a global variable. We develop novel techniques that a framework designer can use to prevent such errors. Building on a language (Deterministic Parallel Java, or DPJ) with an expressive region-based type and effect system, we show how to write a framework API that enables sound reasoning about the effects of unknown user-supplied methods. We also describe novel extensions to DPJ that enable generic types and effects --- essential for flexible frameworks --- while retaining soundness. Finally, we show how to make the reasoning modular: using any desired testing or verification technique, the framework author can guarantee noninterference subject to the API constraints; and the compiler can check the constraints to provide a noninterference guarantee for the entire user program. We evaluate our technique by using it to write two parallel frameworks and two realistic parallel algorithms.
- Type of Resource
- text
- Genre of Resource
- Technical Report
- Language
- en
- Permalink
- http://hdl.handle.net/2142/13708
- Sponsor(s)/Grant Number(s)
- NSF grant CCF 07-02724
- NSF grant CNS 07-20772
- Microsoft and Intel through UPCRC Illinois
Owning Collections
Manage Files
Loading…
Edit Collection Membership
Loading…
Edit Metadata
Loading…
Edit Properties
Loading…
Embargoes
Loading…