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

Dinning, Anne

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

Softcover

ISBN 10: 1332088384 ISBN 13: 9781332088386

Verlag: Forgotten Books, 2015

Alle Exemplare dieser ISBN-Ausgabe

0 Gebraucht

3 Neu

Von EUR 17,20

Excerpt from Detecting Nondeterminism in Shared Memory Parallel Programs: Technical Report 526

Build Parent Vector Using Modification Set Check Concurrent Using Iterate Vectors Task Assignment and Free Task Management Free Task Path Compression.

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com

This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Forgotten Books
Erscheinungsdatum: 2015
Sprache: Englisch
ISBN 10: 1332088384
ISBN 13: 9781332088386
Einband: Taschenbuch
Anzahl der Seiten: 168
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Suchergebnisse f�r Detecting Nondeterminism in Shared Memory Parallel...

Beispielbild f�r diese ISBN

Detecting Nondeterminism in Shared Memory Parallel Programs (Classic Reprint)

Anne Dinning

Verlag: Forgotten Books, 2015

ISBN 10: 1332088384 ISBN 13: 9781332088386

Neu Paperback

Print-on-Demand

Anbieter: Forgotten Books, London, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

Paperback. Zustand: 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. Bestandsnummer des Verk�ufers 9781332088386_0

Verk�ufer kontaktieren