Accuracy Bugs-Reference-Cited by-同舟云学术

Accuracy Bugs

Published:2016-12-28 Issue:4 Volume:13 Page:1-24
ISSN:1544-3566
Container-title:ACM Transactions on Architecture and Code Optimization
language:en
Short-container-title:ACM Trans. Archit. Code Optim.

Author:

Akturk Ismail¹^ORCID,Akram Riad²,Islam Mohammad Majharul²,Muzahid Abdullah²,Karpuzcu Ulya R.¹

Affiliation:

1. University of Minnesota, Twin Cities, Minneapolis, MN

2. University of Texas at San Antonio, TX, USA

Abstract

Parallel programming introduces notoriously difficult bugs, usually referred to as concurrency bugs. This article investigates the potential for deviating from the conventional wisdom of writing concurrency bug--free, parallel programs. It explores the benefit of accepting buggy but approximately correct parallel programs by leveraging the inherent tolerance of emerging parallel applications to inaccuracy in computations. Under algorithmic noise tolerance, a new class of concurrency bugs, accuracy bugs, degrade the accuracy of computation (often at acceptable levels) rather than causing catastrophic termination. This study demonstrates how embracing accuracy bugs affects the application output quality and performance and analyzes the impact on execution semantics.

Funder

NSF

Publisher

Association for Computing Machinery (ACM)

Subject

Hardware and Architecture,Information Systems,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3017991

Reference38 articles.

1. The PARSEC benchmark suite

2. A type and effect system for deterministic parallel Java

3. Tom Britton Lisa Jeng Graham Carver Paul Cheak and Tomer Katzenellenbogen. 2013. Reversible Debugging Software. Available at https://www.jbs.cam.ac.uk/media/2013/. Tom Britton Lisa Jeng Graham Carver Paul Cheak and Tomer Katzenellenbogen. 2013. Reversible Debugging Software. Available at https://www.jbs.cam.ac.uk/media/2013/.

4. Proving acceptability properties of relaxed nondeterministic approximate programs

5. Sniper