明尼苏达大学linux

梦晨 萧箫 发自 凹非寺量子位 报道 | 公众号 QbitAI

Linux内核的维护者Greg K-H,突然把整个明尼苏达大学拉黑了!

这是咋回事?

原来明尼苏达大学华人教授K.J Lu带领的团队在向Linux内核提交补丁时,故意引入新的Bug,然后以此写论文。

在被警告过一次之后,最近竟然又有这个大学的学生提交明显无效的补丁。

要知道,Greg每天要审查几百个代码提交,忙得要死,中间还发现捣乱的,得是什么心情。

Greg表示,随便一个懂点C语言的人都能看出你这代码没丁点作用,别拿我们当试验对象。

你和你的团队已经公开承认故意提交bug来观察开源社区的反应,以此发表论文。现在你们又提交一系列明显错误的补丁,你叫我怎么想?

Greg放下狠话,未来任何来自umn.edu邮箱的提交都应被默认拒绝。

不仅如此,Greg一口气把来自这个学校邮箱的历史提交都撤销了,后面再挨个审查。

此事被Greg挂出,整个开源社区立即炸开了锅。Twitter、Reddit、Hacker News都在疯狂盖楼中。

究竟发生了什么?这个故事要从去年11月说起。

这个团队到底要搞什么?

先看看这篇论文的标题:论通过伪君子式代码提交 (Hypocrite Commits)在开源软件中隐蔽地引入漏洞的可行性。

作者是Lu教授和他的学生Q.S Wu,他们的研究方向是操作系统、程序分析、编译器的安全问题。

Lu教授去年11月把这篇论文的摘要发在了Twitter上,引起了大家的困惑。

随后摘要被删了,只留下一个解释。

Lu教授的说法是,他们先找到一个真实的Bug A,写一个补丁A,这个补丁中却悄悄带一个Bug B。再写一个修复Bug B的补丁B一起提交,换句话说是用了两个步骤修复Bug A。

Lu教授还声称,他们将此事告知了内核管理者,让他们要么同时接受两个补丁,要么都不接受。

并且没有Linux用户因此受到伤害,最终结果是他们提交了一系列补丁修复了3个真实Bug(中间引入的新Bug都被后续补丁修复了)。

后来看到的吃瓜群众表示,你这把帖删了就留个解释,让人更迷惑了。

于是,该研究团队在12月写了一篇完整声明来澄清这件事。

声明中提到,论文的目的是提高开源软件修补过程的安全性,已被IEEE S&P 2021接受。

该团队在为Linux内核修复1000多个bug的过程中观察到了补丁过程存在一些问题。

论文验证了在提交补丁中引入新的Bug,并被开源社区接受的可能性。想呼吁大家重视这个问题、改善补丁的流程,比如开发自动测试和验证补丁有效性的工具。

所有引入Bug的补丁都只停留在邮件列表交流中,没有被采用或合并到任何Linux分支中,这一点得到了社区维护者的明确确认。

总之是为了提高开源软件安全性,没有恶意。由于没有解释清楚造成了许多争议,向大家道歉。

这种研究不可避免地浪费了社区维护者宝贵的时间,为了弥补,团队把补丁的代码改动限制在5行,并努力找出并修复了3个真实的bug。

声明中还举了之前的例子,该团队在2013年证明苹果公司的应用审查过程存在缺陷,随后苹果公司加固了系统。因此该团队相信本次研究最终也能提高Linux内核的安全性。

最关键的是,这项研究已经得到了明尼苏达大学伦理审查委员会(IRB)的豁免(Exempt)。

IRB认为,研究对象不是人类行为,不属于人类研究(Human Research)。

研究过程中没有收集任何个人信息。

研究目的是揭示过程中存在的问题,而不是指责任何开源社区维护者。

但这篇论文,为何会导致社区将明尼苏达大学拉黑呢?

为什么社区要拉黑他们?

时间来到今年4月。

4月6号,明尼苏达大学一个名为Aditya Pakki的在读博士生,给Linux内核提交了一个小补丁。

这个补丁看起来很简单,似乎也能提高代码质量,起初曾获得了几个社区成员的批准。

然而,4月9日,谷歌首席软件工程师、社区成员之一Eric Dumazet很快发现不对,并指出了代码存在的问题。

4月19日,Linux内核社区的贡献者之一Al Viro在看过代码后,非常生气,表示这个补丁的提交者“不是对代码一窍不通的话,就是故意的。”

之所以会做出这样的判断,是因为这名提交代码的博士生Aditya Pakki,恰好也在明尼苏达大学K.J Lu教授的小组中。

而K.J Lu教授带领的团队,正是之前给Linux内核社区提交过“垃圾代码”、来进行“分析开源软件漏洞”研究的团队。

这事一出,社区成员Leon Romanovsky发现,这位博士还提交了3个类似的补丁。

