Dissertation/Thesis Abstract

Deterministic Parallelization of Object-Oriented Code Through Out-of-Order Execution
by Jenista, James C., Ph.D., University of California, Irvine, 2012, 291; 3523925
Abstract (Summary)

Parallel programming is becoming more important as computer architectures offer more cores to harness. Reasoning about explicitly concurrent threads can be challenging, and concurrency bugs are costly to find and fix.

We present Out-of-Order Java: a parallel programming model that starts with a single-threaded expression of a program and can produce a parallel implementation that is guaranteed to have the same observable behavior. Such a parallel programming model prevents concurrency bugs and guarantees executions are repeatable.

A host of static and dynamic program analyses enable Out-of-Order Java to produce parallel implementations automatically. We present these analyses, most notably disjoint reachability analysis. Disjoint reachability analysis is a static heap analysis that extracts reachability properties between heap objects. We demonstrate how Out-of-Order Java can use disjoint reachability analysis results to obtain a parallel implementation for object-oriented code that previous systems have difficulty analyzing.

We have implemented Out-of-Order Java and evaluated it on several benchmarks. Our experimental results show Out-of-Order Java can extract much of the expected parallelism in our benchmark programs. Disjoint reachability analysis is a key component of Out-of-Order Java; we have also experimentally evaluated the impact of several analysis modes for disjoint reachability analysis.

We conclude Out-of-Order Java demonstrates the viability of parallel programming models with single-threaded semantics and minimal annotation and that guarantees deterministic execution without speculation.

Indexing (document details)
Advisor: Demsky, Brian
Commitee: Chou, Pai H., Domer, Rainer
School: University of California, Irvine
Department: Electrical and Computer Engineering
School Location: United States -- California
Source: DAI-B 74/01(E), Dissertation Abstracts International
Source Type: DISSERTATION
Subjects: Computer Engineering, Computer science
Keywords: Deterministic parallel programming, Java, Object-oriented codes, Out-of-order execution, Program analysis
Publication Number: 3523925
ISBN: 9781267575760
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest