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

Anne Dinning

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

Couverture souple

ISBN 10 : 1332088384 ISBN 13 : 9781332088386

Editeur : Forgotten Books, 2018

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

3 Neuf

De EUR 17,22

The digital edition of all books may be viewed on our website before purchase. Excerpt from Detecting Nondeterminism in Shared Memory Parallel Programs: Technical Report 526 (Classic Reprint)

About the Publisher

Forgotten Books publishes hundreds of thousands of rare and classic books.

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. This text has been digitally restored from a historical edition. Some errors may persist, however we consider it worth publishing due to the work's historical value.The digital edition of all books may be viewed on our website before purchase.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Forgotten Books
Date d'�dition: 2018
Langue: anglais
ISBN 10: 1332088384
ISBN 13: 9781332088386
Reliure: Broch�
Nombre de pages: 167
Coordonn�es du fabricant: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com
gpsr@podww.com

9 Culley Court
Orton Southgate
Peterborough
Cambridgeshire
PE2 6WA
Royaume-Uni
Personne responsable: non disponible

R�sultats de recherche pour Detecting Nondeterminism in Shared Memory Parallel...

Image d'archives

Detecting Nondeterminism in Shared Memory Parallel Programs (Classic Reprint)

Anne Dinning

Edit� par Forgotten Books, 2018

ISBN 10 : 1332088384 ISBN 13 : 9781332088386

Neuf Paperback

impression � la demande

Vendeur : Forgotten Books, London, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. N� de r�f. du vendeur 9781332088386_0

Contacter le vendeur