See this document in CiteSeerX!

Fine-Grained Dynamic Instrumentation Of Commodity Operating System Kernels (2001)  (Make Corrections)  (39 citations)
Ariel Tamches
Operating Systems Design and Implementation



  Home/Search   Context   Related

 
View or download:
wisc.edu/paradyn/p...mches_thesis.ps.gz
wisc.edu/~tamches/mydissertation.pdf
wisc.edu/paradyn/te...tamches_thesis.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  wisc.edu/paradyn/papers/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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