超级系统-第5部分
按键盘上方向键 ← 或 → 可快速上下翻页,按键盘上的 Enter 键可回到本书目录页,按键盘上方向键 ↑ 可回到本页顶部!
————未阅读完?加入书签已便下次继续阅读!
或者更不正式的讲:“如果有足够多的眼睛,所有的错误都是浅显的”(群众的眼睛是雪亮的),我把这称为“Linus定律”。
我最初的表述是每个问题“对某些人是透明的”,Linus反对说,理解和修订问题的那个人不一定非是甚至往往不是先现它的人,“某个人现了问题”,他说,“另一个理解它,我认为现它是个更大的挑战”,但是要点是所有事都趋向于生。
我认为这是建造教堂和集市模式的核心区别,在建造教堂模式的编程模式看来,错误和编程问题是狡猾的、阴险的、隐藏很深的现象,花费几个月的仔细检查,也不能给你多大确保把它们都挑出来的信心,因此很长的布周期,和在长期等待之后并没有得到完美的版本布所引起的失望都是不可避免的。
以市集模式观点来看,在另一方面,我们认为错误是浅显的现象,或者至少当暴露给上千个热切的协作开人员,让他们来对每个新布进行测试的时候,它们很快变得浅显了,所以我们经常布来获得更多的更正,作为一个有益的副作用,如果你偶尔做了一个笨拙的修改,也不会损失太多。也许我们本不应该这样的惊奇,社会学家在几年前已经现一群相同专业的(或相同无知的)观察者的平均观点比在其中随机挑选一个来得更加可靠,他们称此为“de1hpi效应”,Linus所显示的证明在调试一个操作系统时它也适用——de1phi效应甚至可以战胜操作系统内核一级的复杂度。
我受Jeffdutky()的启指出Linus定律可以重新表述为“调试可以并行”,Jeff观察到虽然调试工作需要调试人员和对应的开人员相交流,但它不需要在调试人员之间进行大量的协调,于是它就没有陷入开时遇到的平方复杂度和管理开销。
在实际中,由于重复劳动而导致的理论上的丧失效率的现象在Linux世界中并不是一个大问题,“早布、常布策略”的一个效果就是利用快的传播反馈修订来使重复劳动达到
Brooks甚至做了一个与Jeff相关的更精确的观察:“维护一个广泛使用的程序的成本一般是其开成本的40%,奇怪的是这个成本受到用户个数的强烈影响,更多的用户现更多的错误”(我的强调)。
更多的用户现更多的错误是因为更多的用户提供了更多测试程序的方法,当用户是协作开人员时这个效果被放大了,每个找寻错误的人都有自己稍微不同的感觉和分析工具,从不同角度来看待问题。“de1phi效应”似乎因为这个变体工作变得更加精确,在调试的情况下,这个变体同时减小了重复劳动。
所以加入更多的beta测试人员虽不能从开人员的p。o。V中减小“最深”的错误的复杂度,但是它增加了这样一种可能性,即某个人的工具和问题正好匹配,而这个错误对这个人来说是浅显的。
Linus也做了一些改进,如果有一些严重的错误,Linux内核的版本在编号上做了些处理,让用户可以自己选择是运行上一个“稳定”的版本,还是冒遇到错误的险而得到新特征,这个战略还没被大多数Linux黑客所仿效,但它应该被仿效,存在两个选择的事实让二者都很吸引人。
五。什么时候玫瑰不是玫瑰?
在研究了Linus的行为和形成了为什么它成功的理论之后,我决定在我的工程(显然没有那么复杂和雄心勃勃)里有意识的测试这个理论。
但我先做的事是熟悉和简化的实现非常好,但是有一种对许多c程序来说没有必要的复杂性。他把代码当作核心而把数据结构当作对代码的支持,结果是代码非常漂亮但是数据结构设计得很特别,相当丑陋(至少对以这个老LIsp黑客的标准来看),然而除了提高代码和数据结构设计之外,重写它还有一个目的,就是要把它演化为我彻底理解的东西,对修改你不理解的程序中的错误负责可不是一件有趣的事。
第一个月我只是在领会car1‘s的基本设计的含义,我所做的第一个重大修改是加入了I支持,我把协议机重新组织为一个通用驱动程序和三个方法表(对应pop2、pop3和I),这个前面的修改指出一个需要程序员(特别是象c这种没有自然的动态类型支持的语言)记在脑中的一般原理:
9。聪明的数据结构和笨拙的代码要比相反的搭配工作的更好
FredBrooks也在他第11章中讲道:“让我看你的[代码],把你的'数据结构'隐藏起来,我还是会迷惑;让我看看你的'数据结构',那我就不需要你的'代码'了,它是显而易见的”。
实际上,他说的是“流程图”和“表”,但是在三十年的术语/文化演进之后,事情还是一样的。
此时(1996年9月初,在从零开始六个月后),我开始想接下来修改名字——毕竟,它已不仅仅是一个pop客户,但我犹豫了,因为还没有什么新的漂亮设计呢,我的popnett版本需要有自己的特色。
当fetehmai1学会怎样把取到的邮件转送到**Tp端口时,事情就完全改变了,但是先:上面我说过我决定使用这个工程来测试我关于LinusTorua1ds所做的行为的理论,(你可能会问)我怎样做到这点呢?以下面的方式:
1。我尽早尽量频繁的布(几乎从未少于每十天布一次;在密集开的时候是每天一次)。
2。我把每一个和我讨论fetchmai1的人加入一个beta表中。
3。每当我布我都向beta表中的人出通告,鼓励人们参与。
4。我听取beta测试员的意见,向他们询问设计决策,对他们寄来的补丁和反馈表示感谢。
这些简单的手段立即收到的回报,在工程的开始,我收到了一些错误报告,其质量足以使开者因此被杀掉,而且经常还附有补丁、我得到了理智的批评,有趣的邮件,和聪明的特征建议,这导致了:
10。如果你象对待最宝贵的资源一样对待你的beta测试员,他们就会成为你最宝贵的资源。
六。popnett变成了Fetnetbsp;这个工程的真正转折点是harry1eiser寄给我他写的代码草稿,他把邮件转到客户端机器的**Tp端口,我立即意识到这个特征的可靠实现将淘汰所有其他的递送模式。
几个星期以来我一直在修改而不是改进fetchmai1,因为我觉得界面设计虽然有用但是太笨拙琐碎了,到处充满了太多的粗陋的细小选项。
当我思考**Tp转时我现popnett试图做的事太多了,它被设计成既是一个邮件传输代理(mTa)也是一个本地递送代理(mda)。使用**Tp转,它就可以从mda的事务中解脱出来而成为一个纯mTa,而象sendmai1一样把邮件交给本地递送程序来处理。
既然端口25在所有支撑Tcp/Ip的平台上早已被预留,为什么还要为一个邮件传输代理的配置或为一个邮箱设置加锁的附加功能而操心呢?尤其是当这意味着抽取的邮件就象一个正常的送者出的**Tp邮件一样,而这就是我们需要的。
这里有几个教益:第一Tp转的想法是我有意识地模拟Linus的方法以来的最大的单个回报,一个用户告诉我这个非同寻常的想法——我所需做的只是理解它的含义。
11。想出好主意是好事,从你的用户那里现好主意也是好事,有时候后者更好。
很有趣的是,你很快将现,如果你完全承认你从其他人那里得到多少教益的话,整个世界将会认为所有的明都是你做出的,而你会对你的天才变得谦虚。我们可以看到这在Linus身上体现得多明显!(当我在1997年8月的per1会议上表这个论文时,Larrya11坐在前排,当我讲到上面的观点时,他激动的叫了出来:“对了!说对了!哥们!”所有的听众都哄堂大笑起来,因为他们知道同样的事情也生在per1的明者身上)。
于是在同样精神指导下工程进行了几个星期,我开始不光从我的用户那儿也从听说我的系统的人那儿得到类似的赞扬,我把一些这种邮件收藏起来,我将在我开始怀疑自己的生命是否有价值时重新读读这些信。:)
但是有两个更基本的,非政治性的对所有设计都有普遍意义的教益。
12。最重要和最有创新的解决方案常常来自于你认识到你对问题的概念是错误的。
一个衡量fetchmai1成功的有趣方式是工程的beta测试人员表(fegtchmai1的朋友们)的长度,在创立它的时候已经有249个成员了,而且每个星期增加两到三个。
实际上,当我在1997年5月校订它时,这张表开始因为一个有趣的原因而缩短了,有几个人请求我把他们从表中去掉,因为fetchmai1已经工作的如此之好,他们不需要看到这些邮件了!也许这是一个成熟的市集风格工程的生命周期的一部分。
我以前一直在解决错误的问题,把popnett当作mTa和具有许多本地递送模式的mda的结合物,Fetchmai1的设计需要从头考虑为一个纯的mTa,做为一个普通Internet邮件路径的一部分。
当你在开中碰了壁时(当你现自己很难想通下一步时),那通常不是要问自己是否找到正确答案,而是要问是否问了正确问题,也许需要重新构造问题。
于是,我重新构造了我的问题,很清楚,要做的正确的事是(1)把**Tp转支持放在通用驱动程序中,(2)把它做为缺省模式,(3)最终分离所有其他的递送模式,尤其是递送到文件和标准输出的选项。
我在第三步上犹豫了一下,担心会让popdiant的长期用户对新的递送方法感到烦心,在理论上,他们可以立即转而转文件或者他们的非sendmai1等价物来得到同样的效果,在实际中这种转换可能会很麻烦。
但是当我这么做之后,证明好处是巨大的,驱动程序代码的冗余的部分消失了,配置完全变得简单了——不用屈从于系统mda和用户的邮箱,也不用为下层os是否支持文件锁定而担心了。
而且,丢失邮件的唯一漏洞也被堵死了,如果你选择了递送到一个文件而磁盘已满,你的邮件就会丢失,这在**Tp转中不会生,因为**Tp侦听器不会返回ok的,除非邮件可以递送成功或至少被缓冲留待以后递送。
还有,性能也改善了(虽然在单次执行中你不会注意到),这个修改的另一个不可忽视的好处是手册变得大大简单了。
后来,为了允许处理一些罕见的情况,包括动态sLIp,我必须回到让用户定义本地mda递送上来,但是我现了一个更加简单的方法。
所有这些给了我们什么启呢?如果可以不损失效率,就要毫不犹豫抛弃陈旧的特性,antoninedesaintexupery(在他成为经典儿童书籍作家之前是一个飞行员和飞机设计师)曾说过:
13。“最好的设计不是再也没有什么东西可以添加了,而是再也没有什么东西可以去掉。”
当你的代码变得更好和更简单时,这就是你知道它是正确的时候了,而且在这个过程中,fetehmai1的设计具有了自己的特点,而区