上個星期最終把csapp看完了。
我買的是中文版的,由於除了貌似評價不錯以外,由於涉及到些自己不了解的底層東西,怕是看英文會雲里霧里。如今看來,大概不能算是個長處,可是的確可以加快我的看書速度,否則一星期還真不大可能把這書搞定。
對csapp慕名已久,主要在於據說這本書盡量的做到相對實用,不去講那些和實際編程沒多大關系的計算機原理(畢竟是著名計算機院校里面最偏軟件的cmu的作品),重點很得當,像我這樣的沒有本科科班出生又不想去死讀些不知道以后有沒實用的東西的人來說,最是適合了。感興趣的東西就行再加深,不感興趣的就算了,正好。
在csapp的序言里有個課程列表,當中推薦了幾種教學課程,相應使用不同的章節。我參考選用的是ICS+的規划。ICS+的cmu課號為15-213,據說正好和cmu的郵編同樣,然后就有了這句“15-213: The Class That Gives CMU Its Zip!”。以這句為關鍵詞,可以找到ICS+的slide。
ICS+的課程基本上涵蓋了全書,除了第4章“處理器體系結構”以外。我自己除了跳過這個的確不太感興趣的章節(太偏硬件)以外,還有第9章“測量程序運行時間”是略略翻過,其它的都是認真讀完寫完習題的。
書的確是難得的書。我第一次試圖讀這本書是幾個月曾經,當時第2章“信息的表示和處理”沒看完就放下了,認為講了一大堆數字表達方式非常沒意思……這次略微堅持了一下,沒想到就一口氣讀下來了……
重點推薦第3章“程序的機器級表示”、第5章“優化程序性能”、第6章“存儲器層次結構”、第10章“虛擬存儲器”。認為這四章乃是全書之精華,看得人欲罷不能。
“程序的機器級表示”一章差點兒是一種教授逆向project的方法在講授,剖析編譯器產生的匯編代碼,以此來加深對詳細代碼實現的理解。大量的習題都是依據匯編來猜源程序是什么,有趣極了。這一章還覆蓋了緩沖區攻擊——可是這點講得太少了,不解渴,有時間自己弄弄……
講底層離不了匯編這個有點棘手的東西,我還一度操心自己匯編學得不太過關,會碰到障礙。但這里作者提出一個非常實際的要求:曾經要求程序猿都會寫匯編,如今要求程序猿都會讀匯編。這里以一種“讀”的方式教人用匯編,不局限於非常多細小的語法,讓只懂得C的程序猿也毫無障礙。只100多頁,不僅初步講了匯編的語法和使用,還配合大量的樣例分析來解讀產生的匯編代碼,讓人理解深刻,實在是技高一籌。
“優化程序性能”是全書最閃光的章節。作者對一個樣例不斷優化,講循環效率和過程調用,到講存儲器引用,一直講到現代處理器的結構,講到IA32處理器的局限,一路下來,暢快淋漓。還將IA32處理器的優化結果和Compaq Alpha 21164做對照,一目了然的看出哪些優化是處理器相關的,最后講到profiling(程序剖析)指導優化,可以說平時可以用到的最高技巧(畢竟我還不是編譯器開發者……)和流程走了一邊,現實意義相當之高。
這章把可以用到的所有技巧的原理所有解說得清清楚楚,不做不必要的挖深,結合代碼,讓人絲毫不覺枯燥,真是佩服得五體投地。盡管章節后對編譯器優化還提供了參考文獻以及加深的內容,只是我認為這章的內容已經足夠我受用非常久了。
“存儲器層次結構”實際上可以看作是“優化程序性能”一章的延伸,以及為之后的“虛擬存儲器”做鋪墊。這章主要詳解了快速緩存(cache)的工作方式,以及利用局部性使得cache達到最好效果的方法。
而“虛擬存儲器”(Virtual Memory)則上升到了操作系統層面,詳細解析了VM的實現以及Linux系統上VM組織方式。自己認為最受用的是malloc/free實現的動態存儲器分配的詳細方法以及對進程中詳細存儲結構的了解,還有GC的策略。這些讓我感覺自己可以做到的事情似乎又多了一點,一直無法理解的valgrind之類軟件的原理似乎也有了點眉目。
這兩章講得比較仔細,以至於略微顯得有點枯燥。事實上我自己喜歡這兩章的主要原因是解了我多年來關於存儲器的困惑。只是存儲器方面的內容實在博大精深,自己這全然是得了點皮毛就沾沾自喜。
事實上在學計算機方面我還是挺有用主義的,一直抱着碰到了再去細致研究好了的態度,所以看書普遍不認真,僅僅是求到時候可以找得到參考。只是這本書我認為格外有趣,所以也看得格外認真,把每節后的習題都做了,家庭作業則等着過兩天復習(計划是這種……)的時候加深印象。
只是一直沒找到csapp的實習手冊。當中有個“二進制炸彈”實驗很吸引人,典型的反匯編作業,有點點實現我小時候破解願望的感覺——希望找到以后不要讓我太失望,呵呵。
只是這本書還是有些不足之處。讓人感到最大的遺憾是最后三章“系統級I/O”、“網絡編程”、“並發編程”講得比較簡略——自己正好是在這方面略微熟悉點,認為少了非常多東西,有點遺憾。只是“並發編程”教給我了一個曾經我根本不知道的東西——進度圖,用來解釋為什么會出現死鎖以及怎樣解決實在是好極了(自己也是太孤陋寡聞……)。
另外還有個細致讀了apue2以后還讓我非常困惑以至於還得上網查才弄明確的一件事,csapp當頭一句話就攻克了,那就是csapp寫到pthread_detach函數時,說“為了避免存儲器泄露,每一個可結合的線程都應該要么被其它線程顯式地回收,要么通過調用pthread_detach函數被分離”。而apue2關於detach的那段話硬是讓我雲里霧里,只解釋了thread的行為和怎么用,不講為什么,害得我還得去查……只是apue2的thread部分不是W.Richard Stevens寫的,是Rago后加的,的確有質量區別……
想來書也是有輕重之分,csapp的重點還是再講硬件和軟件的結合部,后面系統偏應用級的東西僅僅是做拋磚引玉之用,也是難怪。雖然是這樣,csapp有時還是會讓人眼前一亮。
這本書另外的問題就是雖然中文翻譯還算不錯——也是過了個修訂版的緣故,可是排版常常出錯,尤其是排匯編代碼和凝視的時候。並且這個書名翻譯得特別沒勁,愣像是混雜在一堆國產計算機結構書里的東西……
只是還是那句,瑕不掩瑜,csapp的確是我看過的最好的計算機書之中的一個了(本來想不加之中的一個的,只是不加至少有點對不起apue^_^)。
說回來,csapp的致謝里面有這樣一句話:
最后,我們衷心感謝偉大的技術作家Brian Kernigam以及后來的W.Richard Stevens,他們向我們證明了技術書籍也能寫得如此優美。