Proceedings of the Workshop on Hot Topics in Operating Systems最新文献

筛选
英文 中文
Unikernels: The Next Stage of Linux's Dominance Unikernels: Linux统治的下一个阶段
Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321445
A. Raza, Parul Sohal, James Cadden, J. Appavoo, Ulrich Drepper, Richard Jones, O. Krieger, R. Mancuso, Larry Woodman
{"title":"Unikernels: The Next Stage of Linux's Dominance","authors":"A. Raza, Parul Sohal, James Cadden, J. Appavoo, Ulrich Drepper, Richard Jones, O. Krieger, R. Mancuso, Larry Woodman","doi":"10.1145/3317550.3321445","DOIUrl":"https://doi.org/10.1145/3317550.3321445","url":null,"abstract":"Unikernels have demonstrated enormous advantages over Linux in many important domains, causing some to propose that the days of Linux's dominance may be coming to an end. On the contrary, we believe that unikernels' advantages represent the next natural evolution for Linux, as it can adopt the best ideas from the unikernel approach and, along with its battle-tested codebase and large open source community, continue to dominate. In this paper, we posit that an upstreamable unikernel target is achievable from the Linux kernel, and, through an early Linux unikernel prototype, demonstrate that some simple changes can bring dramatic performance advantages.","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122736361","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}
引用次数: 60
A Case for Managed and Model-less Inference Serving 管理和无模型推理服务的案例
Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321443
N. Yadwadkar, Francisco Romero, Qian Li, C. Kozyrakis
{"title":"A Case for Managed and Model-less Inference Serving","authors":"N. Yadwadkar, Francisco Romero, Qian Li, C. Kozyrakis","doi":"10.1145/3317550.3321443","DOIUrl":"https://doi.org/10.1145/3317550.3321443","url":null,"abstract":"The number of applications relying on inference from machine learning models, especially neural networks, is already large and expected to keep growing. For instance, Facebook applications issue tens-of-trillions of inference queries per day with varying performance, accuracy, and cost constraints. Unfortunately, today's inference serving systems are neither easy to use nor cost effective. Developers must manually match the performance, accuracy, and cost constraints of their applications to a large design space that includes decisions such as selecting the right model and model optimizations, selecting the right hardware architecture, selecting the right scale-out factor, and avoiding cold-start effects. These interacting decisions are difficult to make, especially when the application load varies over time, applications evolve over time, and the available resources vary over time. If we want an increasing number of applications to use machine learning, we must automate issues that affect ease-of-use, performance, and cost efficiency for both users and providers. Hence, we define and make the case for managed and model-less inference serving. In this paper, we identify and discuss open research directions to realize this vision.","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124865505","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}
引用次数: 24
I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS Abstractions I/O比CPU快:让我们划分资源并消除(大多数)操作系统抽象
Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550.3321426
Pekka Enberg, Ashwin Rao, S. Tarkoma
{"title":"I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS Abstractions","authors":"Pekka Enberg, Ashwin Rao, S. Tarkoma","doi":"10.1145/3317550.3321426","DOIUrl":"https://doi.org/10.1145/3317550.3321426","url":null,"abstract":"I/O is getting faster in servers that have fast programmable NICs and non-volatile main memory operating close to the speed of DRAM, but single-threaded CPU speeds have stagnated. Applications cannot take advantage of modern hardware capabilities when using interfaces built around abstractions that assume I/O to be slow. We therefore propose a structure for an OS called parakernel, which eliminates most OS abstractions and provides interfaces for applications to leverage the full potential of the underlying hardware. The parakernel facilitates application-level parallelism by securely partitioning the resources and multiplexing only those resources that are not partitioned.","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"375 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131680854","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}
引用次数: 9
Proceedings of the Workshop on Hot Topics in Operating Systems 操作系统热点专题研讨会论文集
Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-05-13 DOI: 10.1145/3317550
{"title":"Proceedings of the Workshop on Hot Topics in Operating Systems","authors":"","doi":"10.1145/3317550","DOIUrl":"https://doi.org/10.1145/3317550","url":null,"abstract":"","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129610568","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}
引用次数: 2
Can We Prove Time Protection? 我们能证明时间保护吗?
Proceedings of the Workshop on Hot Topics in Operating Systems Pub Date : 2019-01-24 DOI: 10.1145/3317550.3321431
G. Heiser, G. Klein, Toby C. Murray
{"title":"Can We Prove Time Protection?","authors":"G. Heiser, G. Klein, Toby C. Murray","doi":"10.1145/3317550.3321431","DOIUrl":"https://doi.org/10.1145/3317550.3321431","url":null,"abstract":"Timing channels are a significant and growing security threat in computer systems, with no established solution. We have recently argued that the OS must provide time protection, in analogy to the established memory protection, to protect applications from information leakage through timing channels. Based on a recently-proposed implementation of time protection in the seL4 microkernel, we investigate how such an implementation could be formally proved to prevent timing channels. We postulate that this should be possible by reasoning about a highly abstracted representation of the shared hardware resources that cause timing channels.","PeriodicalId":224944,"journal":{"name":"Proceedings of the Workshop on Hot Topics in Operating Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130336717","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}
引用次数: 12
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信