{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:40:08Z","timestamp":1750232408101,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"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":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656050","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Can we put concurrency back into redundant multithreading?"],"prefix":"10.1145","author":[{"given":"Bj\u00f6rn","family":"D\u00f6bel","sequence":"first","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hermann","family":"H\u00e4rtig","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.980005"},{"key":"e_1_3_2_1_2_1","volume-title":"ARM11 MPCore Processor Technical Reference Manual. Technical Documentation at http:\/\/infocenter.arm.com","author":"ARM.","year":"2008","unstructured":"ARM. ARM11 MPCore Processor Technical Reference Manual. Technical Documentation at http:\/\/infocenter.arm.com , 2008 . ARM. ARM11 MPCore Processor Technical Reference Manual. Technical Documentation at http:\/\/infocenter.arm.com, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/320080.320111"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924957"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924956"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.70"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"e_1_3_2_1_8_1","volume-title":"Intel64 and IA-32 Architectures Software Developer's Manual. Technical Documentation at http:\/\/www.intel.com","author":"Corp.","year":"2013","unstructured":"Corp. , I. Intel64 and IA-32 Architectures Software Developer's Manual. Technical Documentation at http:\/\/www.intel.com , 2013 . Corp., I. Intel64 and IA-32 Architectures Software Developer's Manual. Technical Documentation at http:\/\/www.intel.com, 2013."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_1_10_1","volume-title":"International Workshop on Hot Topics in System Dependability (HotDep)","author":"D\u00f6bel B.","year":"2012","unstructured":"D\u00f6bel , B. , and H\u00e4rtig , H . Who watches the watchmen? -- protecting operating system reliability mechanisms . In International Workshop on Hot Topics in System Dependability (HotDep) ( 2012 ). D\u00f6bel, B., and H\u00e4rtig, H. Who watches the watchmen? -- protecting operating system reliability mechanisms. In International Workshop on Hot Topics in System Dependability (HotDep) (2012)."},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Software-Based Methods for Robust Embedded Systems","author":"D\u00f6bel B.","year":"2013","unstructured":"D\u00f6bel , B. , and H\u00e4rtig , H . Where have all the cycles gone? -- investigating runtime overheads of os-assisted replication . In Workshop on Software-Based Methods for Robust Embedded Systems ( 2013 ), SOBRES'13. D\u00f6bel, B., and H\u00e4rtig, H. Where have all the cycles gone? -- investigating runtime overheads of os-assisted replication. In Workshop on Software-Based Methods for Robust Embedded Systems (2013), SOBRES'13."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380375"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2012.56"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/956417.956571"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000064.2000108"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_23"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2388996.2389102"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/161468.161469"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150989"},{"key":"e_1_3_2_1_20_1","unstructured":"IBM. z\/OS -- a smarter operating system for smarter computing. http:\/\/www-03.ibm.com\/systems\/z\/os\/zos\/ 2011.  IBM. z\/OS -- a smarter operating system for smarter computing. http:\/\/www-03.ibm.com\/systems\/z\/os\/zos\/ 2011."},{"key":"e_1_3_2_1_21_1","unstructured":"Intel. Thread building blocks (TBB). http:\/\/www.threadbuildingblocks.org 2013.  Intel. Thread building blocks (TBB). http:\/\/www.threadbuildingblocks.org 2013."},{"key":"e_1_3_2_1_22_1","volume-title":"International Conference on Hot Topics in System Dependability","author":"Kapitza R.","year":"2010","unstructured":"Kapitza , R. , Schunter , M. , Cachin , C. , Stengel , K. , and Distler , T . Storyboard: optimistic deterministic multithreading . In International Conference on Hot Topics in System Dependability ( Berkeley, CA, USA , 2010 ), HotDep'10, USENIX Association, pp. 1--8. Kapitza, R., Schunter, M., Cachin, C., Stengel, K., and Distler, T. Storyboard: optimistic deterministic multithreading. In International Conference on Hot Topics in System Dependability (Berkeley, CA, USA, 2010), HotDep'10, USENIX Association, pp. 1--8."},{"key":"e_1_3_2_1_23_1","volume-title":"OSDI 2012 (Oct","author":"Kaptritsos M.","year":"2012","unstructured":"Kaptritsos , M. , Wang , Y. , Quema , V. , Clement , A. , Alvisi , L. , and Dahlin , M . Eve: Execute-verify replication for multi-core servers . In OSDI 2012 (Oct 2012 ). Kaptritsos, M., Wang, Y., Quema, V., Clement, A., Alvisi, L., and Dahlin, M. Eve: Execute-verify replication for multi-core servers. In OSDI 2012 (Oct 2012)."},{"key":"e_1_3_2_1_24_1","volume-title":"Linux multi-core scalability. Tech. rep","author":"Kleen A.","year":"2009","unstructured":"Kleen , A. Linux multi-core scalability. Tech. rep ., 2009 . Kleen, A. Linux multi-core scalability. Tech. rep., 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1871302"},{"key":"e_1_3_2_1_26_1","volume-title":"Multithreaded programming with Pthreads","author":"Lewis B.","year":"1998","unstructured":"Lewis , B. , and Berg , D. J . Multithreaded programming with Pthreads . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1998 . Lewis, B., and Berg, D. J. Multithreaded programming with Pthreads. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1998."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465365"},{"key":"e_1_3_2_1_29_1","volume-title":"Architecture Design for Soft Errors","author":"Mukherjee S.","year":"2008","unstructured":"Mukherjee , S. Architecture Design for Soft Errors . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2008 . Mukherjee, S. Architecture Design for Soft Errors. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2485288.2485510"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669180"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528521.1508256"},{"key":"e_1_3_2_1_34_1","first-page":"17","volume-title":"5th USENIX Conference on File and Storage Technologies (FAST 2007)","author":"Pinheiro E.","year":"2007","unstructured":"Pinheiro , E. , Weber , W.-D. , and Barroso , L. A . Failure trends in a large disk drive population . In 5th USENIX Conference on File and Storage Technologies (FAST 2007) ( 2007 ), pp. 17 -- 29 . Pinheiro, E., Weber, W.-D., and Barroso, L. A. Failure trends in a large disk drive population. In 5th USENIX Conference on File and Storage Technologies (FAST 2007) (2007), pp. 17--29."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/342001.339652"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.104"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2006.10.006"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.98"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/23.212327"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.7"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/942806.943827"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.223990"},{"key":"e_1_3_2_1_45_1","unstructured":"Yoshida J. Toyota Case: The Single Bit Flip That Killed. http:\/\/www.eetimes.com\/document.asp?doc_id=1319903 Oct. 2013.  Yoshida J. Toyota Case: The Single Bit Flip That Killed. http:\/\/www.eetimes.com\/document.asp?doc_id=1319903 Oct. 2013."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854289"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"New Delhi India","acronym":"ESWEEK'14"},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":46,"alternative-id":["10.1145\/2656045.2656050","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656050","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}