SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Optimistic incremental specialization: streamlining a commercial operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
CORBA: a platform for distributed object computing
ACM SIGOPS Operating Systems Review
STiNG: a CC-NUMA computer system for the commercial marketplace
ISCA '96 Proceedings of the 23rd annual international symposium on Computer architecture
The synergy between non-blocking synchronization and operating system structure
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Making paths explicit in the Scout operating system
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Adaptive page replacement based on memory reference behavior
SIGMETRICS '97 Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Adaptive algorithms for managing a distributed data processing workload
IBM Systems Journal
HFS: a performance-oriented flexible file system based on building-block compositions
ACM Transactions on Computer Systems (TOCS)
Tornado: maximizing locality and concurrency in a shared memory multiprocessor operating system
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Compiler-based I/O prefetching for out-of-core applications
ACM Transactions on Computer Systems (TOCS)
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Fast and flexible application-level networking on exokernel systems
ACM Transactions on Computer Systems (TOCS)
Diagnosis and characterization of timing-related defects by time-dependent light emission
ITC '98 Proceedings of the 1998 IEEE International Test Conference
Novel optical probing technique for flip chip packaged microprocessors
ITC '98 Proceedings of the 1998 IEEE International Test Conference
HOTOS '97 Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI)
Latency management in storage systems
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Dynamic C++ classes: a lightweight mechanism to update code in a running program
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
The dawning of the autonomic computing era
IBM Systems Journal
Devirtualizable virtual machines enabling general, single-node, online maintenance
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Enabling collaborative adaptation across legacy components
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
Autonomic Web-Based Simulation
ANSS '05 Proceedings of the 38th annual Symposium on Simulation
Retrofitting networked applications to add autonomic reconfiguration
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Autonomic computing: emerging trends and open problems
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Develop once deploy anywhere achieving adaptivity with a runtime linker/loader framework
ARM '05 Proceedings of the 4th workshop on Reflective and adaptive middleware systems
HANet: a framework toward ultimately reliable network services
Journal of Systems and Software
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Live updating operating systems using virtualization
Proceedings of the 2nd international conference on Virtual execution environments
Towards an architectural approach for the dynamic and automatic composition of software components
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
JIT instrumentation: a novel approach to dynamically instrument operating systems
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Netchannel: a VMM-level mechanism for continuous, transparentdevice access during VM migration
Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
A configurable and extensible transport protocol
IEEE/ACM Transactions on Networking (TON)
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
Towards modelling and analysis of a coordination protocol for dynamic software adaptation
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Dynamic adaptive software components: the MOCAS approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
A dynamic OSGi-based data stream system
Proceedings of the 5th Middleware doctoral symposium
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Autonomic wireless sensor networks
Engineering Applications of Artificial Intelligence
Towards a systematic approach for designing autonomic systems
Web Intelligence and Agent Systems
ReCaml: execution state as the cornerstone of reconfigurations
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
On-the-fly kernel updates for high-performance computing clusters
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Elastic executions from inelastic programs
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Towards autonomic computing: a new self-management method
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part I
A case for secure and scalable hypervisor using safe language
Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores
A domain model for dynamic system reconfiguration
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Self-Aware software – will it become a reality?
Self-star Properties in Complex Information Systems
Enabling safe dynamic component-based software adaptation
Architecting Dependable Systems III
Log-structured memory for DRAM-based storage
FAST'14 Proceedings of the 12th USENIX conference on File and Storage Technologies
Hi-index | 0.00 |
Autonomic computing systems are designed to be self-diagnosing and self-healing, such that they detect performance and correctness problems, identify their causes, and react accordingly. These abilities can improve performance, availability, and security, while simultaneously reducing the effort and skills required of system administrators. One way that systems can support these abilities is by allowing monitoring code, diagnostic code, and function implementations to be dynamically inserted and removed in live systems. This "hot swapping" avoids the requisite prescience and additional complexity inherent in creating systems that have all possible configurations built in ahead of time. For already-complex pieces of code such as operating systems, hot swapping provides a simpler, higher-performance, and more maintainable method of achieving autonomic behavior. In this paper, we discuss hot swapping as a technique for enabling autonomic computing in systems software. First, we discuss its advantages and describe the required system structure. Next, we describe K42, a research operating system that explicitly supports interposition and replacement of active operating system code. Last, we describe the infrastructure of K42 for hot swapping and several instances of its use demonstrating autonomic behavior.