他表示,这四个补丁均带有严重的安全漏洞,其中好些已经进入了核心代码层。

现在,这些补丁正在被移除。

对此,Aditya Pakki在4月21号回应此事,表示研究人员的态度明显是“先入为主”:

希望您能停止这样近乎疯狂的指控,这近乎于诽谤。我们并不是Linux内核专家,在发送这些补丁时,也希望得到反馈……既然你们如此不待见,我不会再发送任何补丁了,而且,你们这种态度对新人和非专业人士很不友好。

这番言论惹怒了Linux内核管理员Greg。

他表示,自己将会禁止明尼苏达大学对Linux内核做出贡献,并会取消这一研究小组此前所有的贡献,因为这些提交“显然都是恶意的行为”。

Greg在社交媒体上表示:“这样做是浪费开源社区的时间,Linux内核开发者们不喜欢被试验。”

那么,为什么要拉黑整个明尼苏达大学呢?

社区认为,明尼苏达大学竟然会让这种研究获得IRB Exempt,证明学校并不在乎开源社区、甚至可能是故意的。

现在,明尼苏达大学计算机科学与工程系官方已出面调查此事:

我们立即暂停了这项研究,目前正在调查这项研究所用的方法、以及研究的审批过程,以采取适当补救措施,防止将来发生其他问题。调查结果将尽快反馈给社区。

具体来说,将会重新调查这一研究获得IRB的过程,是否具有争议。

教授回应:并非同一项目

目前,K.J Lu教授已经针对此事进行回应:

抱歉这件事引起了极大的关注度,上次有关“分析开源软件漏洞”的研究,已在2020年11月份结束。这次提交的错误代码,来自一个新项目,并非我们有意为之。

针对这件事本身,高级Linux内核开发、谷歌工程师Ted t’so认为,这里面最关键的问题在于,Lu教授和他的团队并未对自己此前的研究表示愧疚:

更糟糕的是,明尼苏达大学的IRB机构认为,Lu教授的研究不属于人体试验,因此不受控制。这样的话,禁止全校对Linux内核社区做贡献,可能是唯一的选择。

据ZDNet报道,不少Linux社区的开发者和管理员,都持有这样的看法。

针对教授研究的内容本身,Red Hat的科技策略分析师Jered Floyd则认为,关于“分析开源软件漏洞”的这项研究,确实“不太道德”:

这已经不仅仅是“被试验”了。就像是你自称“安全研究员”,但却去百货商店里剪断了所有汽车的刹车线,看看有多少人会遇上撞车事故。

针对大学的机制,也有网友表示,部分大学的IRB审查机制,还应该进一步完善:

有的学校审查机制真的很严格,有的却根本不太管这些事情。

当然,也有网友认为,Linux也应该采取更安全的方式进行代码贡献:

在这件事情中,双方都应该汲取教训。

争议论文:https://github.com/QiushiWu/QiushiWu.github.io/blob/main/papers/OpenSourceInsecurity.pdf

对论文的声明:https://www-users.cs.umn.edu/~kjlu/papers/clarifications-hc.pdf

参考链接:[1]https://cse.umn.edu/cs/statement-cse-linux-kernel-research-april-21-2021[2]https://www.zdnet.com/article/greg-kroah-hartman-bans-university-of-minnesota-from-linux-development-for-deliberately-buggy-patches/[3]https://news.ycombinator.com/item?id=26887670[4]https://lore.kernel.org/linux-nfs/YH%2FfM%2FTsbmcZzwnX@kroah.com/

— 完 —

量子位 QbitAI · 头条号签约

关注我们,第一时间获知前沿科技动态

声明:壹贝网所有作品(图文、音视频)均由用户自行上传分享,仅供网友学习交流,版权归原作者wangteng@admin所有,原文出处。若您的权利被侵害,请联系 756005163@qq.com 删除。

本文链接:https://www.ebaa.cn/31935.html

(0)
上一篇 2024年9月24日
下一篇 2024年9月24日

