HAFT: Hardware-assisted fault tolerance

Dmitrii Kuvaiskii; Rasha Faqeh; Pramod Bhatotia; Pascal Felber; Christof Fetzer

doi:10.1145/2901318.2901339

HAFT: Hardware-assisted fault tolerance

Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

48 Scopus citations

Abstract

Transient hardware faults during the execution of a program can cause data corruptions. We present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to protect unmodified multithreaded applications against such corruptions. HAFT utilizes instruction-level redundancy for fault detection and hardware transactional memory for fault recovery. We evaluated HAFT with Phoenix and PARSEC benchmarks. The observed normalized runtime is 2x, with 98.9% of the injected data corruptions being detected and 91.2% being corrected. To demonstrate the effectiveness of HAFT, we applied it to real-world case studies including Memcached, Apache, and SQLite.

Original language	English
Title of host publication	Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016
Publisher	Association for Computing Machinery, Inc
ISBN (Electronic)	9781450342407
DOIs	https://doi.org/10.1145/2901318.2901339
State	Published - 18 Apr 2016
Externally published	Yes
Event	11th European Conference on Computer Systems, EuroSys 2016 - London, United Kingdom Duration: 18 Apr 2016 → 21 Apr 2016

Publication series

Name	Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016

Conference

Conference	11th European Conference on Computer Systems, EuroSys 2016
Country/Territory	United Kingdom
City	London
Period	18/04/16 → 21/04/16

Access to Document

10.1145/2901318.2901339

Cite this

Kuvaiskii, D., Faqeh, R., Bhatotia, P., Felber, P., & Fetzer, C. (2016). HAFT: Hardware-assisted fault tolerance. In Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016 Article 2901339 (Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016). Association for Computing Machinery, Inc. https://doi.org/10.1145/2901318.2901339

@inproceedings{0f5bb551e9bf484ab2fbe6f72c3aaafd,

title = "HAFT: Hardware-assisted fault tolerance",

abstract = "Transient hardware faults during the execution of a program can cause data corruptions. We present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to protect unmodified multithreaded applications against such corruptions. HAFT utilizes instruction-level redundancy for fault detection and hardware transactional memory for fault recovery. We evaluated HAFT with Phoenix and PARSEC benchmarks. The observed normalized runtime is 2x, with 98.9% of the injected data corruptions being detected and 91.2% being corrected. To demonstrate the effectiveness of HAFT, we applied it to real-world case studies including Memcached, Apache, and SQLite.",

author = "Dmitrii Kuvaiskii and Rasha Faqeh and Pramod Bhatotia and Pascal Felber and Christof Fetzer",

note = "Publisher Copyright: Copyright {\textcopyright} 2016 held by owner/author(s).; 11th European Conference on Computer Systems, EuroSys 2016 ; Conference date: 18-04-2016 Through 21-04-2016",

year = "2016",

month = apr,

day = "18",

doi = "10.1145/2901318.2901339",

language = "English",

series = "Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016",

publisher = "Association for Computing Machinery, Inc",

booktitle = "Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016",

}

Kuvaiskii, D, Faqeh, R, Bhatotia, P, Felber, P & Fetzer, C 2016, HAFT: Hardware-assisted fault tolerance. in Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016., 2901339, Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016, Association for Computing Machinery, Inc, 11th European Conference on Computer Systems, EuroSys 2016, London, United Kingdom, 18/04/16. https://doi.org/10.1145/2901318.2901339

HAFT: Hardware-assisted fault tolerance. / Kuvaiskii, Dmitrii; Faqeh, Rasha; Bhatotia, Pramod et al.
Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016. Association for Computing Machinery, Inc, 2016. 2901339 (Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - HAFT

T2 - 11th European Conference on Computer Systems, EuroSys 2016

AU - Kuvaiskii, Dmitrii

AU - Faqeh, Rasha

AU - Bhatotia, Pramod

AU - Felber, Pascal

AU - Fetzer, Christof

PY - 2016/4/18

Y1 - 2016/4/18

N2 - Transient hardware faults during the execution of a program can cause data corruptions. We present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to protect unmodified multithreaded applications against such corruptions. HAFT utilizes instruction-level redundancy for fault detection and hardware transactional memory for fault recovery. We evaluated HAFT with Phoenix and PARSEC benchmarks. The observed normalized runtime is 2x, with 98.9% of the injected data corruptions being detected and 91.2% being corrected. To demonstrate the effectiveness of HAFT, we applied it to real-world case studies including Memcached, Apache, and SQLite.

AB - Transient hardware faults during the execution of a program can cause data corruptions. We present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to protect unmodified multithreaded applications against such corruptions. HAFT utilizes instruction-level redundancy for fault detection and hardware transactional memory for fault recovery. We evaluated HAFT with Phoenix and PARSEC benchmarks. The observed normalized runtime is 2x, with 98.9% of the injected data corruptions being detected and 91.2% being corrected. To demonstrate the effectiveness of HAFT, we applied it to real-world case studies including Memcached, Apache, and SQLite.

UR - http://www.scopus.com/inward/record.url?scp=84971515768&partnerID=8YFLogxK

U2 - 10.1145/2901318.2901339

DO - 10.1145/2901318.2901339

M3 - Conference contribution

AN - SCOPUS:84971515768

T3 - Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016

BT - Proceedings of the 11th European Conference on Computer Systems, EuroSys 2016

PB - Association for Computing Machinery, Inc

Y2 - 18 April 2016 through 21 April 2016

ER -

HAFT: Hardware-assisted fault tolerance

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this