集市中迷失的一代：FreeBSD核心开发者反思开源软件质量
13年前，新興的草根開源軟件運動如火如荼，而Eric Raymond的《大教堂與集市》（O'Reilly Media, 2001）一書則重新定義了我們的詞匯表，幾乎預(yù)言了瀑布模型和大型軟件公司的終結(jié)。這本書有煽動性，但卻沒有說服我。與此同時，由于我正全身心投入開源運動，也就情不自禁地寧愿相信他是對的。
而今年夏天我?guī)У胶I別墅來的這本書，同樣有煽動性，比Raymond那本更甚（但這本書在提到《大教堂與集市》時是相當(dāng)正面的），那就是 Frederick P. Brooks的《設(shè)計原本》（Addison-Wesley Professional, 2010）。Brooks這本書不斷引發(fā)我的共鳴，我也越來越佩服他的語言表達(dá)能力和他提出的觀點，然而越是有共鳴，就越感到難過和失望。
13年前，正值.COM熱潮涌動，年輕的Web程序員比比皆是，輟學(xué)創(chuàng)業(yè)的大學(xué)生也屢見不鮮。在向其中一些人傳授過去那些編程技巧的同時，我也獲得了很多樂趣。像什么測試恢復(fù)備份、寫腳本安裝操作系統(tǒng)、版本控制等等。當(dāng)然，現(xiàn)在再看，也就那么回事（有些事并不像你印象中那么激動人心，對吧）。而且，我們已經(jīng)無路可逃，整個.COM時代總體上對IT/CS而言就是一場災(zāi)難，尤其對軟件質(zhì)量和Unix來說，更是如此。
好像從來沒有人分析過.COM泛濫那些年，IT行業(yè)增長了多少。以我個人的經(jīng)驗，我估計整個行業(yè)（包括IT行業(yè)由此新增的就業(yè)機(jī)會）大概增長了兩個數(shù)量級，或者更確切地說，達(dá)到了原來的百分之一萬（100倍）。
學(xué)會計算機(jī)編程很容易，就像學(xué)會用釘子把兩塊木板釘?shù)揭黄鹨粯雍唵巍５珕栴}是——打個不恰當(dāng)?shù)谋确?#xff0c;市場對“釘在一起的兩塊木板”的需求，除了“自豪的爺爺”的那點天倫之樂以外，真的是太小了。而且，由此再進(jìn)一步學(xué)習(xí)釘椅子或做碗櫥，都需要天分、實踐和訓(xùn)練。我們增長的這99倍恰恰都來自那些既沒有實踐經(jīng)驗，又沒有受過良好訓(xùn)練的人。等這些人有時間學(xué)習(xí)和接受訓(xùn)練了，聚會已然結(jié)束，大多數(shù)人失去了工作。可以樂觀地假定那些堅持下來的人最有天分，而且經(jīng)驗也最多，即便如此我們還是無路可逃，因為作為IT專業(yè)人士，由于缺乏基本功，他們大多數(shù)都很濫！
不幸的是，Raymond鼓吹的——與.COM泡沫之前精心建造大教堂的理念恰恰相反的集市模因（meme）1——“對付過去就行”，并沒有隨.COM泡沫破裂死去。今天，Unix這艘大船正因為難堪重負(fù)而迅速沉沒。
模因論是基于達(dá)爾文進(jìn)化論的觀點解釋文化進(jìn)化規(guī)律的新理論。參見這里。——譯者注
我剛升級了自己的筆記本電腦。到現(xiàn)在，我運行FreeBSD開發(fā)版已經(jīng)足足有18個年頭了，但從源代碼編譯我的Spartan工作環(huán)境仍然要花一整天時間，因為它必須理清頭緒，在Raymond那亂糟糟的軟件集市中建起一座大教堂來。
宏觀上講，FreeBSD的Ports Collection會盡力為這個集市畫一幅地圖，以便FreeBSD用戶輕易找到自己的應(yīng)用。目前來看，這幅地圖由22198個文件構(gòu)成，而這些文件就是集市中每個攤位的簡要說明：用寥寥數(shù)語告訴你某個攤位賣什么，要了解詳細(xì)信息再去哪里找。此外，還有23214個Makefile，告訴你可以對每個攤位上的軟件做什么。這些Makefile還想讓你知道自己都有哪些選擇，要選擇什么，以及不作選擇時用什么默認(rèn)值比較明智。為方便起見，這幅地圖還提供24400個補(bǔ)丁文件，以便彌補(bǔ)這些玩藝兒在制作工藝上的瑕疵，但一般來說，還是因為它們攜帶（portability）不便，所以才催生了這些補(bǔ)丁。
最后，地圖提供一些建設(shè)性意見，比如要是你想要www/firefox，那得先得到devel/nspr、security/nss、databases/sqlite3，等等。在你手拿地圖，查到這些依賴，以及這些依賴的依賴之后，你會發(fā)現(xiàn)自己的購物清單上已經(jīng)記滿了122個包，你必須在能買www/firefox之前買全它們。
當(dāng)然啦，模塊化和代碼重用都是好主意。可是，就算在最簡單的情況下，CS/IT的代碼重用信條在集市里也沒有用武之地：FreeBSD Ports Collection中的軟件最少都包含1342個復(fù)制粘貼加密算法。
如果有人奮不顧身或者偏聽偏信，非要代碼重用，結(jié)果真制造出了自身完備且無依賴的軟件包，那要換得這個容易管理的包，享受代碼重用的成果，就算多花點銀子也值啊！但這樣的事并沒有發(fā)生過：各種包把Web搞得一團(tuán)糟， 隨便依賴，互相糾纏，代碼越重用，浪費越嚴(yán)重。
舉個浪費的例子吧。Sam Leffler的graphics/libtiff是前面提到在安裝www/firefox之前必須安裝的122個包中的一個，但安裝后的Firefox瀏覽器卻無法渲染TIFF圖片。問題出在哪里我還沒來得及查清楚，但這122個包中的10個需要Perl，7個需要Python；這其中又有一個devel/glib20，同時有賴于Perl和Python，至于為什么，我到現(xiàn)在都沒想通。
繼續(xù)往下看你的購物清單，你會不斷會發(fā)現(xiàn)滿足彼得定律的應(yīng)用。所謂彼得定律，就是說在一個根據(jù)人的業(yè)績、成就和價值來提拔人的組織中，最終會把一些人提拔到他們并不勝任的位置上。這個定律經(jīng)常被通俗地說成“把員工提拔到他們不勝任的職位上”。軟件行業(yè)也一樣，你會發(fā)現(xiàn)自己需要三個不同版本的make程序、一個宏處理器、一個匯編器和其他一些必要的包。而在這個“食物鏈”的末端，則是libtool，它試圖掩蓋一個事實，即在Unix中沒有構(gòu)建共享庫的標(biāo)準(zhǔn)方式。的確沒有適用于所有Unix變體的標(biāo)準(zhǔn)方式——比如給ld(1)命令加個標(biāo)簽之類的；而此時彼得定律就適用了：這個工作被交給了libtool。此時此刻，彼得定律確實牛，devel/libtool的源代碼達(dá)到了414 740行，而其中有一半是測試用例。原則上講，這倒是值得稱贊的，但實際上這卻是彼得定律的結(jié)果：這些測試煞費苦心地在那里驗證一個本來就不該存在的問題的復(fù)雜方案是否功能齊備！更讓抓狂的是，其中31 085行代碼都保存一個叫configure的shell腳本里，代碼格式之亂，任誰也難看明白。這樣做是想讓configure腳本執(zhí)行大約200個自動測試，從而免除用戶手工配置libtool之苦。這個想法很濫，早在1980年代剛剛出現(xiàn)時，就招來很多非議。因為源代碼是靠configure腳本的偽裝才讓人感覺它可移植的，而實際上并非真正可移植。可以說它是配置思想的余孽。
1980年代出現(xiàn)過很多不同的Unix實現(xiàn)：Cray-1s及其24位指針、Amdahl UTS主機(jī)Unix、來自微機(jī)制造商的大量的SysV+BSD混搭、Data General等公司開發(fā)的準(zhǔn)Unix“墊片”，甚至連油漆廠Mark Williams都有純粹的Unix克隆Coherent。
當(dāng)時的configure腳本是用手寫的，用于檢測當(dāng)前系統(tǒng)是BSD還是SysV風(fēng)格的Unix，然后根據(jù)檢測結(jié)果把一個或另一個Makefile（有時候還帶一個.h文件）復(fù)制到指定位置。后來，這個configure腳本的神通越來越大，而且不折不扣地印證了彼得定律。我們沒有看到Unix采用標(biāo)準(zhǔn)做法來消除對該腳本的依賴，反倒是有人寫了一個叫autoconf的程序，用來自動生成configure腳本。
今天，Unix/Posix一脈的操作系統(tǒng)，就連IBM的z/OS主機(jī)版，都跟1980年代那些完全一樣；libtool這個configure腳本中的31 085行代碼仍然還要檢測<sys/stat.h>和<stdlib.h>是否存在，即便是沒有這兩個文件的Unix變體，在既沒有足夠內(nèi)存執(zhí)行l(wèi)ibtool，也沒有足夠硬盤保存其16MB源代碼的情況下。
為什么會這樣呢？
由于尚不知曉的原因，autoconf是用晦澀的M4宏語言寫的，因而實際的測試代碼如下：
毋庸諱言，這超出了大多數(shù)程序員的承受能力。即便有人有這個能力，但給autoconf指定輸入文件都是用復(fù)制粘貼的，所以就讓人不容易發(fā)現(xiàn)日益膨脹的那些涵蓋諸如前述“標(biāo)準(zhǔn)測試”的標(biāo)準(zhǔn)宏，這些宏都是為了處理20年前并不存在的兼容性問題。
可能這就是為什么針對我系統(tǒng)里根本沒有的Fortan編譯器，libtool的配置探針就有不少于26個名字，而且還要再執(zhí)行26個測試，檢測這些根本不存在的Fortran編譯器分別支不支持-g選項的原因。
這是由Raymond在其書中稱頌的集市模式導(dǎo)致的悲哀的現(xiàn)實：一坨膿包似的權(quán)宜代碼，被一群盲目的根本不知IT架構(gòu)為何物的所謂IT“專業(yè)人士” 永無休止地復(fù)制著，粘貼著。這事兒放在今天你也許很難相信，但就是在這令人無比尷尬的混沌之下，沉睡著美輪美奐的Unix大教堂的遺跡，而它正是因設(shè)計簡約、功能實用、執(zhí)行優(yōu)雅而著稱于世的。（世間榮耀就此消失……）
Brooks提出了很多有見地的觀點，其中一個就是所謂質(zhì)量，只有在某人對它負(fù)責(zé)時才有意義，而這個“某人”只能是一個人，不能是幾個人——二重奏除外。我有點奇怪，為什么Brooks不把Unix作為他這個觀點的論據(jù)，因為我們可以精確地指出Unix走向分裂的時間點：1990年代初，AT&T拋棄Unix，將其商業(yè)化，搶走其架構(gòu)師的那一刻。
最近幾年，不止一個人像Brooks一樣得出相同的結(jié)論。有些人企圖粉飾太平，假裝正經(jīng)，還有人通過制定技術(shù)標(biāo)準(zhǔn)的形式來達(dá)到類似立法的目的，希冀著在集市中引入秩序和結(jié)構(gòu)。到目前為止，他們的努力全部以失敗告終，因為集市迷失的這一代.COM神奇小子，從來就沒有見過大教堂，也不可能知道你為什么需要大教堂，更不用說去想象教堂是個什么樣子了。這么挖苦別人，其實我心里也很難過。真的，那些最需要看看《設(shè)計原本》的人，可能會發(fā)現(xiàn)這本書完全無法理解。但對于那些懷疑過構(gòu)建一個Web瀏覽器要使用M4宏來配置autoconf，要寫shell腳本，要檢測26種Fortran編譯器，而感覺這怎么說都有點南轅北轍的人，Brooks也謹(jǐn)慎地指出了方向：還有更好的方式。
作者：Poul-Henning Kamp (phk@FreeBSD.org) ，26年的計算機(jī)程序員，個人網(wǎng)站http://bikeshed.org/。他編寫的軟件以底層構(gòu)建塊的形式廣泛被開源和商業(yè)產(chǎn)品采用。他最近正在做的項目叫Varnish HTTP加速器，用于加快Facebook這樣訪問量網(wǎng)站的響應(yīng)速度。
原文出自：A Generation Lost in the Bazaar
譯文來自：圖靈社區(qū)
總結(jié)
以上是生活随笔為你收集整理的集市中迷失的一代：FreeBSD核心开发者反思开源软件质量的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： c#中out、ref和params的用法
- 下一篇： C#代码创建Xml文件