部分觀點可能過于激進,讀者自行取舍。盡管我認為程序是寫出來的,不是調出來的(和市場上的觀點正好相反),優質的程序應該在模塊設計和實現時應保證不出現什么bug。這當然只是理想情況,還得取決于個人水平。程序應在實現階段得到最大保證,而不是過度依賴調試器。一個徹底的反調試派,據說真正的高手會在cpu旁放一顆爆米花:)轉載請保留原創:http://www.shnenglu.com/jinglexy,MSN & Email:jinglexy at yahoo dot com dot cn
如果系統處于仿真的初期節點,例如操作系統的初始化,調試還是很有必要的。這里是我在linux環境調試操作系統的相關工具,os開發者可參考,歡迎指正:)
(1)工具安裝:
linux安裝:bochs-2.3,insight-6.6,gcc-3.4(使用g++和as(binutils包中))
windows安裝:Xmanager Enterprise2.1
因為網管沒有lotus和clearcase在linux系統下的支持,所以只好用兩個操作系統了。這樣也比較好,一個用于program,一個用于調試,畢竟bochs挺耗cpu的,就讓她干活好了。
bochs安裝:./configure --with-all-libs --enable-vbe --enable-gdb-stub && make && make install
insight-6.6安裝:包含了tck/tk,gdb-6.6,bfd等工具,使用insight時最好這樣設置環境變量:
export LC_ALL=en_US
否則運行時可能會報錯:
Tcl_Init failed: can't read "env(TCL_LIBRARY)": no such variable
配置xserver用于遠程訪問Linux圖形界面,這樣可以在windows上通過ssh執行linux的圖形界面程序。
(2)相關文件:
bochs配置文件添加如下節:
gdbstub: enabled=1, port=1234, text_base=0, data_base=0, bss_base=0
gdb調試腳本:
gdb的命令集可以寫入到一個文件中去,這樣避免了在啟動時輸入一大堆命令,100%鼠標操作?faint
保存所有命令到一個文件,每行一個命令,如下:
file ./vmjinix
target remote 127.0.0.1:1234
dir ./arch/i386
dir ./init
dir ./kernel
dir ./drivers
dir ./drivers/video
dir ./drivers/video/console
show dir
break start_kernel
continue
list 0
gdb和gdb前端執行如下:
gdb -q -x gdb.command
insight -q -x gdb.command
其他腳本(磁盤自動創建分區,自動安裝grub,拷貝內核,及Makefile腳本),這些貼出來太長,花了好幾個小時寫好的,需要可以和我聯系(MSN & Email:jinglexy at yahoo dot com dot cn)
(3)調試方法
將內核(jinix-1.2.1是我正在編寫的一個C++ 開源OS,歡迎參與)拷貝到linux主機,配置samba共享,這樣可以在windows上開發(推薦使用slickedit 2007,哪位有linux上的2007版本可否發一個給我)。
使用xshell(ssh方式)登錄到linux主機上,編譯和調試都在這里了。
在ssh上執行bochs -f bochsrc.txt.linux,
在ssh上執行insight -q -x gdb.command
截圖如下:

匯編語言節點也可用使用bochs+gdb調試,在gdb斷點時候執行:
disassemble $pc $pc+100(從當前斷點處反匯編100字節)
需要注意的是,在os的匯編初始化的前期階段,分頁機制往往未開啟,符號和地址不能一一對應,
這個時候不能進行源碼級匯編調試,只能用最即便的反匯編調試了。
bochs-2.3中好像有個bug沒有解決,nexti執行和stepi在call的時候居然一樣,如果要斷點到指定行,可以使用物理地址斷點。
(4)文章會不斷更新,如有什么好的想法可以在原博客討論:
http://www.shnenglu.com/jinglexy
(5)整理的一份常用gdb指令
x /4wx ds:0x1234 x是線性地址空間
xp /4wx 0x1234 xp是物理地址空間
backtrace
print variable 打印變量值
print variable@10 打印變量后面的10個整數值
set variable=2 賦值
whatis variable 顯示變量類型
ptype variable 顯示數據結構(變量類型加強版)
斷點類型:
break init_kernel.cpp:start_kernel 斷點在文件的函數
break init_kernel.cpp:101 斷點在文件的101行
break init_kernel.cpp:101 if var==100 條件斷點
break *0xc0102030
info break 查看所有斷點
delete breakpoint 3
delete breakpoint 刪除所有斷點
isable breakpoint 2
enable breakpoint 2
search string1 搜索字符串,從list結束行開始
reverse-search string1 方向搜索
set history expansion on 使用歷史命令
clear 刪除剛才停止處的斷點
continue 從斷點開始繼續執行
info break 顯示當前斷點清單,包括到達斷點處的次數等
info files 顯示被調試文件的詳細信息
info func 顯示所有的函數名稱
info local 顯示當函數中的局部變量信息
info prog 顯示被調試程序的執行狀態
info var 顯示所有的全局和靜態變量名稱
info all
run
continue
step, next, stepi, nexti i后綴表示執行一條匯編指令
/*********************************************************************************
格式說明 /
/*********************************************************************************
x /nuf addr檢查位于線性地址addr處的內存內容,若addr不指定,則默認為下一個單元地址。
xp /nuf addr檢查位于物理地址addr處的內存內容。
其中的可選參數n、u和f的分別可為:
n欲顯示內存單元的計數值,默認值為1。
u表示單元大小,默認選擇為'w':
b (Bytes)1字節;
h (Halfwords)2字節;
w (Words)4字節;
g (Giantwords)8字節。
注意:這些縮略符與Intel的不同,主要是為了與GDB調試器的表示法一致。
f顯示格式,默認選擇為'x':
x (hex)顯示為十六進制數(默認選擇);
d (decimal)顯示為十進制數;
u (unsigned)顯示成無符號十進制數;
o (octal)顯示成八進制數;
t (binary)顯示成二進制數。
c (char)顯示字節代碼對應的字符。若不是可顯示字符代碼,就直接顯示代碼。
*********************************************************************************/
說明一下:bochs 和 insight本身單個執行就非常慢,而且insight是通過ssh方式鏈接遠程xserver執行,所以速度巨慢,本文所述完全可以全部在linux上操作,不限于平臺。