发布求助
文献互助 智能选刊 最新文献

2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)最新文献

筛选
英文 中文
A generic approach for deploying and upgrading mutable software components 用于部署和升级可变软件组件的通用方法
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226613
S. V. D. Burg
{"title":"A generic approach for deploying and upgrading mutable software components","authors":"S. V. D. Burg","doi":"10.1109/HOTSWUP.2012.6226613","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226613","url":null,"abstract":"Deploying and upgrading software systems is typically a labourious, error prone and tedious task. To deal with the complexity of a software deployment process and to make this process more reliable, we have developed Nix, a purely functional package manager as well as an extension called Disnix, capable of deploying service-oriented systems in a network of machines. Nix and its applications only support deployment of immutable components, which never change after they have been built. However, not all components of a software system are immutable, such as databases. These components must be deployed by other means, which makes deployment and upgrades of such systems difficult, especially in large networks. In this paper, we analyse the properties of mutable components and we propose Dysnomia, a deployment extension for mutable components.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"21 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120987420","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
Safe and automated state transfer for secure and reliable live update 安全，自动状态转移，安全可靠的实时更新
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226610
Cristiano Giuffrida, A. Tanenbaum
{"title":"Safe and automated state transfer for secure and reliable live update","authors":"Cristiano Giuffrida, A. Tanenbaum","doi":"10.1109/HOTSWUP.2012.6226610","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226610","url":null,"abstract":"Traditional live update systems offer little or no automated support for state transfer between two different program versions with changes in the program state. In this paper, we report our efforts to build a safe and automated state transfer framework for C programs that requires a minimal number of program state annotations and handles common structural state changes with no programmer assistance. To handle more complex state transformations, the framework includes a number of extension mechanisms designed to minimize the overall programming effort. Our experience with real-world programs suggests that our framework can handle all the standard C idioms and support safe and automated state transfer for complex state changes. We believe our approach is effective in several update scenarios and significantly raises the bar on the security and reliability of live update.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115024853","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}
引用次数: 18
Verification of software changes with ExpliSAT 用ExpliSAT验证软件更改
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226614
Hana Chockler, Sitvanit Ruah
{"title":"Verification of software changes with ExpliSAT","authors":"Hana Chockler, Sitvanit Ruah","doi":"10.1109/HOTSWUP.2012.6226614","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226614","url":null,"abstract":"We describe an algorithm for efficient formal verification of changes in software built on top of a model-checking procedure that traverses the control flow graph explicitly while representing the data symbolically. The main idea of our algorithm is to guide the control flow graph exploration first to the paths that traverse through the changed nodes in the graph. We implemented this idea on top of the concolic model checker ExpliSAT and the experimental results on real programs show a significant improvement in performance compared to re-verification of the whole program, when the change involves a small fraction of paths on the control flow graph.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115397157","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}
引用次数: 3
How to have your cake and eat it too: Dynamic software updating with just-in-time overhead 如何鱼与熊掌兼得:动态软件更新与及时开销
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226611
R. Bazzi, Bryan Topp, Iulian Neamtiu
{"title":"How to have your cake and eat it too: Dynamic software updating with just-in-time overhead","authors":"R. Bazzi, Bryan Topp, Iulian Neamtiu","doi":"10.1109/HOTSWUP.2012.6226611","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226611","url":null,"abstract":"We consider the overhead incurred by programs that can be updated dynamically and argue that, in general, and regardless of the mechanism used, the program must incur an overhead during normal execution. We argue that the overhead during normal execution of the updateable program need not be as high as the overhead for the updated program. In light of the fundamental limitations and the differences in the overhead that must be incurred by the updateable and updated programs, we propose a new mechanism for dynamic software update based on a new shifting gears approach. The mechanism attempts to incur just the required overhead depending on the stage of update the application is in. Before an update the execution incurs low overhead and when an update occurs the execution incurs higher overhead which reverts to low overhead as the execution progresses. We evaluate the mechanism by modifying an application by hand. Preliminary performance numbers show that the mechanism performs better than existing mechanisms for dynamic software update.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124266697","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}
引用次数: 5
Towards standardized benchmarks for Dynamic Software Updating systems 迈向动态软件更新系统的标准化基准
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226609
Edward K. Smith, M. Hicks, J. Foster
{"title":"Towards standardized benchmarks for Dynamic Software Updating systems","authors":"Edward K. Smith, M. Hicks, J. Foster","doi":"10.1109/HOTSWUP.2012.6226609","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226609","url":null,"abstract":"Dynamic Software Updating (DSU) has been an active topic of research for at least the last 30 years. However, despite many recent advances, DSU has yet to see widespread adoption and deployment in practice. In this paper, we review a slice of the history of DSU research to study how DSU for C has evolved over the last two decades. We examine the ways DSU systems are evaluated in the research literature. We identify several shortcomings of the evaluation criteria that have been used, and propose key improvements. We believe that using better evaluation criteria can guide DSU research to produce systems that will be more practical, flexible, and usable.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128506807","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
A study of dynamic software update quiescence for multithreaded programs 多线程程序的动态软件更新静态研究
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226617
Christopher M. Hayden, Karla Saur, M. Hicks, J. Foster
{"title":"A study of dynamic software update quiescence for multithreaded programs","authors":"Christopher M. Hayden, Karla Saur, M. Hicks, J. Foster","doi":"10.1109/HOTSWUP.2012.6226617","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226617","url":null,"abstract":"Dynamic software updating (DSU) techniques show great promise in allowing vital software services to be upgraded without downtime, avoiding dropped connections and the loss of critical program state. For multithreaded programs, DSU systems must balance correctness and timeliness. To simplify reasoning that an update is correct, we could limit updates to take place only when all threads have blocked at well-defined update points. However, several researchers have pointed out that this approach poses the risk of delaying an update for too long, even indefinitely, and therefore have developed fairly complicated mechanisms to mitigate the risk. This paper argues that such mechanisms are unnecessary by demonstrating empirically that many multithreaded programs can be updated with minimal delay using only a small number of manually annotated update points. Our study of the time taken for all of the threads in six real-world, event-driven programs to reach their update points ranged from 0.155 to 107.558 ms, and most were below 1 ms.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115700462","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}
引用次数: 26
Multi-version software updates 多版本软件更新
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226615
Cristian Cadar, Petr Hosek
{"title":"Multi-version software updates","authors":"Cristian Cadar, Petr Hosek","doi":"10.1109/HOTSWUP.2012.6226615","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226615","url":null,"abstract":"Software updates present a difficult challenge to the software maintenance process. Too often, updates result in failures, and users face the uncomfortable choice between using an old stable version which misses recent features and bug fixes, and using a new version which improves the software in certain ways, only to introduce other bugs and security vulnerabilities. In this position paper, we propose a radically new approach for performing software updates: whenever a new update becomes available, instead of upgrading the software to the new version, we instead run the new version in parallel with the old one. By carefully coordinating their executions and selecting the behavior of the more reliable version when they diverge, we can preserve the stability of the old version without giving up the features and bug fixes added to the new version. We are currently focusing on a prototype system targeting multicore CPUs, but we believe this approach could also be deployed on other parallel platforms, such as GPGPUs and cloud environments.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127176355","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}
引用次数: 21
Atomic Dynamic Upgrades using software transactional memory 使用软件事务性内存的原子动态升级
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226612
Luís Pina, João P. Cachopo
{"title":"Atomic Dynamic Upgrades using software transactional memory","authors":"Luís Pina, João P. Cachopo","doi":"10.1109/HOTSWUP.2012.6226612","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226612","url":null,"abstract":"In this paper, we propose the use of a Software Transactional Memory to implement a Dynamic Software Upgrade system that combines two desirable properties. First, it provides a simple semantics to the developer, while allowing upgrades to occur atomically, concurrently with the execution of the program. Second, it converts the program's data lazily, as data is progressively accessed by the execution of the upgraded program. We present also experimental results that show that our lazy approach to software upgrades is able to upgrade a system without affecting significantly the maximum response time of the system's operations, whereas an immediate approach shows values of maximum response time up to three orders of magnitude higher.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127031392","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}
引用次数: 10
Theseus: Whole updates of java server applications Theseus: java服务器应用程序的完整更新
2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp) Pub Date : 2012-06-03 DOI: 10.1109/HOTSWUP.2012.6226616
Erwann Wernli
{"title":"Theseus: Whole updates of java server applications","authors":"Erwann Wernli","doi":"10.1109/HOTSWUP.2012.6226616","DOIUrl":"https://doi.org/10.1109/HOTSWUP.2012.6226616","url":null,"abstract":"We present a novel approach to update server applications in Java. In our approach, different versions of the code coexist in the system, but are isolated into distinct contexts. The server can switch from one context to another incrementally in order to process incoming requests. Our approach has the following characteristics: (1) updatability is defined and added to the application by developers, (2) no syntax is added to the language and the update is controlled via the manipulation of objects, (3) the whole system is migrated lazily and eventually replaces the old system, (4) it is safe to update global entities anytime and there is no need to reach update points. We demonstrate our approach by updating the Jetty web server.","PeriodicalId":103862,"journal":{"name":"2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)","volume":"316 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132067338","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}
引用次数: 6
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学术文献互助群
群 号：604180095
Book学术官方微信