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

Anne Dinning

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

Softcover

ISBN 10: 1332088384 ISBN 13: 9781332088386

Publisher: Forgotten Books, 2015

View all copies of this ISBN edition

0 Used

3 New

From US$ 19.41

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.

"synopsis" may belong to another edition of this title.

Publisher: Forgotten Books
Publication date: 2015
Language: English
ISBN 10: 1332088384
ISBN 13: 9781332088386
Binding: Paperback
Number of pages: 168

Search results for Detecting Nondeterminism in Shared Memory Parallel...

Stock Image

Detecting Nondeterminism in Shared Memory Parallel Programs (Classic Reprint)

Anne Dinning

Published by Forgotten Books, 2015

ISBN 10: 1332088384 ISBN 13: 9781332088386

New Paperback

Print on Demand

Seller: Forgotten Books, London, United Kingdom

Seller rating 5 out of 5 stars

Paperback. Condition: New. Print on Demand. This book examines the problem of detecting a specific type of nondeterminism in shared memory parallel programs known as access anomalies. Access anomalies occur when an update to a shared variable X is concurrent with either a read of X or another update of X. The first part of the work considers dynamic detection of access anomalies. The author introduces a new technique called task recycling that detects access anomalies "on the fly" by monitoring the program execution. The second part of the book involves static detection of several types of nondeterminism that make dynamic anomaly detection inefficient. In particular, the notion of nondeterminism arising from critical section coordination is refined by distinguishing between three types of nondeterminism: parallel, sequential, and reference nondeterminism. The presence of these types of nondeterminism in a program impacts access anomaly detection in two significant ways: (i) how critical section coordination is modeled during anomaly detection, and (ii) the confidence level and complexity of guaranteeing that a program has no access anomalies. In particular, it is shown that access anomalies can be detected efficiently only if a program is parallel, sequential and reference deterministic. Heuristics are presented that make access anomaly detection tractable in the presence of other nondeterminism through a better classification and semantic understanding of a coordination protocol. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Seller Inventory # 9781332088386_0

Contact seller