@inproceedings{ac0fd3b45c9443e8bb79873818fad997,
title = "Poster: Functional faults",
abstract = "Hardware and software faults increasingly surface in today{\textquoteright}s computing environment and vast theoretical and practical research efforts are being devoted to overcoming the effects of malfunctionality in the computing process. Most research to date, however, has focused on how to discover and handle faulty data. We initiate a formal study of faulty functionality in a modern multicore shared-memory environment. We introduce a model of functional faults, and study avenues that allow tolerating functional faults while maintaining the correctness of the entire computation. We demonstrate the generality of this model by constructing a robust consensus protocol from functionally-faulty compare-and-swap objects. Additionally, We formally prove (tight) impossibility result for the same constructions.",
keywords = "Concurrent algorithms, Fault-tolerance, Hardware faults, Lower-bounds, Shared memory, Software faults",
author = "Gali Sheffi and Erez Petrank",
note = "Publisher Copyright: {\textcopyright} 2020 Copyright held by the owner/author(s).; 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2020 ; Conference date: 22-02-2020 Through 26-02-2020",
year = "2020",
month = feb,
day = "19",
doi = "https://doi.org/10.1145/3332466.3374539",
language = "الإنجليزيّة",
series = "Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP",
pages = "417--418",
booktitle = "PPoPP 2020 - Proceedings of the 2020 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming",
}