C. Consel, C. Pu, and J. Walpole. Making production OS kernel adaptive: Incremental specialization in practice. Technical report, Oregon Graduate Institute, Portland, Oregon, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Accurate Binding-Time Analysis For Imperative Languages.. - Hornof, Noyé (38 citations) (Correct)
....an area where the conflict between generality (an operating system must, by definition, deal with a wide variety of situations) and performance is especially acute. It is therefore not surprising that many opportunities for applying partial evaluation to operating systems code have been identified [11, 12, 28]. However, we have discovered that existing partialevaluation technology is not sufficiently advanced to effectively specialize the corresponding programs. This is due to a lack of accuracy of binding time analyses in dealing with typical features of imperative programs, such as pointers, aliases, ....
C. Consel, C. Pu, and J. Walpole. Making production OS kernel adaptive: Incremental specialization in practice. Technical report, Department of Computer Science and Engineering, Oregon Graduate Institute of Science & Technology, 1994.
A General Approach for Run-Time Specialization and its.. - Consel, al. (1995) (104 citations) Self-citation (Consel) (Correct)
No context found.
C. Consel, C. Pu, and J. Walpole. Making production OS kernel adaptive: Incremental specialization in practice. Technical report, Oregon Graduate Institute, Portland, Oregon, 1994.
A Uniform Approach for Compile-time and Run-time.. - Consel, Hornof.. (1996) (37 citations) Self-citation (Consel) (Correct)
....In this context, forms of partial evaluation have become a key RR n2775 10 Charles Consel, Luke Hornof, Fran cois Noel, Jacques Noy e, Nicolae Volanschi technique to develop adaptive operating systems. Examples of such projects include Spin [4] ExoKernel [17] Scout [26] and Synthesis [14, 13]. To validate the applicability of Tempo we have been studying in detail various system components. Some of this work has been done in collaboration with operating system researchers. For example, we have been collaborating with the Synthesis group at Oregon Graduate Institute to apply our ....
C. Consel, C. Pu, and J. Walpole. Making Production OS Kernel Adaptive: Incremental Specialization in Practice. Technical Report, Oregon Graduate Institute, Portland, Oregon, 1994.
Effective Specialization of Realistic Programs via Use.. - Hornof, Consel.. (1997) (9 citations) Self-citation (Consel) (Correct)
....that it cannot be successfully applied to existing code. Most systems programs critically rely on the use of complex data structures that combine such values as pointers, structures and arrays. These data structures implement a system state, which is interpreted by various system components [17, 18, 41, 48]. In the context of partial evaluation, the state is typically partially static and thus used in static computations as well as dynamic computations. These various uses are usually treated conservatively by existing binding time analyses [5, 28] More specifically, when a static value is used in a ....
C. Consel, C. Pu, and J. Walpole. Making production OS kernel adaptive: Incremental specialization in practice. Technical report, Department of Computer Science and Engineering, Oregon Graduate Institute of Science & Technology, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC