Automatically assigned DDC number: 004358

Manually assigned DDC number: 004358

Title: A Deterministic Notation for Cooperating Processes

Author:

Author:

Subject: K. Mani Chandy,Ian T. Foster A Deterministic Notation for Cooperating Processes

Description: 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. Keywords: parallel programming languages, determinism, functional programming, multicomputers, debugging Supported by NSF Center for Research in Parallel ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1994-02-06

Pubyear: 1993

Format: ps

Identifier: http://citeseer.ist.psu.edu/140094.html

Source: http://unix.hensa.ac.uk/netlib/fortran-m/reports/determinism.ps.gz

Language: en

Rights: unrestricted