{"title":"Scalable but wasteful: current state of replication in the cloud","authors":"Venkata Swaroop Matte, Aleksey Charapko, Abutalib Aghayev","doi":"10.1145/3465332.3470882","DOIUrl":"https://doi.org/10.1145/3465332.3470882","url":null,"abstract":"Consensus protocols are at the core of strongly consistent replication deployed in cloud-based storage systems. There have been many proposals to optimize these protocols, most of which work by identifying and shifting load from bottlenecked nodes to underutilized nodes. We show that while these optimizations increase throughput, they sacrifice resource efficiency, which is paramount in a cloud setting. We propose a new metric to measure the efficiency of these protocols and show that using this metric, for example, the optimized EPaxos protocol is less efficient than the unoptimized Multi-Paxos protocol. We then demonstrate that Multi-Paxos can achieve 2$times$ higher throughput than EPaxos in a fixed-budget resource setting that is typical of the cloud. Our work underlines the need for considering resource efficiency when optimizing consensus protocols, given that they are increasingly deployed in the cloud.","PeriodicalId":281760,"journal":{"name":"Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129514961","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}
Tao Zhang, Boris Pismenny, Donald E. Porter, Dan Tsafrir, A. Zuck
{"title":"Rowhammering Storage Devices","authors":"Tao Zhang, Boris Pismenny, Donald E. Porter, Dan Tsafrir, A. Zuck","doi":"10.1145/3465332.3470871","DOIUrl":"https://doi.org/10.1145/3465332.3470871","url":null,"abstract":"Peripheral devices like SSDs are growing more complex, to the point they are effectively small computers themselves. Our position is that this trend creates a new kind of attack vector, where untrusted software could use peripherals strictly as intended to accomplish unintended goals. To exemplify, we set out to rowhammer the DRAM component of a simplified host-side FTL, issuing regular I/O requests that manage to flip bits in a way that triggers sensitive information leakage. We conclude that such attacks might soon be feasible, and we argue that systems need principled approaches for securing peripherals against them.","PeriodicalId":281760,"journal":{"name":"Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121851521","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}
{"title":"From blocks to rocks: a natural extension of zoned namespaces","authors":"U. Maheshwari","doi":"10.1145/3465332.3470870","DOIUrl":"https://doi.org/10.1145/3465332.3470870","url":null,"abstract":"Zoned namespaces (ZNS) is an emerging storage abstraction with the potential to supersede the conventional block abstraction for flash-based devices. ZNS constrains the writes to be sequential within each zone, thereby avoiding a costly translation in the device. We uncover an additional opportunity afforded by sequential writing: device-level support for storing variable-size pieces of data. We argue that adding this support would be a useful and natural extension of ZNS. First, we identify several cases where file and database systems would benefit from storing variable-size pieces of data. Second, we sketch some simple options for extending the ZNS specification and for implementing the extension within an SSD. Such an extension would add little, if any, cost and complexity, thus preserving the lean characteristic of ZNS.","PeriodicalId":281760,"journal":{"name":"Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126797047","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}
Liana V. Rodriguez, Alexis González, Pratik Poudel, R. Rangaswami, Jason Liu
{"title":"Unifying the data center caching layer: feasible? profitable?","authors":"Liana V. Rodriguez, Alexis González, Pratik Poudel, R. Rangaswami, Jason Liu","doi":"10.1145/3465332.3470884","DOIUrl":"https://doi.org/10.1145/3465332.3470884","url":null,"abstract":"Data centers today host large numbers of workloads and many of these workloads consume significant storage resources. Given the long history of successes in storage caching, it is only natural such successes bear fruit in modern data centers, at scale. This paper presents CaaS, a generalized caching service for cloud data centers. Departing from existing application, storage, or data-type specific caches, CaaS unifies and abstracts data center caching resources making these available to any workload and for any data type. Also departing from past caching practices, CaaS is fault-tolerant allowing it to cache writes without risk of data loss. We expect that systems such as CaaS will help bridge the gap between heterogeneous and distributed cache resources and data-intensive applications in a data center.","PeriodicalId":281760,"journal":{"name":"Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131812959","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}
Wei Su, Yifei Liu, Gomathi Ganesan, G. Holzmann, S. Smolka, E. Zadok, G. Kuenning
{"title":"Model-Checking Support for File System Development","authors":"Wei Su, Yifei Liu, Gomathi Ganesan, G. Holzmann, S. Smolka, E. Zadok, G. Kuenning","doi":"10.1145/3465332.3470878","DOIUrl":"https://doi.org/10.1145/3465332.3470878","url":null,"abstract":"Developing and maintaining a file system is time-consuming, typically requiring years of effort. Developers often test compliance with APIs such as POSIX with hand-written regression suites that, alas, examine only a fraction of a file system's state space. Conversely, formal model checking can explore vast state spaces efficiently, increasing confidence in the file system's implementation. Yet model checking is not currently part of file system development. Our position is that file systems should be designed a priori to facilitate model checking. To this end, we introduce MCFS, an architecture for efficient and comprehensive file-system model checking. MCFS relies on two new APIs that save and restore a file system's in-memory and on-disk state. We describe our earlier attempts at model-checking file systems, including unsuccessful or inefficient ones. Those attempts led us to develop VeriFS, which implements the new APIs. We illustrate MCFS's model-checking principles with VeriFS, a FUSE-based file system we were able to quickly develop with MCFS's help.","PeriodicalId":281760,"journal":{"name":"Proceedings of the 13th ACM Workshop on Hot Topics in Storage and File Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128922483","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}