相关推荐

  • 河南400分左右的二本大学

    辽宁对外经贸学院410分,上海师范大学天华学院410分,邯郸学院(合作办学)403分,河北建筑工程学院401分,内蒙古科技大学401分,渤海大学异地校区403分,安徽科技学院402分,巢湖学院400分,铜陵学院409分,肇庆学院406分,贵州中医药大学(合作办学)410分,云南民族大学408分,甘肃农业大学407分,营口理工学院405分,河南科技学院(合作办…

    2024年11月9日
  • 美国弗吉尼亚州有哪些大学

    美国的“总统之乡”,留学都有哪些好机会? 弗吉尼亚州的好大学有哪些? 首先,就是上面提到的——弗吉尼亚大学(University of Virginia,UVA),这是美国最好的公立大学之一,U.S.News综合排名位列全美前30。 UVA坐落于美丽的大学城夏洛茨维尔,开车到美国首都华盛顿大约2.5小时。 其优势专业是文科,同时工程类、商科和生物医学在全美也…

    2024年7月7日
  • 高丽大学韩国语第一册是什么水平_高丽大学韩国语1教材

    高丽大学(고려대학교,Korea University),简称高丽大、高大,是韩国首尔境内私立大学,与首尔大学(Seoul National University)和延世大学(Yonsei University)并称为韩国大学的一片天(S.K.Y.)。该校也是韩国BK21工程的高校,环太平洋大学联盟成员、亚太国际贸易教育暨研究联盟成员、亚太国际教育协会发起成…

    2024年2月27日
  • 新航道托福班费用(新航道托福班费用高吗)

    暑假是学习黄金期,因为时间段集中,适合 需要高频练习的托福托福备考;重复进行差缺补漏,构建稳定知识体系;留学时间节点要求,下半年提交语言成绩。今年暑假,即将起航,用一个假期的时间,悄悄惊艳所有人! 新航道成都托福培训暑假班:根据学生起始水平,针对薄弱项重点突击,熟练基础知识,通过我们正规的指导和技巧强化,针对疑难问题逐个击破,短期快速提分! 新航道成都托福培…

    2023年10月31日
  • 药物化学考研学校排名_

    本文目录一览:1、考研化工专业大学排名2、药物化学专业考研学校排名3、化学工程与工艺考研学校排名考研化工专业大学排名 2023年考研化工专业大学排名前三的是:天津大学、华东理工大学、清华大学。 1、天津大学 天津大学有卫津路、北洋园和滨海工业研究院3个校区,占地总面积410.7万平方米;设有28个学院(部),开设74个本科专业;有教职工4895人,全日制在校…

    2024年3月22日
  • 美国国庆节(美国国庆节是哪一天)

    中秋、国庆“超级黄金周”已临近尾声,要说中国人在干什么?那肯定是旅游啊!虽然景区一个字——“堵”,但那也是痛并快乐着! 可在太平洋彼岸的美国人民就没有那么幸福了,他们在干什么?他们在搞罢工,通过这种方式给自己放了个假!罢工俨然成为了美国一道“最亮丽的风景线”。 美国一波接一波的罢工 10月1日,据美国有线电视新闻网报道,美国凯撒医疗集团与该集团工会联盟在9月…

    2023年11月27日
  • 香港树仁大学本科申请条件_香港树仁大学本科申请条件及学费

    前言:这是公众号索斯留学关于香港公开大学申请条件的一篇文章。 在香港树仁大学,教授认真负责,会很切实的根据各个学生的需求做出及时的答复,校园服务也很多样化,活动也是比较多的,整体上整个学校的学风都很踏实严谨,很低调的感觉,整体校园感觉很温馨,是很多学生梦寐以求的高校,接下来跟着小编一起来了解一下香港树仁大学申请条件有哪些吧! 香港树仁大学是香港特别行政区十大…

    2024年2月27日
  • 墨尔本皇家理工大学世界上的排名

    皇家墨尔本理工大学世界排名揭秘:过来人的真实感受 皇家墨尔本理工大学(RMIT University),作为澳大利亚历史最悠久的领军高等教育学府之一,近年来在全球大学排名中的表现尤为引人注目。作为一位曾在此求学的过来人,今天我将带大家深入了解RMIT的世界排名情况,并分享一些个人感受。 综合排名稳步上升 根据最新的2024年QS世界大学排名,皇家墨尔本理工大…

    2024年9月3日
  • 谢菲尔德商学院排名

    在留学生们最喜欢申请的专业中,商科绝对是当之无愧的第一,有前途更有钱途。 英国的商科又向来是全球闻名的强,不是第一就是第二,总之一直在世界前列,所以很多人选择去英国读商科。 但是英国大学的商科不是一个学科,而是个大范围,囊括了很多专业,分的非常全且细,且有商学院的学校多的遍地开花,让人选校就选的头秃…… 这时候就得查资质筛选了。如果想要攻读商科,那就一定听说…

    2025年1月5日
  • 香港优才费用_香港优才费用多少

    香港优才计划是香港政府为了吸引高技术人才而推出的一项人才引进计划,旨在为有高度专业技能和丰富背景的人才提供在香港发展的机会。申请香港优才计划需要满足一定的申请条件并提交申请材料,其中涉及到一些费用问题。本文将为您介绍香港优才申请费用是多少,以及如何支付这些费用。 一、申请费用 香港优才申请费用包括两部分:申请费和签证费。 签证费:230元 获批后要办理赴港的…

    2024年3月28日

联系我们

400-800-8888

在线咨询: QQ交谈

邮件:admin@example.com

工作时间:周一至周五,9:30-18:30,节假日休息

关注微信