Proceedings of the Workshop on Hot Topics in Operating Systems最新文献_第4页

Unix shell programming: the next 50 years Unix shell编程:未来50年

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2021-06-01 DOI: 10.1145/3458336.3465294

M. Greenberg, Konstantinos Kallas, N. Vasilakis

引用次数: 9

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2021-06-01 DOI: 10.1145/3458336.3465297

P. Hochschild, Paul Turner, J. Mogul, R. Govindaraju, Parthasarathy Ranganathan, D. Culler, A. Vahdat

{"title":"Cores that don't count","authors":"P. Hochschild, Paul Turner, J. Mogul, R. Govindaraju, Parthasarathy Ranganathan, D. Culler, A. Vahdat","doi":"10.1145/3458336.3465297","DOIUrl":"https://doi.org/10.1145/3458336.3465297","url":null,"abstract":"We are accustomed to thinking of computers as fail-stop, especially the cores that execute instructions, and most system software implicitly relies on that assumption. During most of the VLSI era, processors that passed manufacturing tests and were operated within specifications have insulated us from this fiction. As fabrication pushes towards smaller feature sizes and more elaborate computational structures, and as increasingly specialized instruction-silicon pairings are introduced to improve performance, we have observed ephemeral computational errors that were not detected during manufacturing tests. These defects cannot always be mitigated by techniques such as microcode updates, and may be correlated to specific components within the processor, allowing small code changes to effect large shifts in reliability. Worse, these failures are often \"silent\" - the only symptom is an erroneous computation. We refer to a core that develops such behavior as \"mercurial.\" Mercurial cores are extremely rare, but in a large fleet of servers we can observe the disruption they cause, often enough to see them as a distinct problem - one that will require collaboration between hardware designers, processor vendors, and systems software architects. This paper is a call-to-action for a new focus in systems research; we speculate about several software-based approaches to mercurial cores, ranging from better detection and isolating mechanisms, to methods for tolerating the silent data corruption they cause.","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122472255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 68

Toward reconfigurable kernel datapaths with learned optimizations 通过学习优化实现可重构内核数据路径

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2021-06-01 DOI: 10.1145/3458336.3465288

Yiming Qiu, Hongyi Liu, T. Anderson, Yingyan Lin, Ang Chen

{"title":"Toward reconfigurable kernel datapaths with learned optimizations","authors":"Yiming Qiu, Hongyi Liu, T. Anderson, Yingyan Lin, Ang Chen","doi":"10.1145/3458336.3465288","DOIUrl":"https://doi.org/10.1145/3458336.3465288","url":null,"abstract":"Today's computing systems pay a heavy \"OS tax\", as kernel execution accounts for a significant amount of resource footprint. This is not least because today's kernels abound with hardcoded heuristics that are designed with unstated assumptions, which rarely generalize well for diversifying applications and device technologies. We propose the concept of reconfigurable kernel datapaths that enables kernels to self-optimize dynamically. In this architecture, optimizations are computed from empirical data using machine learning (ML), and they are integrated into the kernel in a safe and systematic manner via an in-kernel virtual machine. This virtual machine implements the reconfigurable match table (RMT) abstraction, where tables are installed into the kernel at points where performance-critical events occur, matches look up the current execution context, and actions encode context-specific optimizations computed by ML, which may further vary from application to application. Our envisioned architecture will support both offline and online learning algorithms, as well as varied kernel subsystems. An RMT verifier will check program well-formedness and model efficiency before admitting an RMT program to the kernel. An admitted program can be interpreted in bytecode or just-in-time compiled to optimize the kernel datapaths.","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125697395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

BPF for storage: an exokernel-inspired approach 用于存储的BPF:受exokkernel启发的方法

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2021-02-25 DOI: 10.1145/3458336.3465290

Y. Wu, Hongyi Wang, Yuhong Zhong, Asaf Cidon, Ryan Stutsman, Amy Tai, Junfeng Yang

引用次数: 16

Granular Computing 细粒度的计算

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321447

Collin Lee, J. Ousterhout

引用次数: 3

The Synchronous Data Center 同步数据中心

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321442

Tian Yang, Robert Gifford, Andreas Haeberlen, L. T. Phan

引用次数: 10

RedLeaf 莱德利夫

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321449

Vikram Narayanan, Marek S. Baranowski, L. Ryzhyk, Zvonimir Rakamaric, A. Burtsev

引用次数: 1

A fork() in the road 岔路口

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321435

Andrew Baumann, J. Appavoo, O. Krieger, Timothy Roscoe

引用次数: 9

What bugs cause production cloud incidents? 哪些bug会导致生产云事件?

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321438

Haopeng Liu, Shan Lu, M. Musuvathi, Suman Nath

引用次数: 40

I'm Not Dead Yet!: The Role of the Operating System in a Kernel-Bypass Era 我还没死!:操作系统在绕过内核时代的角色

Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321422

Irene Zhang, Jing Liu, A. Austin, Michael L. Roberts, Anirudh Badam

引用次数: 30