Lightweight Specifications for Parallel Correctness

Abstract

With the spread of multicore processors, it is increasingly necessary for programmers to write parallel software. Yet writing correct parallel software with explicit multithreading remains a di cult undertaking. Though many tools exist to help test, debug, and verify parallel programs, such tools are often hindered by a lack of any specification from the programmer of the intended, correct parallel behavior of his or her software.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 05, 2012
Accession Number
ADA575478

Entities

People

  • Jacob S. Burnim

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Change Detection
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Detection
  • Java Programming Language
  • Language
  • Lists (Data Structures)
  • Molecular Dynamics
  • Multithreading
  • Operating Systems
  • Parallel Computing
  • Programming Languages
  • Reasoning
  • Theses

Fields of Study

  • Computer science
  • Engineering

Readers

  • Distributed Systems and Data Platform Development
  • Parallel and Distributed Computing.
  • Software Engineering.