9781332088386 - Detecting Nondeterminism in Shared Memory Parallel Programs: Technical Report 526 (Classic Reprint) de Anne Dinning (3 résultats)

PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.

PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000.

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.