首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Linux 开发过程那么麻烦,是否值得?

中文摘要:Linux从诞生至今,已经快有30年了。这期间Linux一直延续着通过邮件来提交变更、审查、讨论直至批准的研发过程,这一流程非常费时费力,不仅成为新人的进入门槛,也成了可持续生产的障碍。那么,为什么Linux一直要坚持遵循这一过程呢,它能带来什么好处?存在哪些弊端?有什么解决办法吗?

正文:

本文最初发布于medium,经原作者授权由InfoQ中文站翻译并分享。

Linux从诞生至今,已经快有30年了。在早期,由Linus自己手工管理大家贡献的代码,不借助任何版本控制系统。而现在,已经使用git了。

然而,有一件事在整个过程中却从来都没有变过:代码被发送到一个(或多个)邮件列表中,然后直到做出最终判定之前,要进行一系列的审查和讨论。

尽管Linux是成功的,但这一过程却一直饱受诟病。微软的Sarah Novotny最近在社交媒体上发表了一篇文章,称Linux所使用的协作工具早已过时,如果这个社区想要吸引新鲜血液,最好换掉这些工具。

我认为我对此有一定的发言权:近十年来,我就在用类似的工作流程为Linux和其他项目编写代码。就职于Red Hat的时候,我为core x86基础设施、KVM管理程序和QEMU、Xen管理程序和其他系统贡献过代码。虽然,我因为把主要精力投入到了Seastar C++框架和ScyllaDB数据库上,在大约7年的时间里没有过多接触过Linux,但它们采用的开放方式却与Linux非常相似。现在我是一名Datadog公司的工程师,该公司遵循的流程与其他网络公司几乎完全不同。

那么我的立场是什么呢?首先,我的态度很明确:我不喜欢Linux的开发过程。我坚信,这一过程不仅是进入的门槛,是可持续生产的障碍(尽管并不是因为电子邮件),也是令人产生沮丧情绪的源头。我不打算在任何项目中遵循这一流程,如果我能决定这些项目怎么做的话。

但与此同时,似乎许多对Linux过程持批评态度的人认为,它的捍卫者之所以如此顽固地墨守成规,只是因为Linux充斥着一些不愿做出改变的坚守者。尽管我相信的确存在这样一些个别人,但事实上真正的原因并非如此。Linux所遵循的开发过程提供了一些独一无二的重要优势,这些优势对于任何其他组织也均有裨益。

除电子邮件以外,任何其他自以为是的工具化都会迫使Linux抛弃这些好处,大家不愿意舍弃的是这些好处,而不是电子邮件。工具化应可以降低进入的门槛,改正过程中那些令人沮丧的方面,同时能够让组织实现Linux所具备的真正推进软件开发的好处。

这样的优势有很多,但是由于时间的关系,我会着重来谈其中我认为最重要的那一个。我将尽最大努力向你解释它是什么,为什么尽管它有优点却又如此令人沮丧,为什么它只是对其他组织有益,但对Linux却至关重要。

提交消息和补丁

Linux有一条规则,要求将变更的代码拆分为单独的补丁。每个补丁都必须做一件事,且只做一件事,而且每个补丁都应该有自己的描述性提交消息。提交消息比代码变更本身还要长得多的情况早已司空见惯。

透过这个例子,可以发现大多数组织往往忽视了什么。在GitHub上,我看到大多数现代项目的提交信息都类似于“8月25日,检查点”,或者稍微好一点(但也仅仅稍微好一点)的是“实现X函数”。如果别人之后需要查看这些代码,将无法理解为什么要按照当时的方式来完成这个变更。有些缺陷非常微妙,而且很容易重复出现。只看简短的、非描述性的提交消息,不一定有人能知道在什么条件下会出现错误。

