{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:17:40Z","timestamp":1759637860622,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,4,18]],"date-time":"2016-04-18T00:00:00Z","timestamp":1460937600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,4,18]]},"DOI":"10.1145\/2901318.2901339","type":"proceedings-article","created":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T12:23:12Z","timestamp":1460463792000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["HAFT"],"prefix":"10.1145","author":[{"given":"Dmitrii","family":"Kuvaiskii","sequence":"first","affiliation":[{"name":"TU Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasha","family":"Faqeh","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pramod","family":"Bhatotia","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Felber","sequence":"additional","affiliation":[{"name":"University of Neuch\u00e2tel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/status.aws.amazon.com\/s3-20080720.html","author":"Amazon","year":"2015","unstructured":"Amazon S3 availability event. http:\/\/status.aws.amazon.com\/s3-20080720.html . Accessed : Oct , 2015 . Amazon S3 availability event. http:\/\/status.aws.amazon.com\/s3-20080720.html. Accessed: Oct, 2015."},{"key":"e_1_3_2_1_2_1","volume-title":"Accessed","author":"Apache","year":"2015","unstructured":"Apache HTTP server project. http:\/\/httpd.apache.org\/ . Accessed : Oct , 2015 . Apache HTTP server project. http:\/\/httpd.apache.org\/. Accessed: Oct, 2015."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=7768","author":"Us Data","year":"2015","unstructured":"Data corruption with Opteron CP Us and N Vidia chipsets. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=7768 . Accessed : Oct , 2015 . Data corruption with Opteron CPUs and NVidia chipsets. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=7768. Accessed: Oct, 2015."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/software.intel.com\/en-us\/articles\/intel-software-development-emulator","author":"Development Intel Software","year":"2015","unstructured":"Intel Software Development Emulator (Intel SDE). https:\/\/software.intel.com\/en-us\/articles\/intel-software-development-emulator . Accessed : Oct , 2015 . Intel Software Development Emulator (Intel SDE). https:\/\/software.intel.com\/en-us\/articles\/intel-software-development-emulator. Accessed: Oct, 2015."},{"volume-title":"Accessed","year":"2015","key":"e_1_3_2_1_5_1","unstructured":"LevelDB key-value storage library. https:\/\/github.com\/google\/leveldb . Accessed : Oct , 2015 . LevelDB key-value storage library. https:\/\/github.com\/google\/leveldb. Accessed: Oct, 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"Accessed","author":"LLVM","year":"2015","unstructured":"LLVM atomic instructions and concurrency guide. http:\/\/llvm.org\/docs\/Atomics.html . Accessed : Oct , 2015 . LLVM atomic instructions and concurrency guide. http:\/\/llvm.org\/docs\/Atomics.html. Accessed: Oct, 2015."},{"volume-title":"Accessed","year":"2015","key":"e_1_3_2_1_7_1","unstructured":"LogCabin distributed storage system. https:\/\/github.com\/logcabin\/logcabin . Accessed : Oct , 2015 . LogCabin distributed storage system. https:\/\/github.com\/logcabin\/logcabin. Accessed: Oct, 2015."},{"volume-title":"http:\/\/www.musl-libc.org\/","year":"2015","key":"e_1_3_2_1_8_1","unstructured":"musl libc. http:\/\/www.musl-libc.org\/ . Accessed : Oct , 2015 . musl libc. http:\/\/www.musl-libc.org\/. Accessed: Oct, 2015."},{"key":"e_1_3_2_1_9_1","volume-title":"Accessed","author":"New","year":"2015","unstructured":"New defective S3 load balancer corrupts relayed messages. https:\/\/forums.aws.amazon.com\/thread.jspa?threadID=22709 . Accessed : Oct , 2015 . New defective S3 load balancer corrupts relayed messages. https:\/\/forums.aws.amazon.com\/thread.jspa?threadID=22709. Accessed: Oct, 2015."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Conference on Innovative Data System Research (CIDR)","author":"Baker J.","year":"2011","unstructured":"J. Baker , C. Bond , J. C. Corbett , J. Furman , A. Khorlin , J. Larson , J.-M. Leon , Y. Li , A. Lloyd , and V. Yushprakh . Megastore: Providing scalable, highly available storage for interactive services . In Proceedings of the Conference on Innovative Data System Research (CIDR) , 2011 . J. Baker, C. Bond, J. C. Corbett, J. Furman, A. Khorlin, J. Larson, J.-M. Leon, Y. Li, A. Lloyd, and V. Yushprakh. Megastore: Providing scalable, highly available storage for interactive services. In Proceedings of the Conference on Innovative Data System Research (CIDR), 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2789770.2789812"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.70"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1859184.1859186"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation (MoBS)","author":"Bienia C.","year":"2009","unstructured":"C. Bienia and K. Li . PARSEC 2.0: A new benchmark suite for chip-multiprocessors . In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation (MoBS) , 2009 . C. Bienia and K. Li. PARSEC 2.0: A new benchmark suite for chip-multiprocessors. In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation (MoBS), 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1267308.1267332"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485922.2485942"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296824"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the Conference on USENIX Annual Technical Conference (USENIX-ATC)","author":"Correia M.","year":"2012","unstructured":"M. Correia , D. G. Ferro , F. P. Junqueira , and M. Serafini . Practical hardening of crash-tolerant systems . In Proceedings of the Conference on USENIX Annual Technical Conference (USENIX-ATC) , 2012 . M. Correia, D. G. Ferro, F. P. Junqueira, and M. Serafini. Practical hardening of crash-tolerant systems. In Proceedings of the Conference on USENIX Annual Technical Conference (USENIX-ATC), 2012."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815427"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656050"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736063"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958817"},{"issue":"124","key":"e_1_3_2_1_27_1","article-title":"Distributed caching with Memcached","volume":"2004","author":"Fitzpatrick B.","year":"2004","unstructured":"B. Fitzpatrick . Distributed caching with Memcached . Linux Journal , 2004 ( 124 ), Aug. 2004 . B. Fitzpatrick. Distributed caching with Memcached. Linux Journal, 2004(124), Aug. 2004.","journal-title":"Linux Journal"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325102"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592800"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732977.2732999"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2014.6962083"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_34_1","volume-title":"Proceedings of the Conference on USENIX Annual Technical Conference (USENIX ATC)","author":"Hunt P.","year":"2010","unstructured":"P. Hunt , M. Konar , F. P. Junqueira , and B. Reed . ZooKeeper: Wait-free coordination for internet-scale systems . In Proceedings of the Conference on USENIX Annual Technical Conference (USENIX ATC) , 2010 . P. Hunt, M. Konar, F. P. Junqueira, and B. Reed. ZooKeeper: Wait-free coordination for internet-scale systems. In Proceedings of the Conference on USENIX Annual Technical Conference (USENIX ATC), 2010."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243426"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168866"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Kapritsos M.","year":"2012","unstructured":"M. Kapritsos , Y. Wang , V. Quema , A. Clement , L. Alvisi , and M. Dahlin . All about Eve: Execute-verify replication for multi-core servers . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI) , 2012 . M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi, and M. Dahlin. All about Eve: Execute-verify replication for multi-core servers. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI), 2012."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168839"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294267"},{"key":"e_1_3_2_1_40_1","volume-title":"proceedings of the International Conference on Dependable Systems and Networks (DSN)","author":"Kuvaiskii D.","year":"2016","unstructured":"D. Kuvaiskii , O. Oleksenko , P. Bhatotia , P. Felber , and C. Fetzer . Elzar: Triple Modular Redundancy using Intel AVX . In proceedings of the International Conference on Dependable Systems and Networks (DSN) , 2016 . D. Kuvaiskii, O. Oleksenko, P. Bhatotia, P. Felber, and C. Fetzer. Elzar: Triple Modular Redundancy using Intel AVX. In proceedings of the International Conference on Dependable Systems and Networks (DSN), 2016."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816683"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1842733.1842749"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545227"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966477"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376726"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the USENIX Conference on USENIX Annual Technical Conference (USENIX ATC)","author":"Ongaro D.","year":"2014","unstructured":"D. Ongaro and J. Ousterhout . In search of an understandable consensus algorithm . In Proceedings of the USENIX Conference on USENIX Annual Technical Conference (USENIX ATC) , 2014 . D. Ongaro and J. Ousterhout. In search of an understandable consensus algorithm. In Proceedings of the USENIX Conference on USENIX Annual Technical Conference (USENIX ATC), 2014."},{"key":"e_1_3_2_1_53_1","volume-title":"SQLite","author":"Owens M.","year":"2010","unstructured":"M. Owens and G. Allen . SQLite . Springer , 2010 . M. Owens and G. Allen. SQLite. Springer, 2010."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741979"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Ports D. R. K.","year":"2015","unstructured":"D. R. K. Ports , J. Li , V. Liu , N. K. Sharma , and A. Krishnamurthy . Designing distributed systems using approximate synchrony in data center networks . In Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI) , 2015 . D. R. K. Ports, J. Li, V. Liu, N. K. Sharma, and A. Krishnamurthy. Designing distributed systems using approximate synchrony in data center networks. In Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2015."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545228"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/563998.564036"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346181"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.4"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.104"},{"key":"e_1_3_2_1_62_1","volume-title":"Proceedings of the Architecture of Computing Systems (ARCS)","author":"Schirmeier H.","year":"2012","unstructured":"H. Schirmeier , M. Hoffmann , R. Kapitza , D. Lohmann , and O. Spinczyk . FailStar: Towards a versatile fault-injection experiment framework . In Proceedings of the Architecture of Computing Systems (ARCS) , 2012 . H. Schirmeier, M. Hoffmann, R. Kapitza, D. Lohmann, and O. Spinczyk. FailStar: Towards a versatile fault-injection experiment framework. In Proceedings of the Architecture of Computing Systems (ARCS), 2012."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2009.4"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593229"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738394"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.98"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.42"},{"key":"e_1_3_2_1_69_1","volume-title":"BFTW3, affiliated with DISC","author":"Song Y. J.","year":"2009","unstructured":"Y. J. Song , F. P. Junqueira , and B. Reed . BFT for the skeptics . In BFTW3, affiliated with DISC , 2009 . Y. J. Song, F. P. Junqueira, and B. Reed. BFT for the skeptics. In BFTW3, affiliated with DISC, 2009."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.5555\/545215.545229"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.221"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.7"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592815"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.2"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924955"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.61"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2482767.2482773"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503232"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259035"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854289"}],"event":{"name":"EuroSys '16: Eleventh EuroSys Conference 2016","acronym":"EuroSys '16","location":"London United Kingdom"},"container-title":["Proceedings of the Eleventh European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2901318.2901339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2901318.2901339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:43Z","timestamp":1750222483000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2901318.2901339"}},"subtitle":["hardware-assisted fault tolerance"],"short-title":[],"issued":{"date-parts":[[2016,4,18]]},"references-count":80,"alternative-id":["10.1145\/2901318.2901339","10.1145\/2901318"],"URL":"https:\/\/doi.org\/10.1145\/2901318.2901339","relation":{},"subject":[],"published":{"date-parts":[[2016,4,18]]},"assertion":[{"value":"2016-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}