Reference : Ahead of time static analysis for automatic generation of debugging interfaces to the...
Scientific journals : Article
Engineering, computing & technology : Computer science
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
Bissyande, Tegawendé François D Assise mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Réveillère, Laurent [Université Bordeaux 1 > LaBRI]
Lawall, Julia [Université Pierre et Marie Currie - Paris 6 - UPMC > LiP6 /INRIA]
Muller, Gilles [Université Pierre et Marie Currie - Paris 6 - UPMC > LiP6 / INRIA]
Automated Software Engineering
Springer Science & Business Media B.V.
Yes (verified by ORBilu)
[en] Diagnosys ; Debugging ; Linux ; Plugin ; Reliability ; Testing
[en] The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While there does exist a set of functions that are exported to external modules, this set of functions frequently changes, and the functions have implicit, ill-documented preconditions. No specific debugging support is provided. We present Diagnosys, an approach to automatically constructing a debugging interface for the Linux kernel. First, a designated kernel maintainer uses Diagnosys to identify constraints on the use of the exported functions. Based on this information, developers of kernel services can then use Diagnosys to generate a debugging interface specialized to their code. When a service including this interface is tested, it records information about potential problems. This information is preserved following a kernel crash or hang. Our experiments show that the generated debugging interface provides useful log information and incurs a low performance penalty.
Researchers ; Professionals

File(s) associated to this reference

Fulltext file(s):

Open access
paper.pdfAuthor preprint515.67 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.