举个简单的例子,看看我的好朋友Johannes Weiner的Linux提交,不难想象,一些其他项目可能只会草草写下“删除警告”之类的。而再看看这段信息,阅读它我能知道为什么删除这些警告很安全(说明了当前情况很安全的原因),以及如果我在未来更改这段代码时应该要做些什么。我相信,很多组织也会有人这么做。但是由于Linux过程是强制执行的,所以我百分百确信通过阅读提交消息能理解本次变更的所有相关信息。如果我们讨论的是一个bug,我就会知道它出现在哪些系统,发生在什么条件下,为什么没有影响到其他的系统,以及我应该做些什么来避免再次犯同样的错误。

无论对于哪个组织,这都是值得的:它能使别人(包括将来的你)更容易理解为什么要做这个变更,为什么代码以这种方式运转,这可以使新人更快速地成长,可以防止重复出现相同的Bug,减少因偷偷挟带无关的代码而造成破坏的风险。

而对于Linux来说,这却是至关重要的,原因有两个:

  1. 很多人有着不同的背景、来自于不同的公司,这些公司有着不同的动机和议程。公司内部的大型项目可以使用其他机制来传递信息和确保职责。很少有开源项目能像Linux那样庞大、长寿,受着这么多人的影响。
  2. Backport:鉴于其规模和重要性,分支一直是Linux的常态。即使是现在(2020年),一些发行版也可能是在它们视为LTS的版本上加上自己的补丁。即使现在这种情况相比2000年初有所下降,也只是因为Linux本身开始有了自己的LTS系列,发行版可以以这些版本为基础了。

许多现代线上公司不需要保持产品线的兼容性,通常不存在Backport的问题。他们只关心交付即可。但是如果涉及到Backport,事情就变得比较复杂了。开发人员(很可能不是作者)可能必须要选择如何对代码进行微调,以适应略有不同的、较旧的代码库。若要将风险降至最低,可以只Backport大变更的某些部分,大家通常都这么做。假设,一个2,000行的代码变更中有5行修复了一个bug。再设,该bug的修复可能是在API重构之后。你是愿意基于一个大变更来做Backport呢,还是愿意基于一个文档非常完善、描述得很充分、做过合理拆分的补丁来做Backport呢?作为一个做过无数次Backport的人,我很清楚我的选择是什么。

Backport还是不Backport呢,它有好处,但也伴随着阶梯式的成本。现在程序员不仅要关心代码,而且还要关心如何重组和调整这些代码。

其中有一些重组很容易:你可以使用git add -p选择哪些部分可以添加到每个变更中。当开始发现代码片段之间出现循环依赖时,就变得有点复杂了。假设有一个函数,它返回的对象类型是以后才引入的。那么你不得不添加一些代码处理这一情况,这些代码最终并不会出现在这个项目中,它们只是作为临时粘合剂。

这一切的一切都很令人沮丧,但却也不是不可避免。假设,你将所有工作都进行了完美分解,使其很容易得以处理。当人们进行代码审查时,就开始出现真正的问题了。任何组织做代码审查都大同小异。大家阅读代码并提出修改建议(或要求)。

假设,评审意见是我在第一次变更中添加的方法应该有一个额外的参数。再假设,我在以后的所有补丁中都使用了这个方法。

现在我不得不回到第一个补丁添加参数,于是,所有后续的补丁都无法正常使用了。现在我不仅要开动脑筋找出原因,还要手动修正所有的错误。如果我以前已经测试过某个补丁了,那么现在那个测试已经无效了,我必须重新测试。

重组只是一个小问题。但为现有工作重新建立基线是一个真正的大问题。

我希望Linux社区和朋友们能够理解:显然,这么做并不是不行。但如果这都不算是进入的门槛,我就不知道什么才是了。大家不得不花费时间、精力、脑力和计算机来重组、重写、返工,没有人想做这些事情。我还发现有时大家会争论:“……但对于优秀的程序员来说会没有问题的”或者“但是它迫使你以这种或那种方式思考,优秀的程序员应该这么思考”,这种观点脱离实际毫无用处:上帝,我刚才已经承认了这个方法的所有好处,并且发现重组这些代码绝对是对灵魂的摧残和折磨。我们以打扫家庭卫生为例:一个人可以随时宣扬保持房间清洁的好处(我完全同意),并且完全有能力用吸尘器打扫房间(我也完全同意),但通常我不会这样做。原因很简单,我还有其他我认为更重要的事情要做。这就是为什么我对我的Roomba很满意,它让我实现了保持房间清洁的所有好处,但又不必我亲自动手。这引出了我下面的观点……

