Operating system support for redundant multithreading. Döbel, B., Härtig, H., & Engel, M. In Proc. of the 10th Int'l Conf. on Embedded software, pages 83--92, 2012. abstract bibtex In modern commodity operating systems, core functionality is usually designed assuming that the underlying processor hardware always functions correctly. Shrinking hardware feature sizes break this assumption. Existing approaches to cope with these issues either use hardware functionality that is not available in commercial-off-the-shelf (COTS) systems or poses additional requirements on the software development side, making reuse of existing software hard, if not impossible. In this paper we present Romain, a framework that provides transparent redundant multithreading1 as an operating system service for hardware error detection and recovery. When applied to a standard benchmark suite, Romain requires a maximum runtime overhead of 30% for triple-modular redundancy (while in many cases remaining below 5%). Furthermore, our approach minimizes the complexity added to the operating system for the sake of replication.
@inproceedings{dobel_operating_2012,
title = {Operating system support for redundant multithreading},
abstract = {In modern commodity operating systems, core functionality is usually designed assuming that the underlying processor hardware always functions correctly. Shrinking hardware feature sizes break this assumption. Existing approaches to cope with these issues either use hardware functionality that is not available in commercial-off-the-shelf (COTS) systems or poses additional requirements on the software development side, making reuse of existing software hard, if not impossible. In this paper we present Romain, a framework that provides transparent redundant multithreading1 as an operating system service for hardware error detection and recovery. When applied to a standard benchmark suite, Romain requires a maximum runtime overhead of 30\% for triple-modular redundancy (while in many cases remaining below 5\%). Furthermore, our approach minimizes the complexity added to the operating system for the sake of replication.},
urldate = {2012-12-27TZ},
booktitle = {Proc. of the 10th {Int}'l {Conf}. on {Embedded} software},
author = {Döbel, Björn and Härtig, Hermann and Engel, Michael},
year = {2012},
keywords = {microkernel, rcb, redundant multithreading},
pages = {83--92}
}
Downloads: 0
{"_id":"oaHohTZ5sooBiyTqs","bibbaseid":"dbel-hrtig-engel-operatingsystemsupportforredundantmultithreading-2012","downloads":0,"creationDate":"2016-10-15T13:23:23.602Z","title":"Operating system support for redundant multithreading","author_short":["Döbel, B.","Härtig, H.","Engel, M."],"year":2012,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/pentarious","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Operating system support for redundant multithreading","abstract":"In modern commodity operating systems, core functionality is usually designed assuming that the underlying processor hardware always functions correctly. Shrinking hardware feature sizes break this assumption. Existing approaches to cope with these issues either use hardware functionality that is not available in commercial-off-the-shelf (COTS) systems or poses additional requirements on the software development side, making reuse of existing software hard, if not impossible. In this paper we present Romain, a framework that provides transparent redundant multithreading1 as an operating system service for hardware error detection and recovery. When applied to a standard benchmark suite, Romain requires a maximum runtime overhead of 30% for triple-modular redundancy (while in many cases remaining below 5%). Furthermore, our approach minimizes the complexity added to the operating system for the sake of replication.","urldate":"2012-12-27TZ","booktitle":"Proc. of the 10th Int'l Conf. on Embedded software","author":[{"propositions":[],"lastnames":["Döbel"],"firstnames":["Björn"],"suffixes":[]},{"propositions":[],"lastnames":["Härtig"],"firstnames":["Hermann"],"suffixes":[]},{"propositions":[],"lastnames":["Engel"],"firstnames":["Michael"],"suffixes":[]}],"year":"2012","keywords":"microkernel, rcb, redundant multithreading","pages":"83--92","bibtex":"@inproceedings{dobel_operating_2012,\n\ttitle = {Operating system support for redundant multithreading},\n\tabstract = {In modern commodity operating systems, core functionality is usually designed assuming that the underlying processor hardware always functions correctly. Shrinking hardware feature sizes break this assumption. Existing approaches to cope with these issues either use hardware functionality that is not available in commercial-off-the-shelf (COTS) systems or poses additional requirements on the software development side, making reuse of existing software hard, if not impossible. In this paper we present Romain, a framework that provides transparent redundant multithreading1 as an operating system service for hardware error detection and recovery. When applied to a standard benchmark suite, Romain requires a maximum runtime overhead of 30\\% for triple-modular redundancy (while in many cases remaining below 5\\%). Furthermore, our approach minimizes the complexity added to the operating system for the sake of replication.},\n\turldate = {2012-12-27TZ},\n\tbooktitle = {Proc. of the 10th {Int}'l {Conf}. on {Embedded} software},\n\tauthor = {Döbel, Björn and Härtig, Hermann and Engel, Michael},\n\tyear = {2012},\n\tkeywords = {microkernel, rcb, redundant multithreading},\n\tpages = {83--92}\n}\n\n","author_short":["Döbel, B.","Härtig, H.","Engel, M."],"key":"dobel_operating_2012","id":"dobel_operating_2012","bibbaseid":"dbel-hrtig-engel-operatingsystemsupportforredundantmultithreading-2012","role":"author","urls":{},"keyword":["microkernel","rcb","redundant multithreading"],"downloads":0},"search_terms":["operating","system","support","redundant","multithreading","döbel","härtig","engel"],"keywords":["microkernel","rcb","redundant multithreading"],"authorIDs":[],"dataSources":["QiRZ7m7shEMvADZkd"]}