Adaptive operating systems allow one to optimize system functionalities with respect to common situations. We present an experiment aimed at optimizing the RPC implementation in Chorus by manual specialization. We show that there exist numerous opportunities for specialization and that they can lead to great improvements. Then, we discuss how this optimization can be reproduced automatically with a specializer for C programs
Adaptive applications form an increasingly important class of applications for the embedded systems ...
Traditionally, hypervisors, operating systems, and runtime systems have been providing an abstractio...
General-purpose operating systems such as Linux are increasingly replacing custom embedded counterpa...
Specialization has been recognized as a powerful technique for optimizing operating systems. However...
Most operating systems heavily rely on intermediate data structures for modularity or portability re...
Conventional operating system code is written to deal with all possible system states, and performs ...
A customizable operating system is one that can adapt to improve its functionality or performance. T...
Specializing programs with respect to run-time invariants is an optimization technique that has show...
This paper presents an object-oriented framework for specifying specializations in long-running prog...
The overhead of performing optimizations during execu-tion is the main hindrance in achieving good p...
Specialization is an automatic approach to customizing a program with respect to con guration values...
: Safety-critical systems typically operate in unpredictable environments. Requirements for safety a...
Abstract — Fast and optimized protocol stacks play a major role in the performance of network servic...
This paper provides the following contributions to the study of middleware optimization techniques f...
AbstractSpecialization is an automatic approach to customizing a program with respect to configurati...
Adaptive applications form an increasingly important class of applications for the embedded systems ...
Traditionally, hypervisors, operating systems, and runtime systems have been providing an abstractio...
General-purpose operating systems such as Linux are increasingly replacing custom embedded counterpa...
Specialization has been recognized as a powerful technique for optimizing operating systems. However...
Most operating systems heavily rely on intermediate data structures for modularity or portability re...
Conventional operating system code is written to deal with all possible system states, and performs ...
A customizable operating system is one that can adapt to improve its functionality or performance. T...
Specializing programs with respect to run-time invariants is an optimization technique that has show...
This paper presents an object-oriented framework for specifying specializations in long-running prog...
The overhead of performing optimizations during execu-tion is the main hindrance in achieving good p...
Specialization is an automatic approach to customizing a program with respect to con guration values...
: Safety-critical systems typically operate in unpredictable environments. Requirements for safety a...
Abstract — Fast and optimized protocol stacks play a major role in the performance of network servic...
This paper provides the following contributions to the study of middleware optimization techniques f...
AbstractSpecialization is an automatic approach to customizing a program with respect to configurati...
Adaptive applications form an increasingly important class of applications for the embedded systems ...
Traditionally, hypervisors, operating systems, and runtime systems have been providing an abstractio...
General-purpose operating systems such as Linux are increasingly replacing custom embedded counterpa...