但是我也希望Linux圈外的人能够理解:Linux所遵循的过程有着切实的优势。没有一种工具能完全胜任这项任务。以GitHub为例,它的工作流程非常好,原则上总是基于现有代码添加新的代码。但它可以强行push分支,使commit 上的评论变得毫无意义,使讨论变得毫无意义。

现代开发工具使许多事情变得更容易:你可以触发动作、集成CI/CD流水线、给变更的相关人员发通知等等。但在客观上,它们使得我们更难拆分工作了。纯文本的电子邮件使许多事情变得更麻烦,但它也并不会妨碍施行能得到理想结果的过程。

即使可以客观、准确地说出Linux放弃这个过程将赢得多少、将失去什么,仅这一点它就是完美的,有理由继续贯彻这个一直运转良好的过程。

有解决办法吗?

我由衷地相信,如果我们有工具可以让一个组织实现Linux过程中同样的好处,那将是每个人的巨大胜利。面对着这样的工具,甚至Linux也可能不再使用纯文本电子邮件了。

我不知道这样的工具会是什么样的。但也许我可以大胆地设想一下:

  1. Git是一个源代码控制系统,本质上源代码控制系统希望添加历史,而不是重写历史。然而,GitHub中的开发过程却把两者混为一谈了,开发和评审以git提交为准,而纯文本Linux开发人员是在他们自己的本地git树中开发的,不断在重写历史。也许我们需要将其一分为二,允许在单独的工具中进行开发和评审,这样本质上周期会更短暂,代码更容易得到处理。Git用来存储结果。一个很好的类比是,CSS允许HTML开发人员将表示层与逻辑层分离。还记得CSS出现之前的HTML吗?不好,我是不是暴露年龄了……
  2. 接上述内容继续扩展,可能逐行描述补丁差异会使每件事情都很难开展。我们是否可以有一个系统,在这个系统中,我们可以在更高的层次上描述我对代码所做的那些更改,并明确这些变更能够应用到其他什么地方?例如,我可以说“将create_bar()函数移到create_foo()之前”或者“在create_bar()参数列表最后添加一个名为y的整型参数”。即使后续的变更会在代码环境中添加一些东西,破坏了逐行差异,这样系统仍然能够将变更应用到虽被修改但只是版本稍有不同的代码库上。也许我太天真了,这是不可能的,但GPT-3取得了一些令人大开眼界的进步,看到这些我觉得可能也并不遥远。
  3. 或者如果没有那么大的野心,也许有一种中间解决方案,那就是总是对追加的代码进行代码审查。如果所有部分都得到了认可,那么此时此刻,也仅在此时此刻,历史才被改写。更简单、更易用的工具可以帮助维护者确保与已批准的代码不存在差异,以核实所做的变更都是围绕重组进行的。

原文链接:The Linux development process: Is it worth the hassle?

译者简介:冬雨,小小技术宅一枚,从事研发过程改进及质量改进方面的工作,关注编程、软件工程、敏捷、DevOps、云计算等领域,非常乐意将国外新鲜的IT资讯和深度技术文章翻译分享给大家,已翻译出版《深入敏捷测试》、《持续交付实战》。

  • 发表于:
  • 本文为 InfoQ 中文站特供稿件
  • 首发地址https://www.infoq.cn/article/zLZCEWDTyfJWguUrRK6e
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码

添加站长 进交流群

领取专属 10元无门槛券

私享最新 技术干货

扫码加入开发者社群
领券