Linux Kernel Debugging

Linux Kernel Debugging

Kaiwan N Billimoria

71,13 €
IVA incluido
Disponible
Editorial:
Packt Publishing
Año de edición:
2022
Materia
Programación informática/desarrollo de software
ISBN:
9781801075039
71,13 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

Effectively debug kernel modules, device drivers, and the kernel itself by gaining a solid understanding of powerful open source tools and advanced kernel debugging techniquesKey Features- Fully understand how to use a variety of kernel and module debugging tools and techniques using examples- Learn to expertly interpret a kernel Oops and identify underlying defect(s)- Use easy-to-look up tables and clear explanations of kernel-level defects to make this complex topic easyBook DescriptionThe Linux kernel is at the very core of arguably the world’s best production-quality OS. Debugging it, though, can be a complex endeavor.Linux Kernel Debugging is a comprehensive guide to learning all about advanced kernel debugging. This book covers many areas in-depth, such as instrumentation-based debugging techniques (printk and the dynamic debug framework), and shows you how to use Kprobes. Memory-related bugs tend to be a nightmare - two chapters are packed with tools and techniques devoted to debugging them. When the kernel gifts you an Oops, how exactly do you interpret it to be able to debug the underlying issue? We’ve got you covered. Concurrency tends to be an inherently complex topic, so a chapter on lock debugging will help you to learn precisely what data races are, including using KCSAN to detect them. Some thorny issues, both debug- and performance-wise, require detailed kernel-level tracing; you’ll learn to wield the impressive power of Ftrace and its frontends. You’ll also discover how to handle kernel lockups, hangs, and the dreaded kernel panic, as well as leverage the venerable GDB tool within the kernel (KGDB), along with much more.By the end of this book, you will have at your disposal a wide range of powerful kernel debugging tools and techniques, along with a keen sense of when to use which.What You Will Learn- Explore instrumentation-based printk along with the powerful dynamic debug framework- Use static and dynamic Kprobes to trap into kernel/module functions- Catch kernel memory defects with KASAN, UBSAN, SLUB debug, and kmemleak- Interpret an Oops in depth and precisely identify it s source location- Understand data races and use KCSAN to catch evasive concurrency defects- Leverage Ftrace and trace-cmd to trace the kernel flow in great detail- Write a custom kernel panic handler and detect kernel lockups and hangs- Use KGDB to single-step and debug kernel/module source codeWho this book is forThis book is for Linux kernel developers, module/driver authors, and testers interested in debugging and enhancing their Linux systems at the level of the kernel. System administrators who want to understand and debug the internal infrastructure of their Linux kernels will also find this book useful. A good grasp on C programming and the Linux command line is necessary. Some experience with kernel (module) development will help you follow along.Table of Contents- A General Introduction to Debugging Software- Approaches to Kernel Debugging- Debug via Instrumentation - printk and Friends- Debug via Instrumentation - Kprobes- Debugging Kernel Memory Issues - Part 1- Debugging Kernel Memory Issues - Part 2- Oops! Interpreting the Kernel Bug Diagnostic- Lock Debugging- Tracing the Kernel Flow- Kernel Panic, Lockups, and Hangs- Using Kernel GDB (KGDB)- A Few More Kernel Debugging Approaches

Artículos relacionados

  • SPARK 2014 Reference Manual
    AdaCore / Altran UK Ltd
    SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification.This manual is available online for free at ...
    Disponible

    19,91 €

  • Software and Intelligent Sciences
    Yingxu Wang
    The junction of software development and engineering combined with the study of intelligence has created a bustling intersection of theory, design, engineering, and conceptual thought. Software and Intelligent Sciences: New Transdisciplinary Findings sits at a crossroads and informs advanced researchers, students, and practitioners on the developments in computer science, theor...
  • Power System Planning Technologies and Applications
    Fawwaz Elkarmi / Nazih Abu Shikhah / Nazih Abu-Shikhah
    Planning is an important function of the management of any business, providing knowledge of future prospects and enabling prudent and appropriate decision-making. Planning is especially critical for power systems, since electricity is a fundamental part of modern societies and many conventional electrical energy resources currently in use are limited. Power System Planning Tech...
  • Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery
    Masha Etkind / Uri Shafrir
    Text analysis tools aid in extracting meaning from digital content. As digital text becomes more and more complex, new techniques are needed to understand conceptual structure. Concept Parsing Algorithms (CPA) for Textual Analysis and Discovery: Emerging Research and Opportunities provides an innovative perspective on the application of algorithmic tools to study unstructured d...
  • Model-Based Design for Effective Control System Development
    Wei Wu
    Control systems are an integral aspect of modern society and exist across numerous domains and applications. As technology advances more and more, the complexity of such systems continues to increase exponentially. Model-Based Design for Effective Control System Development is a critical source of scholarly information on model-centric approaches and implementations for control...
  • Verification, Validation and Testing in Software Engineering
    ...

Otros libros del autor

  • Linux Kernel Programming Part 2 - Char Device Drivers and Kernel Synchronization
    Kaiwan N Billimoria
    Discover how to write high-quality character driver code, interface with userspace, work with chip memory, and gain an in-depth understanding of working with hardware interrupts and kernel synchronizationKey Features:Delve into hardware interrupt handling, threaded IRQs, tasklets, softirqs, and understand which to use whenExplore powerful techniques to perform user-kernel inter...
    Disponible

    58,60 €

  • Linux Kernel Programming
    Kaiwan N Billimoria
    Learn how to write high-quality kernel module code, solve common Linux kernel programming issues, and understand the fundamentals of Linux kernel internalsKey FeaturesDiscover how to write kernel code using the Loadable Kernel Module frameworkExplore industry-grade techniques to perform efficient memory allocation and data synchronization within the kernelUnderstand the essenti...
    Disponible

    84,17 €