Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system最新文献

{"title":"The SawMill multiserver approach","authors":"A. Gefflaut, T. Jaeger, Yoonho Park, J. Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther","doi":"10.1145/566726.566751","DOIUrl":"https://doi.org/10.1145/566726.566751","url":null,"abstract":"Multiserver systems, operating systems composed from a set of hardware-protected servers, initially generated significant interest in the early 1990's. If a monolithic operating system could be decomposed into a set of servers with well-defined interfaces and well-understood protection mechanisms, then the robustness and configurability of operating systems could be improved significantly. However, initial multiserver systems [4, 14] were hampered by poor performance and software engineering complexity. The Mach microkernel [10] base suffered from a number of performance problems (e.g., IPC), and a number of difficult problems must be solved to enable the construction of a system from orthogonal servers (e.g., unified buffer management, coherent security, flexible server interface design, etc.).In the meantime, a number of important research results have been generated that lead us to believe that a re-evaluation of multiserver system architectures is warranted. First, microkernel technology has vastly improved since Mach. L4 [13] and Exokernel [6] are two recent microkernels upon which efficient servers have been constructed (i.e., L4Linux for L4 [12] and ExOS for Exokernel [9]). In these systems, the servers are independent OSes, but we are encouraged that the kernel and server overheads, in particular context switches overheads, are minimized. Second, we have seen marked improvements in memory management approaches that enable zero-copy protocols (e.g., fbufs [5] and emulated copy [3]). Other advances include, improved kernel modularity [7], component model services [8], multiserver security protocols, etc. Note that we are not the only researchers who believe it is time to re-examine multiservers, as a multiserver system is also being constructed on the Pebble kernel [11].In addition, there is a greater need for multiserver architectures now. Consider the emergence of a variety of specialized, embedded systems. Traditionally, each embedded system includes a specialized operating system. Given the expected proliferation of such systems, the number of operating systems that must be built will increase significantly. Tools for configuring operating systems from existing servers will become increasingly more valuable, and adequate protection among servers will be necessary to guard valuable information that may be stored on such systems (e.g., private keys). This is exactly the motivation for multiserver systems.In this paper, we define the SawMill multiserver approach. This approach consists of: (1) an architecture upon which efficient and robust multiserver systems can be constructed and (2) a set of protocol design guidelines for solving key multiserver problems. First, the SawMill architecture consists of a set of user-level servers executing on the L4 microkernel and a set of services that enable these servers to obtain and manage resources locally. Second, the SawMill protocol design guidelines enable system designers to minimize the commun","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117340878","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":"Trust and confidence in open systems: does security harmonize with mobility?","authors":"U. Baumgarten, C. Eckert, Harald Görl","doi":"10.1145/566726.566756","DOIUrl":"https://doi.org/10.1145/566726.566756","url":null,"abstract":"Mobile devices like organizers, mobile phones, notebooks, other personal appliances and equipment as well as traditional PCs and workstations interconnected by wireless and other networks make up today's computing and communication environments (see [3], [1]). By now, mobile devices are in use for business work as well as for personal applications like private e-mails and electronic commerce. As mobile devices will play an important role in our social and business life, studying their trusted and confidential usage in possibly untrusted and unconfidential environments is urgently required.The intention of this position paper is to stimulate discussion about the relevance of trust and confidence in the usage of mobile devices. In this sense we try to explain the characteristic situations of mobile devices, to explain their special needs, to give a short overview of some relevant OS in this area including the distinction to similar approaches in embedded systems, to focus on some selected needs in mobility and security (here Trust and Confidence), to present a short overview of the solution architecture for these needs within our research project. We then focus in this paper on the requirements the operating software of such systems should fulfill.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125393345","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":"Panasync: dependency tracking among file copies","authors":"Paulo Sérgio Almeida, Carlos Baquero, V. Fonte","doi":"10.1145/566726.566729","DOIUrl":"https://doi.org/10.1145/566726.566729","url":null,"abstract":"File copying is frequently used to implement ad hoc management of file replicas, backups and versions. Such tasks can be assisted by appropriate applications, at the expense of introducing some restrictions to the usage patterns. In particular, this is the case of interactions involving disconnected machines and transportable media. PANASYNC tries to support these actions by introducing a set of commands for file copying and re-integration that complement the file-system commands and provide support for dependency analysis among time-stamp assisted files.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"84 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114049785","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":"Application-independent reconciliation for nomadic applications","authors":"M. Shapiro, A. Rowstron, Anne-Marie Kermarrec","doi":"10.1145/566726.566728","DOIUrl":"https://doi.org/10.1145/566726.566728","url":null,"abstract":"We describe attempts to build an application-independent model to support reconciliation of diverged replicas of shared objects. While replicas are disconnected from one another, actions on the shared objects are recorded in a log. An action is composed of a precondition, an operation and a postcondition. When reconnecting, the system attempts to reconcile the divergent replicas, in several phases. A symbolic phase merges the separate logs, creating one or more schedules, such that preconditions from one log remain true despite the postconditions introduced by the other. Then, a simulation phase checks the possible outcomes by actually applying the schedules to scratch copies of the shared objects. Finally, a selection phase allows users or applications to select one of the candidate schedules.Our approach supports sharing general objects, where one update may reference multiple objects (not just a single file or database). Compared to previous work on log-based reconciliation, our logs capture more semantic information and provide the application with more powerful and finer control over the outcome of reconciliation.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"31 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128563227","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":"Position paper: the role of platforms and operating systems in supporting home networks","authors":"N. Davies, P. Raverdy","doi":"10.1145/566726.566761","DOIUrl":"https://doi.org/10.1145/566726.566761","url":null,"abstract":"As researchers look beyond the PC there is increasing interest in developing and deploying sophisticated home networks. Such networks might allow the seamless integration of information and services produced both within the home and externally, enabling applications such as the purchase of on-line AV content, tight coupling between kitchen sensors and \"Web Van\" order forms, and home remote control. From a manufacturers perspective, particularly those manufacturers traditionally associated with business computing, the home market is perceived as a major new opportunity to expand sales. As a consequence, home networks have been an area of intense activity in recent years with the emergence of a range of network solutions (e.g. HomeRF, HomePNA, IEEE 1394, Bluetooth) and middleware to support device interoperability (e.g. HAVi, Jini, UPnP). This focus on networking technologies and middleware platforms suggests that the area of operating systems for home networking devices has received relatively little attention. In this paper we discuss the reasons behind this apparent omission and consider the technological landscape within which operating systems for the home must be researched, developed and deployed.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"68 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133866531","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":"Increasing appliance autonomy using energy-aware scheduling of Java multimedia applications","authors":"Parain Frederic, C. Gilbert, B. Michel, Higuera Teresa, Issarny Valérie, Lesot Jean-Philippe","doi":"10.1145/566726.566762","DOIUrl":"https://doi.org/10.1145/566726.566762","url":null,"abstract":"Nowadays the appliance market is growing faster and faster. These computers are going to support in the near future new applications like high fidelity music player, video on demand, or video conference. In this context, real-time (due to multimedia applications) and autonomy are still main concerns for these embedded computers. To solve those problems, we introduce in this position paper a new approach based on the combination of real-time and power management in the scheduler of the operating system.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127038674","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":"Smart cards: a system support for service accessibility from heterogeneous devices","authors":"Raphaël Marvie, M. Pellegrini, O. Potonniée","doi":"10.1145/566726.566770","DOIUrl":"https://doi.org/10.1145/566726.566770","url":null,"abstract":"With the proliferation of computers which do not resemble computers, such as mobile phones, TV's, PDA's, end-users wish to take advantage of them to access their applications and information, wherever they are and whatever the device used.This article deals with a common means to access a same service from various kinds of devices, and explains how smart cards, as mediums compatible with most types of terminals, can be used as application bootstrap.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127241423","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":"Gaia: enabling active spaces","authors":"M. Román, R. Campbell","doi":"10.1145/566726.566772","DOIUrl":"https://doi.org/10.1145/566726.566772","url":null,"abstract":"Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ways of interacting with the computational environment. Because the computational environment is spread across the physical space, personal computers lose the focus of attention. Therefore, the users' view of the computational environment is finally extended beyond the physical limits of the computer. Physical spaces become computer systems, or in other terms, Active Spaces. However, these Active Spaces require novel system software capable of seamlessly coordinating their hidden complexity. Our goal is to extend the model provided by current computer systems to allow interaction with physical spaces and their contained entities (physical and virtual) by means of a single abstraction called Active Space.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126931874","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":"Session details: Session 5: Distributed storage","authors":"M. Satya","doi":"10.1145/3247719","DOIUrl":"https://doi.org/10.1145/3247719","url":null,"abstract":"","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122940628","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":"Let's put NetApp and CacheFlow out of business!","authors":"E. Gabber, Elizabeth A. M. Shriver","doi":"10.1145/566726.566746","DOIUrl":"https://doi.org/10.1145/566726.566746","url":null,"abstract":"We believe that a lightweight and portable specialized file system library can provide applications with performance close to that of special-built appliances running on closed proprietary operating systems. Moreover, the application may execute on commodity hardware with a general-purpose operating system, and with minimal changes to the application source code. Such a file system would allow anyone to build cheap, high-performance appliances. We present the design of Hummingbird, a file system for caching web proxies. Hummingbird is 6-11 times faster than a general-purpose file system when serving a web proxy cache.","PeriodicalId":147728,"journal":{"name":"Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121645348","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}