Accession Number:
ADA043450
Title:
Nondeterminism and the Correctness of Parallel Programs.
Descriptive Note:
Interim rept.,
Corporate Author:
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Personal Author(s):
Report Date:
1977-05-01
Pagination or Media Count:
23.0
Abstract:
This paper presents the weakest preconditions which describe weak correctness, blocking, deadlock, and starvation for nondeterministic programs. A procedure for converting parallel programs to nondeterministic programs is described, and the correctness of various example parallel programs is treated in this manner. Among these are a busy-wait mutual exclusion scheme, and the problem of the Five Dining Philosophers.
Descriptors:
Subject Categories:
- Computer Programming and Software