ACM SIGOPS Oper. Syst. Rev.最新文献

{"title":"The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios","authors":"A. Bessani, Leucio Antonio Cutillo, G. Ramunno, Norbert Schirmer, Paolo Smiraglia","doi":"10.1145/2694737.2694741","DOIUrl":"https://doi.org/10.1145/2694737.2694741","url":null,"abstract":"TClouds was an EU project (2010-2013) targeted at improving the security and the dependability of cloud infrastructures and services, especially for supporting critical applications. During the project, the participants of the consortium developed a platform containing a portfolio of solutions for improving the state of the art in cloud security and dependability. Here we present an overview of these solutions and two examples of how they can be integrated to provide security for critical cloud-based applications.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88029605","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":"SOSP Professional Travel Scholarship: Reflections by Recipient Cary Gray","authors":"Cary Gray","doi":"10.1145/2694737.2694744","DOIUrl":"https://doi.org/10.1145/2694737.2694744","url":null,"abstract":"I first attended SOSP in 1989, shortly before finishing my graduate study. I’ve been at all but one SOSP since then; I think of SOSP as my professional home. For most of that time, however, I’ve been an outlier, straddling the gap between the systems research community at SOSP and a very different community involved in undergraduate education. Whichever group I’m with, I feel I have to do a lot of explaining about the other. But I do feel that maintaining my connection to SOSP has been one of the most important things that I have done for the sake of my twenty years of undergraduate teaching. The schools in which I have worked are focused on undergraduates – in our science programs, that is all that we have—and on teaching. I’ve also been in programs with few faculty, so that my teaching assignments run across the entire field, not just systems courses. The big reward is in the opportunity to invest in my students, because there is lots of close contact over the four years that they are here. The downside is that it is hard to remain active in a research community. One of the most important things I can provide my students is perspective. It is vital that I maintain the outlook of a computer scientist who teaches, rather than being (only) a teacher of computer science. SOSP is my lifeline, a biennial pilgrimage for a chance to again immerse myself in a few days of conversation with folks who are working at the frontiers of research. That’s very refreshing, and it is a tremendous help as I think about what needs to be in our too-crowded curriculum and how to approach teaching it. And I’ve had lots of great conversations about undergraduate computer science: at my first SOSP after I started teaching, there was a memorable late night with Bruce Nelson and Mark Weiser, who were at the time preparing to advise the schools that they had attended. The CS-education conferences are useful, but they aren’t the like SOSP. The spectrum of principally-undergraduate colleges is broad, and I’ve chosen to work in a region of that spectrum where the teaching loads are fairly heavy and the support structures for research are light. I’ve usually attended SOSP at my own expense–that’s how valuable I find it. So I’m grateful for the financial support of a scholarship for 2013, and I think it would be a valuable service to the both communities— systems and undergraduate education—if faculty from more of the principally-undergraduate CS programs could share in the SOSP experience.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82635043","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":"SOSP Professional Travel Scholarship: Reflections by Recipient Artur Baruchi","authors":"Artur Baruchi","doi":"10.1145/2694737.2694745","DOIUrl":"https://doi.org/10.1145/2694737.2694745","url":null,"abstract":"My participation in SOSP, enabled by the Travel Scholarship program, was full of remarkable experiences. The time outside of the conference sessions was valuable and I was able to meet many new people and make friends, so even this aspect of the experience was a big win, and worth it. As a Ph.D. student at the University of Sao Paulo in Brazil, participating in SOSP was particularly beneficial to me. Here in Brazil, unfortunately, we don’t have systems conferences (at least of this size) happening regularly. And when I have previously participated in a scientific event of similar size, time constraints did not allow me to attend all the presentations. Thus, I can say that SOSP was my first participation in a conference of this magnitude. As a future researcher, and current student at the University of Sao Paulo, the SOSP participation benefited me in several ways, but the most important was the contact with others researchers and professors that already have an established research career. Talking with them was very helpful. Another significant benefit was being able to see the huge participation of companies supporting the conference and offering research positions. Beyond the prospects of future research and the student aspects, the conference was, somehow, inspiring. During the dinner, that was offered by the conference, I had the opportunity to talk with other students. Many are in the same situation that I am facing in my own research, while others have already passed through the same problems that I am facing. These student colleagues shared many tips and advice. Part of the agreement in receiving this scholarship was to share my experiences from SOSP with both my colleagues at HP Sao Paulo and at my university. When I returned to Brazil, I prepared a presentation for colleagues at the University of Sao Paulo. My presentation was roughly an hour and a half. Many in the audience knew of SOSP, but few of them had had the opportunity to attend. Given that they already are familiar with the conference, I was able to talk about specific works that were relevant and of interest to them. Also, I talked about my conversations with other students, researchers, and professors about ideas for collaboration on papers and about new investments in equipment. Creating and preparing a presentation for my colleagues at HP Sao Paulo was a much greater challenge. Since the focus of my work at HP is not systems research, I wanted a presentation that would illustrate the benefits of academic research for working professional engineers. The majority of people in the audience had little contact with academia and I needed, at the very beginning of the presentation, to talk about academic conferences, why they are important, how hard is to have an accepted paper in conferences like SOSP, etc. After that, I talked about past papers of the SOSP to show that some of the technologies that they use were first presented in SOSP and after some years these ideas and system","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73314476","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":"A Report on the First TRIOS Conference","authors":"D. Terry","doi":"10.1145/2694737.2694746","DOIUrl":"https://doi.org/10.1145/2694737.2694746","url":null,"abstract":"","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75788942","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":"An introduction to Docker for reproducible research","authors":"C. Boettiger","doi":"10.1145/2723872.2723882","DOIUrl":"https://doi.org/10.1145/2723872.2723882","url":null,"abstract":"As computational work becomes more and more integral to many aspects of scientific research, computational reproducibility has become an issue of increasing importance to computer systems researchers and domain scientists alike. Though computational reproducibility seems more straight forward than replicating physical experiments, the complex and rapidly changing nature of computer environments makes being able to reproduce and extend such work a serious challenge. In this paper, I explore common reasons that code developed for one research project cannot be successfully executed or extended by subsequent researchers. I review current approaches to these issues, including virtual machines and workflow systems, and their limitations. I then examine how the popular emerging technology Docker combines several areas from systems research - such as operating system virtualization, cross-platform portability, modular re-usable elements, versioning, and a 'DevOps' philosophy, to address these challenges. I illustrate this with several examples of Docker use with a focus on the R statistical environment.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86576694","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":"No more electrical infrastructure: towards fuel cell powered data centers","authors":"A. C. Riekstin, Sean James, A. Kansal, Jie Liu, Eric Peterson","doi":"10.1145/2626401.2626410","DOIUrl":"https://doi.org/10.1145/2626401.2626410","url":null,"abstract":"We consider the use of fuel cells for powering data centers, based on benefits in reliability, capital and operational costs, and reduced environmental emissions. Using fuel cells effectively in data centers introduces several challenges and we highlight key research questions for designing a fuel cell based data center power distribution system. We analyze a specific configuration in the design space to quantify the cost benefits for a large scale data center, for the most mature and commonly deployed fuel cell technology, achieving over 20% reduction in costs using conservative projections.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74521209","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":"Automatic verification of active device drivers","authors":"Sidney Amani, P. Chubb, A. Donaldson, Alexander Legg, Keng Chai Ong, L. Ryzhyk, Yanjin Zhu","doi":"10.1145/2626401.2626424","DOIUrl":"https://doi.org/10.1145/2626401.2626424","url":null,"abstract":"We develop a practical solution to the problem of automatic verification of the interface between device drivers and the operating system. Our solution relies on a combination of improved driver architecture and verification tools. Unlike previous proposals for verification-friendly drivers, our methodology supports drivers written in C and can be implemented in any existing OS. Our Linuxbased evaluation shows that this methodology amplifies the power of existing model checking tools in detecting driver bugs, making it possible to verify properties that are beyond the reach of traditional techniques.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80804418","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":"Techniques for efficient in-memory checkpointing","authors":"Dirk Vogt, Cristiano Giuffrida, H. Bos, A. Tanenbaum","doi":"10.1145/2626401.2626406","DOIUrl":"https://doi.org/10.1145/2626401.2626406","url":null,"abstract":"Checkpointing is a pivotal technique in system research, with applications ranging from crash recovery to replay debugging. In this paper, we evaluate a number of in-memory checkpointing techniques and compare their properties. We also present a new compiler-based checkpointing scheme which improves state-of-the-art performance and memory guarantees in the general case. Our solution relies on a shadow state to efficiently store incremental in-memory checkpoints, at the cost of a smaller user-addressable virtual address space. Contrary to common belief, our results show that in-memory checkpointing can be implemented efficiently with moderate impact on production systems.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80730388","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":"Customer-oriented diagnosis of memory provisioning for IaaS clouds","authors":"R. Pfitscher, M. A. Pillon, R. Obelheiro","doi":"10.1145/2626401.2626403","DOIUrl":"https://doi.org/10.1145/2626401.2626403","url":null,"abstract":"Infrastructure-as-a-service clouds enable customers to use computing resources in a flexible manner to satisfy their needs, and pay only for the allocated resources. One challenge for IaaS customers is the correct provisioning of their resources. Many users end up underprovisioning, hurting application performance, or overprovisioning, paying for resources that are not really necessary. Memory is an essential resource for any computing system, and is frequently a nperformance-limiting factor in cloud environments. In this work, we propose a model that enables cloud customers to determine whether the memory allocated to their virtual machines is correctly provisioned, underprovisioned, or overprovisioned. The model uses two metrics collected inside a VM, resident and committed memory, and defines thresholds for these metrics that characterize each provisioning level. Experimental results with Linux guests on Xen, running four benchmarks with different workloads and varying memory capacity, show that the model was able to accurately diagnose memory provisioning in 98% of the scenarios evaluated.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77295757","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":"Towards efficient, portable application-level consistency","authors":"T. S. Pillai, Vijay Chidambaram, J. Hwang, A. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau","doi":"10.1145/2626401.2626407","DOIUrl":"https://doi.org/10.1145/2626401.2626407","url":null,"abstract":"Applications employ complex protocols to ensure consistency after system crashes. Such protocols are affected by the exact behavior of file systems. However, modern file systems vary widely in such behavior, reducing the correctness and performance of applications. In this paper, we study application-level crash consistency. Through the detailed study of two popular database libraries (SQLite, LevelDB), we show that application performance and correctness heavily depend on file-system properties previously ignored in research. We define a number of such properties and show that they vary widely among file systems. We conclude with implications for future file-system and dependability research.","PeriodicalId":7046,"journal":{"name":"ACM SIGOPS Oper. Syst. Rev.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90832690","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}