• Corpus ID: 36044060

Dynamic Probes and Generalised Kernel Hooks Interface for Linux

  title={Dynamic Probes and Generalised Kernel Hooks Interface for Linux},
  author={Richard J. Moore},
  booktitle={Annual Linux Showcase \& Conference},
  • Richard J. Moore
  • Published in
    Annual Linux Showcase…
    10 October 2000
  • Computer Science
Dynamic Probes (Dprobes)[1] is a generic and pervasive system debugging facility that will operate under the most extreme software conditions such as debugging a deep rooted operating system problems in a live environment. For example, page-manager bugs in the kernel or perhaps user or system problems that will not re-create easily in either a lab or production environment. For such inaccessible problem scenarios Dprobes not only offers a technique for gathering diagnostic information but has a… 

Topics from this paper

Generalized Dynamic Probes for the Linux Kernel and Applications with Arachne
Arachne, a tool for runtime analysis of complex applications that allows safe and runtime injection of probes inside the Linux kernel and user space applications on both function calls and variable access, features an Aspect- Oriented language that allows to access context of execution and to compose primitive probes.
Fine-grained dynamic instrumentation of commodity operating system kernels
Fine-grained dynamic instrumentation of commodity kernels, which can splice (insert) dynamically generated code before almost any machine code instruction of a completely unmodified running commodity operating system kernel, is developed.
An expressive aspect language for system applications with Arachne
A new aspect system is presented to provide a solution to the problem of how to modularize the replacement of network protocols and prevent buffer overflows and an implementation of the language as an extension of Arachne, a dynamic weaver for C applications is presented.
Compiler-Assisted Software Model Checking and Monitoring
This dissertation presents a compiler-assisted execution-based software model checking method targeting all languages that are acceptable by the compiler, and introduces the new technique of Software Monitoring with Controllable Overhead (SMCO).
mTags: augmenting microkernel messages with lightweight metadata
In this work we propose mTags, an efficient mechanism that augments microkernel interprocess messages with lightweight metadata to enable the development of new, system-wide functionality without
CrossWalk: A Tool for Performance Profiling Across the User-Kernel Boundary
The chapter describes the usefulness of the cross-boundary approach by analyzing the Squid proxy server with CrossWalk, and how one can identify the ultimate cause of Squid's performance problems and remove them by modifying the application's source code.
Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World
This is the first deliverable of WP5, which covers Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World. As described in the project DOW,
Évolution dynamique des systèmes d'exploitation, une approche par la programmation par aspects
Dans un contexte ou les technologies de communication evoluent a grande vitesse, la course effrenee a l'integration de nouvelles fonctionnalites dans les systemes informatiques est souvent engagee au