Detecting Nondeterminism in Shared Memory Parallel Programs: Technical Report 526 (Classic Reprint) - Hardcover

Anne Dinning

Hardcover

ISBN 10: 0428987494 ISBN 13: 9780428987497

Publisher: Forgotten Books, 2022

Synopsis

Uncover how nondeterminism shows up in shared memory parallel programs and why it matters for correctness.

This book explains how parallel systems can behave differently when multiple threads access the same data, and why detecting those anomalies is essential for reliable software.

It introduces three families of nondeterminism—parallel, sequential, and reference nondeterminism—and shows how they influence anomaly detection. The work also describes how coordination patterns are modeled and how this affects the confidence and complexity of guaranteeing correct program behavior. Practical algorithms and heuristics are presented to keep detection tractable even when nondeterminism is present.

• Learn the concepts of nondeterminism that affect parallel programs.
• See how different coordination patterns impact anomaly detection.
• Explore task management ideas that support reliable online detection.
• Review empirical results and what they mean for real‑world shared memory systems.

Ideal for readers of parallel programming research and developers building debugging or verification tools for concurrent software.

Edition details

• Publisher: Forgotten Books
• Publication date: 2022
• Language: English
• ISBN 10: 0428987494
• ISBN 13: 9780428987497
• Binding: Hardcover
• Number of pages: 169