https://dl.acm.org/doi/proceedings/10.1145/3593856 ACM Digital Library home ACM home * Advanced Search * Browse * About * + Sign in + Register * * Advanced Search * Journals * Magazines * Proceedings * Books * SIGs * Conferences * People * * More * Search ACM Digital Library[ ] SearchSearch Advanced Search 10.1145/3593856acmconferencesBook PagePublication Pageshotos Conference Proceedingsconference-collections hotos * Conference * Proceedings * Upcoming Events * Authors * Affiliations * Award Winners * More Conference HOTOS HotOS: Hot Topics in Operating Systems Search within HOTOS[ ] SearchSearch * Home * Conferences * HOTOS * Proceedings * HOTOS '23 HOTOS '23: Proceedings of the 19th Workshop on Hot Topics in Operating Systems Go to Proceedings of the 19th Workshop on Hot Topics in Operating Systems June 2023 Read More ACM2023 Proceeding * General Chair: * Malte Schwarzkopf, * Program Chairs: * Andrew Baumann, * Natacha Crooks Publisher: * Association for Computing Machinery * New York * NY * United States Conference: HOTOS '23: 19th Workshop on Hot Topics in Operating Systems Providence RI USA June 22 - 24, 2023 ISBN: 979-8-4007-0195-5 Published: 22 June 2023 Sponsors: SIGOPS PDFeReader Get Alerts for this ConferenceAlertsSave to BinderBinder Save to Binder [loader-7e6] Create a New Binder Name [ ] * Cancel * Create Export CitationCitation Share on * * * * * Bibliometrics Citation count 0 Downloads (6 weeks) 0 Downloads (12 months) 0 Downloads (cumulative) 0 Sections HOTOS '23: Proceedings of the 19th Workshop on Hot Topics in Operating Systems 2023 PreviousNext ACM Digital Library Abstract No abstract available. Proceeding Downloads PDFFront matter (Cover, Welcome, Organization, Contents) PDFBack matter (Author index) Skip Table Of Content Section [ ] Select All Export CitationsSave to Binder [ ] research-article Open Access CPU-free Computing: A Vision with a Blueprint * Animesh Trivedi, * Marco Spaziani Brunella pp 1-14https://doi.org/10.1145/3593856.3595906 Since the inception of computing, we have been reliant on CPU-powered architectures. However, today this reliance is challenged by manufacturing limitations (CMOS scaling), performance expectations (stalled clocks, Turing tax), and security concerns (... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Metal: An Open Architecture for Developing Processor Features * Siyao Zhao, * Ali Jose Mashtizadeh pp 15-22https://doi.org/10.1145/3593856.3595915 In recent years, an increasing number of hardware devices started providing programming interfaces to developers such as smart NICs. Processor vendors use microcode to extend processors' features such as Intel SGX and VT-x. This enables processor ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Software-Defined CPU Modes * Michael Roitzsch, * Till Miemietz, * Christian Von Elm, * Nils Asmussen pp 23-29https://doi.org/10.1145/3593856.3595894 Our CPUs contain a compute instruction set, which regular applications use. But they also feature an intricate underworld of different CPU modes, combined with trap and exception handling to transition between these modes. These mechanisms are ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Out of Hand for Hardware? Within Reach for Software! * Zhihong Luo, * Silvery Fu, * Emmanuel Amaro, * Amy Ousterhout, * Sylvia Ratnasamy, * Scott Shenker pp 30-37https://doi.org/10.1145/3593856.3595898 Events that take 10s to 100s of ns like cache misses increasingly cause CPU stalls. However, hiding the latency of these events is challenging: hardware mechanisms suffer from the lack of flexibility, whereas prior software mechanisms fall short due ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free The Case for Performance Interfaces for Hardware Accelerators * Rishabh Iyer, * Jiacheng Ma, * Katerina Argyraki, * George Candea, * Sylvia Ratnasamy pp 38-45https://doi.org/10.1145/3593856.3595904 While systems designers are increasingly turning to hardware accelerators for performance gains, realizing these gains is painstaking and error-prone. It can take several person-months to determine if a given accelerator is a good fit for a given ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Putting out the hardware dumpster fire * Ben Fiedler, * Daniel Schwyn, * Constantin Gierczak-Galle, * David Cock, * Timothy Roscoe pp 46-52https://doi.org/10.1145/3593856.3595903 The immense hardware complexity of modern computers, both mobile phones and datacenter servers, is a seemingly endless source of bugs and vulnerabilities in system software. Classical OSes cannot address this, since they only run on a small subset ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Prefetching Using Principles of Hippocampal-Neocortical Interaction * Michael Wu, * Ketaki Joshi, * Andrew Sheinberg, * Guilherme Cox, * Anurag Khandelwal, * Raghavendra Pradyumna Pothukuchi, * Abhishek Bhattacharjee pp 53-60https://doi.org/10.1145/3593856.3595901 Memory prefetching improves performance across many systems layers. However, achieving high prefetch accuracy with low overhead is challenging, as memory hierarchies and application memory access patterns become more complicated. Furthermore, a ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Degrading Data to Save the Planet * Aviad Zuck, * Donald Porter, * Dan Tsafrir pp 61-69https://doi.org/10.1145/3593856.3595896 Storage capacity demand is projected to grow exponentially in the coming decade and so will its contribution to the overall carbon footprint of computing devices. In recent years, cloud providers and device vendors have substantially reduced their ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion * Juncheng Yang, * Ziyue Qiu, * Yazhuo Zhang, * Yao Yue, * K. V. Rashmi pp 70-79https://doi.org/10.1145/3593856.3595887 LRU has been the basis of cache eviction algorithms for decades, with a plethora of innovations on improving LRU's miss ratio and throughput. While it is well-known that FIFO-based eviction algorithms provide significantly better throughput and ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free System Virtualization for Neural Processing Units * Yuqi Xue, * Yiqi Liu, * Jian Huang pp 80-86https://doi.org/10.1145/3593856.3595912 Modern cloud platforms have been employing hardware accelerators such as neural processing units (NPUs) to meet the increasing demand for computing resources for AI-based application services. However, due to the lack of system virtualization support, ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free HotGPT: How to Make Software Documentation More Useful with a Large Language Model? * Yiming Su, * Chengcheng Wan, * Utsav Sethi, * Shan Lu, * Madan Musuvathi, * Suman Nath pp 87-93https://doi.org/10.1145/3593856.3595910 It is well known that valuable information is contained in the natural language components of software systems, like comments and manual, and such information can be used to improve system performance and reliability. Past research has attempted to ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Skadi: Building a Distributed Runtime for Data Systems in Disaggregated Data Centers * Cunchen Hu, * Chenxi Wang, * Sa Wang, * Ninghui Sun, * Yungang Bao, * Jieru Zhao, * Sanidhya Kashyap, * Pengfei Zuo, * Xusheng Chen, * Liangliang Xu, * Qin Zhang, * Hao Feng, * Yizhou Shan pp 94-102https://doi.org/10.1145/3593856.3595897 Data-intensive systems are the backbone of today's computing and are responsible for shaping data centers. Over the years, cloud providers have relied on three principles to maintain cost-effective data systems: use disaggregation to decouple scaling, ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Executing Shell Scripts in the Wrong Order, Correctly * Georgios Liargkovas, * Konstantinos Kallas, * Michael Greenberg, * Nikos Vasilakis pp 103-109https://doi.org/10.1145/3593856.3595891 Shell scripts are critical infrastructure for developers, administrators, and scientists; and ought to enjoy the performance benefits of the full suite of advances in compiler optimizations. But between the shell's inherent challenges and neglect from ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Towards Modern Development of Cloud Applications * Sanjay Ghemawat, * Robert Grandl, * Srdjan Petrovic, * Michael Whittaker, * Parveen Patel, * Ivan Posva, * Amin Vahdat pp 110-117https://doi.org/10.1145/3593856.3595909 When writing a distributed application, conventional wisdom says to split your application into separate services that can be rolled out independently. This approach is well-intentioned, but a microservices-based architecture like this often backfires,... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Fabric-Centric Computing * Ming Liu pp 118-126https://doi.org/10.1145/3593856.3595907 Emerging memory fabrics and the resulting composable infrastructures have fundamentally challenged our conventional wisdom on how to build efficient rack/cluster-scale systems atop. This position paper proposes a new computing paradigm-called Fabric-... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Towards Increased Datacenter Efficiency with Soft Memory * Megan Frisella, * Shirley Loayza Sanchez, * Malte Schwarzkopf pp 127-134https://doi.org/10.1145/3593856.3595902 Memory is the bottleneck resource in today's datacenters because it is inflexible: low-priority processes are routinely killed to free up resources during memory pressure. This wastes CPU cycles upon re-running killed jobs and incentivizes datacenter ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access NextGen-Malloc: Giving Memory Allocator Its Own Room in the House * Ruihao Li, * Qinzhe Wu, * Krishna Kavi, * Gayatri Mehta, * Neeraja J. Yadwadkar, * Lizy K. John pp 135-142https://doi.org/10.1145/3593856.3595911 Memory allocation and management have a significant impact on performance and energy of modern applications. We observe that performance can vary by as much as 72% in some applications based on which memory allocator is used. Many current allocators ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Automatic Kernel Offload Using BPF * Farbod Shahinfar, * Sebastiano Miano, * Giuseppe Siracusano, * Roberto Bifulco, * Aurojit Panda, * Gianni Antichi pp 143-149https://doi.org/10.1145/3593856.3595888 BPF support in Linux has made kernel extensions easier. Recent efforts have shown that using BPF to offload portions of server applications, e.g., memcached and service proxies, can improve application performance and efficiency. However, thus far, ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Kernel extension verification is untenable * Jinghao Jia, * Raj Sahu, * Adam Oswald, * Dan Williams, * Michael V. Le, * Tianyin Xu pp 150-157https://doi.org/10.1145/3593856.3595892 The emergence of verified eBPF bytecode is ushering in a new era of safe kernel extensions. In this paper, we argue that eBPF's verifier---the source of its safety guarantees---has become a liability. In addition to the well-known bugs and ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Beyond isolation: OS verification as a foundation for correct applications * Matthias Brun, * Reto Achermann, * Tej Chajed, * Jon Howell, * Gerd Zellweger, * Andrea Lattuada pp 158-165https://doi.org/10.1145/3593856.3595899 Verified systems software has generally had to assume the correctness of the operating system and its provided services (like networking and the file system). Even though there exist verified operating systems and file systems, the specifications for ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces * Anton Burtsev, * Vikram Narayanan, * Yongzhe Huang, * Kaiming Huang, * Gang Tan, * Trent Jaeger pp 166-173https://doi.org/10.1145/3593856.3595914 Our work explores the challenge of developing secure kernel-driver interfaces designed to protect the kernel from isolated kernel extensions. We first analyze a range of possible attack vectors that exist in current isolation frameworks. Then, we ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Why write address translation OS code yourself when you can synthesize it? * Reto Achermann, * Ilias Karimalis, * Margo Seltzer pp 174-180https://doi.org/10.1145/3593856.3595895 Address translation hardware is at the cornerstone of modern computer systems. It provides a wide range of security-relevant features and abstractions such as memory partitioning, address space isolation, and virtual memory. Hardware designers have ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free FBMM: Using the VFS for Extensibility in Kernel Memory Management * Bijan Tabatabai, * Mark Mansi, * Michael M. Swift pp 181-187https://doi.org/10.1145/3593856.3595908 Modern memory hierarchies are increasingly complex, with more memory types and richer topologies. Unfortunately kernel memory managers lack the extensibility that many other parts of the kernel use to support diversity. This makes it difficult to add ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Programming Fully Disaggregated Systems * Christoph Anneser, * Lukas Vogel, * Ferdinand Gruber, * Maximilian Bandle, * Jana Giceva pp 188-195https://doi.org/10.1145/3593856.3595889 With full resource disaggregation on the horizon, it is unclear what the most suitable programming model is that enables dataflow developers to fully harvest the potential that recent hardware developments offer. In our vision, we propose to raise the ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Unleashing True Utility Computing with Quicksand * Zhenyuan Ruan, * Shihang Li, * Kaiyan Fan, * Marcos K. Aguilera, * Adam Belay, * Seo Jin Park, * Malte Schwarzkopf pp 196-205https://doi.org/10.1145/3593856.3595893 Today's clouds are inefficient: their utilization of resources like CPUs, GPUs, memory, and storage is low. This inefficiency occurs because applications consume resources at variable rates and ratios, while clouds offer resources at fixed rates and ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Towards a Manageable Intra-Host Network * Xinhao Kong, * Jiaqi Lou, * Wei Bai, * Nan Sung Kim, * Danyang Zhuo pp 206-213https://doi.org/10.1145/3593856.3595890 Intra-host networks, including heterogeneous devices and interconnect fabrics, have become increasingly complex and crucial. However, intra-host networks today do not provide sufficient manageability. This prevents data center operators from running a ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Towards (Really) Safe and Fast Confidential I/O * Hugo Lefeuvre, * David Chisnall, * Marios Kogias, * Pierre Olivier pp 214-222https://doi.org/10.1145/3593856.3595913 Confidential cloud computing enables cloud tenants to distrust their service provider. Achieving confidential computing solutions that provide concrete security guarantees requires not only strong mechanisms, but also carefully designed software ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Open Access Access Control for Database Applications: Beyond Policy Enforcement * Wen Zhang, * Aurojit Panda, * Scott Shenker pp 223-230https://doi.org/10.1145/3593856.3595905 There have been many recent advances in enforcing finegrained access control for database-backed applications. However, operators face significant challenges both before and after an enforcement mechanism has been deployed. We identify three such ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF [ ] research-article Free Creating Trust by Abolishing Hierarchies * Charly Castes, * Adrien Ghosn, * Neelu S. Kalani, * Yuchen Qian, * Marios Kogias, * Mathias Payer, * Edouard Bugnion pp 231-238https://doi.org/10.1145/3593856.3595900 Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both ... * + 0 Metrics Total Citations0 * Export Citations * Save to Binder Save to Binder [loader] Create a New Binder Name [ ] + Cancel + Create * Abstract * View online with eReader * PDF Save to Binder [loader-7e6] Create a New Binder Name [ ] * Cancel * Create Contributors * Andrew BaumannSearch about this author * Natacha CrooksSearch about this author * Malte SchwarzkopfSearch about this author Index Terms (auto-classified) 1. Proceedings of the 19th Workshop on Hot Topics in Operating Systems 1. General and reference 1. Document types 2. Information systems 1. Information storage systems 3. Software and its engineering 1. Software organization and properties 1. Contextual software domains 1. Operating systems 1. Process management 2. Software system structures 1. Real-time systems software Recommendations * IHM '07: Proceedings of the 19th Conference on l'Interaction Homme-Machine Read More * CompSysTech'18: Proceedings of the 19th International Conference on Computer Systems and Technologies Read More * PCI '15: Proceedings of the 19th Panhellenic Conference on Informatics Read More Comments Please enable JavaScript to view thecomments powered by Disqus. Export Citations Select Citation format[BibTeX ] * Please download or close your previous search result export first before starting a new bulk export. Preview is not available. By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress. Download + Download citation + Copy citation Categories * Journals * Magazines * Books * Proceedings * SIGs * Conferences * Collections * People About * About ACM Digital Library * ACM Digital Library Board * Subscription Information * Author Guidelines * Using ACM Digital Library * All Holdings within the ACM Digital Library * ACM Computing Classification System * Digital Library Accessibility Join * Join ACM * Join SIGs * Subscribe to Publications * Institutions and Libraries Connect * Contact * Facebook * Twitter * Linkedin * Feedback * Bug Report The ACM Digital Library is published by the Association for Computing Machinery. Copyright (c) 2023 ACM, Inc. * Terms of Usage * Privacy Policy * Code of Ethics ACM Digital Library home ACM home About Cookies On This Site We use cookies to ensure that we give you the best experience on our website. Learn more Got it! Your Search Results Download Request We are preparing your search results for download ... We will inform you here when the file is ready. Download now! Your Search Results Download Request Your file of search results citations is now ready. Download now! Your Search Results Download Request Your search export query has expired. Please try again.