CaltechAUTHORS
  A Caltech Library Service

A Deterministic Notation for Cooperating Processes

Chandy, K. Mani and Foster, Ian (1993) A Deterministic Notation for Cooperating Processes. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

1371Kb
[img]
Preview
PDF - Submitted Version
See Usage Policy.

1186Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31

Abstract

This paper proposes extensions of sequential programming languages for parallel programming that have the following features: 1. Dynamic Structures The process structure is dynamic: Processes and variables can be created and deleted. 2.Paradigm Integration The programming notation allows shared memory and message passing. 3.Determinism Demonstrating that a program is deterministic -- all executions with the same input produce the same output -- is straightforward. A program can be written so that the compiler can verify that the program is deterministic. Nondeterministic constructs can be introduced in a sequence of refinement steps to obtain greater efficiency if required. The ideas have been incorporated in an extension of Fortran, but the underlying sequential imperative language is not central to the ideas described here.


Item Type:Report or Paper (Technical Report)
Additional Information:© 1993 California Institute of Technology. August 12, 1993. Supported by NSF Center for Research in Parallel Computation Contract CCR-8809615 and DOE Contract W-31-109-Eng-38.
Group:Computer Science Technical Reports
Funders:
Funding AgencyGrant Number
NSFCCR-8809615
Department of Energy (DOE)W-31-109-ENG-38
DOI:10.7907/Z9B85664
Record Number:CaltechCSTR:1993.cs-tr-93-31
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-31
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26897
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:19 Jul 2001
Last Modified:25 May 2017 18:43

Repository Staff Only: item control page