(Enter summary)
Abstract: Operating system kernel code is generally immutable. This trend is unfortunate, because a
kernel that can insert (and later remove) code at run-time has many uses, including performance
measurement, debugging, code coverage, run-time installation of patches, and run-time optimizations.
The research in this dissertation investigates dynamic (run-time) kernel instrumentation
and its applications in the areas of kernel profiling and code evolution. We have implemented
dynamic kernel... (Update)
Cited by: More
GILK: A dynamic instrumentation tool for the - Linux Kernel Nonymous
(Correct)
Nonintrusive Precision Instrumentation - Of Microcontroller Software (2005)
(Correct)
System-wide Compaction and Specialization - Of The Linux
(Correct)
Active bibliography (related documents): More All
1.8: Using Dynamic Kernel Instrumentation for Kernel and.. - Tamches, Miller (1999)
(Correct)
1.2: Dynamic Kernel I-Cache Optimization - Tamches, Miller (2001)
(Correct)
0.9: Fine-Grained Dynamic Instrumentation of Commodity Operating.. - Tamches, Miller (1999)
(Correct)
Similar documents based on text: More All
0.4: A Comparison of System Monitoring Methods, Passive.. - Moore, McGregor, Breen
(Correct)
0.2: GILK: A dynamic instrumentation tool for the Linux Kernel - Pearce, Kelly, Field, Harder (2002)
(Correct)
0.2: Dynamic Instrumentation For Java Using A Virtual JVM - Yeung, Kelly, Bennett (2002)
(Correct)
Related documents from co-citation: More All
14: EEL: Machine-independent executable editing (context) - Larus, Schnarr - 1995
9: ATOM: A System for Building Customized Program Analysis Tools (context) - Srivastava, Eustace - 1994
8: The Paradyn parallel performance measurement tool
- Miller - 1995
BibTeX entry: (Update)
Tamches, Ariel and Barton P. Miller. Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels. Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI '99), pp. 117-130. New Orleans, LA, February 1999. USENIX. http://citeseer.ist.psu.edu/tamches01finegrained.html More
@inproceedings{ tamches99finegrained,
author = "Ariel Tamches and Barton P. Miller",
title = "Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels",
booktitle = "Operating Systems Design and Implementation",
pages = "117-130",
year = "1999",
url = "citeseer.ist.psu.edu/tamches01finegrained.html" }
Citations (may not include all citations):
1399
Compilers: Principles (context) - Aho, Sethi et al. - 1986
447
Exokernel: An Operating System Architecture for Application-..
- Engler, Kaashoek et al. - 1995
400
Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
264
Safe Kernel Extensions Without Run-Time Checking
- Necula, Lee - 1996
183
Profile Guided Code Positioning (context) - Pettis, Hansen - 1990
175
Dealing With Disaster: Surviving Misbehaved Kernel Extension..
- Seltzer, Endo et al. - 1996
171
EEL: Machine-Independent Executable Editing (context) - Larus, Schnarr - 1995
168
Making Paths Explicit in the Scout Operating System
- Mosberger, Peterson - 1996
150
gprof: a Call Graph Execution Profiler
- Graham, Kessler et al. - 1982
137
The Design and Implementation of a Certifying Compiler
- Necula, Lee - 1998
126
Vnodes: An Architecture for Multiple File System Types in Su..
- Kleiman - 1986
123
Optimizing ML with Run-Time Code Generation
- Lee, Leone - 1996
121
Continuous Profiling: Where Have All the Cycles Gone
- Anderson, Berc et al. - 1997
120
Dynamo: A Transparent Dynamic Optimization System
- Bala, Duesterwald et al. - 2000
119
Application Performance and Flexibility on Exokernel Systems
- Kaashoek, Engler et al. - 1997
111
Optimistic Incremental Specialization: Streamlining a Commer..
- Pu, Audrey et al. - 1995
107
Scout: A Communications-Oriented Operating System
- Montz, Mosberger et al. - 1995
90
Effective Dynamic Compilation (context) - Auslander, Philipose et al. - 1996
89
SPIN -- An Extensible Microkernel for Application-Specific O..
- Bershad, Chambers et al. - 1994
77
Very Fast Dynamic Code Generation System (context) - Engler, Retargetable - 1996
70
Adaptive Cache Coherency for Detecting Migratory Shared Data
- Cox, Fowler - 1993
69
Flexible Message Demultiplexing Using Dynamic Code Generatio.. (context) - Engler, Kaashoek et al. - 1996
67
ProfileMe: Hardware Support for Instruction-Level Profiling ..
- Dean, Hicks et al. - 1997
65
Computing Systems (context) - Pu, Massalin et al. - 1988
63
Dynamic Program Instrumentation for Scalable Performance Too.. (context) - Hollingsworth, Miller et al. - 1994
59
A Caching Model of Operating System Kernel Functionality
- Cheriton, Duda - 1994
58
Rewriting Executable Files to Measure Program Behavior
- Larus, Ball - 1994
54
SLIC: An Extensibility System for Commodity Operating System..
- Ghormley, Rodrigues et al. - 1998
51
Scalable Kernel Performance for Internet Servers Under Reali..
- Banga, Mogul - 1998
48
An Extensible Protocol Architecture for Application-Specific..
- Fiuczynski, Bershad - 1996
46
An API for Runtime Code Patching
- Buck, Hollingsworth
45
ACM Transactions on Programming Languages and Systems (context) - Ball, Larus et al. - 1994
44
Analysis of Techniques to Improve Protocol Processing Latenc..
- Mosberger, Peterson et al. - 1996
40
Dynamic Control of Performance Monitoring on Large Scale Par..
- Hollingsworth, Miller - 1993
38
Structured Programming with GOTO Statements (context) - Knuth - 1974
38
The Operating System Kernel as a Secure Programmable Machine
- Engler, Kaashoek et al. - 1994
34
Alpha 21164 Microprocessor Hardware Reference Manual (context) - Corporation - 1995
33
Overcoming the Challenges to Feedback-Directed Optimization (context) - Smith - 2000
27
Fast Concurrent Dynamic Linking for an Adaptive Operating Sy..
- Cowan, Audrey et al. - 1996
27
A Flexible Measurement Tool for Software Systems (context) - Deutsch, Grant - 1971
25
Self-monitoring and Self-adapting Operating Systems
- Seltzer, Small - 1997
23
MDL: A Language and Compiler for Dynamic Program Instrumenta..
- Hollingsworth, Miller et al. - 1997
22
Dynamic Feedback: An Effective Technique for Adaptive Comput..
- Diniz, Rinard - 1997
21
A Study of Dynamic Optimization Techniques: Lessons and Dire..
- Pu, Walpole - 1993
21
Wisconsin Proxy Benchmark (context) - Almeida, Cao
18
Edge Profiling versus Path Profiling: The Showdown
- Ball, Mataga et al. - 1998
17
Safe Dynamic Linking in an Extensible Operating System
- Sirer, Fiuczynski et al. - 1996
16
Microlanguages for Operating System Specialization
- Pu, Black et al. - 1997
15
Feedback-Directed Selection and Characterization of Compiler.. (context) - Chow, Wu - 1999
15
Feedback Directed Optimization in Compaq's Compilation Tools..
- Cohn, Lowney - 1999
15
Optimal Measurement Points for Program Frequency Counts (context) - Knuth, Stevenson - 1973
14
Improving the Effectiveness of Software Prefetching With Ada..
- Saavedra, Park - 1996
14
Instrumentation and Optimization of Win32/Intel Executables ..
- Romer, Voelker et al. - 1997
12
A Callgraph-Based Search Strategy for Automated Performance ..
- Cain, Miller et al. - 2000
10
mail communication (context) - Deutsch - 1999
9
Optimal Insertion of Software Probes in Well-Delimited Progr.. (context) - Probert - 1982
8
Computer Systems Laboratory (context) - Smith, Pixie et al. - 1991
7
A Tool for Constructing Safe Extensible C++ Systems
- Small - 1998
6
Specialization Classes: An Object Framework for Specializati..
- Cowan, Black et al. - 1996
6
Inaccuracies in Program Profilers (context) - Ponder, Fateman - 1988
5
Microprocessor User's Manual-Version (context) - Graphics
5
Purify: Fast Detection of Memory Leaks and Access Errors (context) - Web
5
Precise Interactive Measurement of Operating Systems Kernels (context) - Kuenning - 1995
4
VTune Performance Analyzer (context) - Corporation
3
Tracing and Characterization of Windows NT-based System Work.. (context) - Casmira, Hunter et al. - 1999
3
Interactive Machine Language Programming (context) - Lampson - 1965
3
Sun Performance And Tuning: Java and the Internet (context) - Cockroft, Pettit - 1998
3
Solaris Internals: Core Kernel Components (context) - Mauro, McDougall - 2001
3
th Annual ACM Symposium on Principles of Programming Languag.. (context) - Necula - 1997
3
Feedback-Directed Data Cache Optimizations for the x (context) - Barnes, Chaiken et al. - 1999
2
Squid Web Proxy Server (context) - for, Research
2
Quantify Web site (context) - Web
2
Pro Processor Developer's Manual (context) - Corporation - 1997
2
DDT -- Dynamic Debugging Technique (context) - Corporation - 1974
2
GNU wget: The Non-Interactive Downloading Utility (context) - Foundation
1
Personal communication (context) - Sites - 1998
1
First Annual Workshop on Compiler Support for Systems Softwa.. (context) - Seltzer, Small et al. - 1996
1
Special Edition on Active and Programmable Networks (context) - Hartman, Peterson et al. - 1998
1
ProfileMe for Performance Tuning on Alpha 21264a (context) - Corporation - 1999
1
inding for an Extensible System. 2nd USENIX Symposium on Ope.. (context) - Pardyak, Bershad - 1996
1
Dynamic Probes and Generised Kernel Hooks Interface for Linu.. (context) - Moore - 2000
1
Redstone: An On-line Program Specializer (context) - Deaver, Gorton et al. - 1999
1
rd ACM Workshop on Feedback-Directed and Dynamic Optimizatio.. (context) - Chen, Lerner et al. - 2000
1
Profile Under UNIX by Patching (context) - Bishop - 1987
1
Available at http://www (context) - tools
1
Kernel Synchronization Primitives (context) - Mauro - 1999
1
DDT Time Sharing Debugging System Reference Manual (context) - Deutsch, Lampson - 1965
1
Summer USENIX Technical Conference (context) - Rosenthal, Vnode - 1990
1
in the Synthesis Kernel. 12th ACM Symposium on Operating Sys.. (context) - Massalin, Pu et al. - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wisc.edu/paradyn/papers/index.html):
MRNet: A Software-Based Multicast/Reduction Network for.. - Roth, Arnold, Miller (2003)
(Correct)
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