迈向可调试的内核设计

arXiv - CS - Operating Systems Pub Date : 2023-10-09 DOI:arxiv-2310.05399

Chandrika Parimoo, Ashish Gupta

{"title":"迈向可调试的内核设计","authors":"Chandrika Parimoo, Ashish Gupta","doi":"arxiv-2310.05399","DOIUrl":null,"url":null,"abstract":"This paper describes what it means for a kernel to be debuggable and proposes\na kernel design with debuggability in mind. We evaluate the proposed kernel\ndesign by comparing the iterations required in cyclic debugging for different\nclasses of bugs in a vanilla monolithic kernel to a variant enhanced with our\ndesign rules for debuggability. We discuss the trade offs involved in designing\na debuggable kernel.","PeriodicalId":501333,"journal":{"name":"arXiv - CS - Operating Systems","volume":"30 7","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Towards a debuggable kernel design\",\"authors\":\"Chandrika Parimoo, Ashish Gupta\",\"doi\":\"arxiv-2310.05399\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes what it means for a kernel to be debuggable and proposes\\na kernel design with debuggability in mind. We evaluate the proposed kernel\\ndesign by comparing the iterations required in cyclic debugging for different\\nclasses of bugs in a vanilla monolithic kernel to a variant enhanced with our\\ndesign rules for debuggability. We discuss the trade offs involved in designing\\na debuggable kernel.\",\"PeriodicalId\":501333,\"journal\":{\"name\":\"arXiv - CS - Operating Systems\",\"volume\":\"30 7\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-10-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Operating Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2310.05399\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Operating Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2310.05399","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文描述了内核可调试的含义，并提出了一种考虑可调试性的内核设计。我们通过比较在一个普通的单片内核中对不同类型的bug进行循环调试所需的迭代，来评估所提出的内核设计。我们讨论了在设计可调试内核时所涉及的权衡。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Towards a debuggable kernel design

This paper describes what it means for a kernel to be debuggable and proposes a kernel design with debuggability in mind. We evaluate the proposed kernel design by comparing the iterations required in cyclic debugging for different classes of bugs in a vanilla monolithic kernel to a variant enhanced with our design rules for debuggability. We discuss the trade offs involved in designing a debuggable kernel.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Operating Systems

自引率

0.00%

发文量