• DocumentCode
    1912075
  • Title

    XenDebugger: A Source Level Kernel Debugger on Xen Virtualization

  • Author

    Chao Li ; Zhengwei Qi

  • Author_Institution
    Sch. of Software, Shanghai Jiaotong Univ., Shanghai, China
  • fYear
    2012
  • fDate
    14-16 Dec. 2012
  • Firstpage
    501
  • Lastpage
    505
  • Abstract
    As the operating system is getting larger and more complex, debugging on OS (Operating System) is difficult and time-consuming. Existing OS debugging tools are not source level kernel debugger. In this paper the XenDebugger is presented as a source level kernel debugger, which is based on Xen virtualization. The debug info will be written into a file when compiling kernel. The XenDebugger uses the Xen interface to run the debugged kernel as guest OS. It decodes the debug info and then set the kernel running step by step. We evaluate the performance to verify its feasibility. The result shows that the XenDebugger is accurately to locate the reason to the problem. The XenDebugger is accepted by Xen community as an open source project.
  • Keywords
    operating system kernels; program compilers; program debugging; virtualisation; OS debugging; Xen interface; Xen virtualization; XenDebugger; guest OS; kernel compiler; open source software project; operating system; source level kernel debugger; Operating System; XenDebugger; debugger; kernel; source level;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Science and Engineering (ISISE), 2012 International Symposium on
  • Conference_Location
    Shanghai
  • ISSN
    2160-1283
  • Print_ISBN
    978-1-4673-5680-0
  • Type

    conf

  • DOI
    10.1109/ISISE.2012.121
  • Filename
    6495397