物理计算的“基础软件” 要没人维护了 - 行业动态 -

当前位置:首页  >  行业动态  > 正文

物理计算的“基础软件” 要没人维护了

物理计算的“基础软件” 要没人维护了
2023-04-25 01:10:06 来源:快科技

高能物理先进计算必备程序之一,快要没人维护了。


(相关资料图)

随着唯一的长期维护者达到73岁高龄,计算系统FORM的命运开始变得扑朔迷离起来。

过去30多年,这个程序被视为粒子物理学研究的基础工具之一,可计算伽马矩阵、并行计算、模式匹配等。

计算费曼图的软件包FormCalc也是在它的基础上实现。

要知道,费曼图能够用图像描述大型粒子对撞机中粒子碰撞的可能结果,号称“有助于帮助改变物理学家看世界的方式”。

除此之外,高阶QCD(量子色动力学)β函数、多重Zeta数值(MZV)的数学结构研究等也都用到了FORM。

甚至在它诞生十数年后,仍旧有大量前沿研究依赖于它。

自2000年以来,平均每隔几天就有一篇基于FORM的粒子物理学论文被发表。

但这样重要的计算程序,现在却只靠一位73岁的退休人员维护——其开发者荷兰粒子物理学家乔斯·维马塞伦(Jos Vermaseren)。

如今,随着老爷子年事已高,其后继维护者还没找到。

而完全能顶替它的程序似乎还没有出现,尽管Mathematica也能计算,但是速度上完全无法与之相比。

靠硬盘空间求解超长公式

简单理解,FORM是一个可以进行符号运算的程序。

相较于更通用的Mathematica,它更专注于大规模处理符号表达式。

但本质上FORM还是数学代数系统,具体的操作过程大概是酱婶的:

设定函数 f 中,在 x 之前如果出现任何参数,都将它们进行调换。

Symbolx;LocalE=f(1,2,x,3,4);idf(?a,x,?b)=f(?b,?a);Print;.end

那么FORM输出的结果将会是:F=f(3,4,1,2)。

它主要有两方面特点:

第一,计算快。

FORM建立了一些专业算法,比如能将费曼图中的某些部分快速相乘;通过重新排列方程减少相乘、相加步骤。

第二,能处理超级大的方程式。

只要硬盘空间够大,多长都能算。

这正是FORM最特别的地方。

计算机的存储模式可分为两种。其一是主存,这里常说的是RAM(随机存储器)。它是电脑系统中最重要的存储器,能和CPU直接交换数据,随时读写、速度很快,但存储空间非常有限。另一种是外存,也就是硬盘、固态硬盘、磁盘等。它们的优点是容量大,但计算速度慢。

比如一台笔记本的内存只有16GB,但是存储空间可以到2TB。

如果想要求解超复杂的物理方程式,那必须要依靠主存。

但问题是,这么小的容量空间,根本无法处理超长公式。更何况FORM生于80年代,那个时候的主存容量就更小了。

FORM选择了一个巧妙的方法——把硬盘当成主存来用。

通过将主存和硬盘空间“分页”处理,然后将方程式放入到不同的“页”上,并且为每一个项都固定一个存储位置,程序运行时就能快速找到各个项的位置将其带回真正的主存,而不必访问其他的项。

这样做的好处是在扩大主存的同时,还绕开了低效的内存交换操作,可以快速计算复杂庞大的方程式。

凭借着这一特点,FORM自诞生后便成为了粒子物理学中的关键工具之一。

即便放到现在FORM也依旧至关重要——毕竟计算存储发展的速度,怎么也追不上物理学方程式加长的速度……

在FORM的GitHub主页上也写着:

FORM是高能物理领域中许多最先进计算的必备工具。

值得一提的是,FORM并不能被视为CAS的加强版,它们的编程逻辑并不相同。

上手FORM可能需要一点门槛,但只要跨过去,就是打开一番新天地了。FORM和CAS配合使用可以解决数学、物理中诸多难以计算的复杂问题。

苏黎世大学教授托马斯?格尔曼(thames Gehrmann)表示,自己的课题组在过去20年中取得的大多数高精度结果,很大程度上都依赖于FORM。

高能物理学助理教授马特·冯·希佩尔(Matt von Hippel)在Quantamagazine的文章中也提到,自己的一位同事前不久才使用FORM将一项计算的精度推到新高度。

被重视程度却远远不够

但和想象中不同,这样一个为高能物理领域带来巨大进步的工具,一路发展过来,背后的运维却“冷冷清清”,以至于现在整个软件都岌岌可危。

FORM的起点在1984年。当时计算机的角色正在迅速变化,PC机在这个时期开始普及。

其前身是一个名为Schoonschip的程序,由荷兰物理学家马蒂努斯·维尔特曼(Martinus Veltman)创建。

和我们今天许多常用的计算机程序不同,当时的程序大都是搭载于外部的ROM芯片中,得把芯片插到电脑上才能运行(试想一下光盘)——Schoonschip也不例外。

而乔斯则希望做出一个更易于访问的程序,可被世界各地高校下载的那种。

开发FORM之初,乔斯使用的是FORTRAN语言(也是FORM名字的重要来源),这种语言很擅长“搞数学”。

FORTRAN是由IBM为科学和工程应用开发的,是第一代计算机高级语言。

从上世纪50年代起,FORTRAN一度成了科学和工程计算的首选语言;从60年代末到70年代初,大多数高性能计算机都支持FORTRAN,许多专门的编译器和工具可以用其编写算法。

而随着计算机技术发展、其它编程语言一个个出现,FORTRAN慢慢被C、C++、Python、Matlab等取代,因为它没有对象导向编程的支持,且语法比较笨重。

在1989年,FORM1.0正式发布前,乔斯改用C语言把FORM重写了一遍。

但FORM其实从诞生起就在被逐渐推广试用了:1984至1986年间, FORM最早支持的是Apollo工作站,这是上世纪80年代的第一批图形处理工作站。

到上世纪90年代初,全球已有超过200家机构下载了FORM,后面这个数字还在不断攀升。

与此同时,FORM还发展出了3个不同的版本:

FORM:顺序版,旨在在单个处理器上运行;

ParFORM:多处理器版,处理器有自己的内存,可以使用集群和系统,同时为两个及以上的处理器;

TFORM:处理器共享内存系统的多线程版,主要用于处理器数量有限的系统。

FORM和FormCalc是相互补充的,FORM作为一种通用符号计算和公式管理软件,而FormCalc作为一种特定于高能物理研究的工具。

这么看来,FORM貌似一直在“茁壮成长”。但其实从开发至今,维护FORM的人数总共也就十余人。

到现在,只剩下73岁的乔斯孤零零一人还在苦苦支撑。

为什么会这样?

一个重要的原因是:在物理学界,开发程序的努力往往被低估了。

乔斯老爷子无奈地表示:

多年来,我一直看到物理学领域中在计算工具开发上花大把时间的人,得不到一个终身职位。

而且相比之下,乔斯及FORM还算是挺幸运的,因为他本身有终身职位——荷兰国家亚原子物理研究所(Nikhef)长期担任理论组研究员。

而且FORM也受到了欧洲研究理事会(ERC)的关注。

光是在2012年,ERC就给FORM的相关项目资助了170万欧(约合人民币1235万元)。当时乔斯提出把游戏领域的蒙特卡洛方法,用来求解高能物理方程(这种方程往往要求高精度、计算量巨大)。

并且这是ERC给乔斯等Nikhef研究人员的第三笔大额拨款。

但同样是在粒子物理学领域,意大利物理学家Stefano Laporta就没这么走运了。他也开发了一种很有用的简化算法,可是整个职业生涯中都没收到什么资助……

如今,即便是曾经发展还不错的FORM,想要找到后续维护者都有些难了。

因为这不光会耗费精力、往往得不到高收益,还要求开发人员有过硬的跨学科能力。(其中一科还是粒子物理……)

有网友指出:

其实最难的不是写代码,而是确保它能正确处理数据。

比如,要对国际粒子物理学委员会编写的参考书PDG Review of Particle Physics行之有效。

如果后续维护不跟进,FORM很快就会跟不上计算机更新迭代的脚步,变得越来越不可用。

学者Ben Ruijl最近在尝试用Rust开发一个新版本的FORM——DreFORM,来尝试减少FORM中的bug。

但是到现在为止新版本还没有完成,因为Ben Ruijl不得不因为自己主要的研究课题而搁置它。

对此,哥本哈根大学(尼尔斯·玻尔的母校)的粒子物理学助理教授Matt von Hippel表示担忧:

(假如FORM真不行了,)物理学者可能不得不只能选择Mathematica,其速度比FORM慢了好几个数量级。

粒子物理学可能还会因此停滞不前,只有少数人能够胜任最难的计算工作。

眼下,乔斯老爷子已在积极思考解决办法。据说在今年4月份,他会召开一个FORM用户峰会,号召大家一起讨论后续维护问题。

GitHub上,也有不少用户一直在为这个程序找Bug、提意见。

我们发现最近也有人在更新项目,但似乎代码出现了一些问题。

参考链接

[1]https://www.quantamagazine.org/crucial-computer-program-for-particle-physics-at-risk-of-obsolescence-20221201/

[2]https://www.nikhef.nl/www/news/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/">https://www.nikhef.nl/www/news/nikhef-researcher-jos-vermaseren-receives-prestigious-erc-advanced-grant/

[3]https://news.ycombinator.com/item?id=33818082

[4]https://arxiv.org/abs/math-ph/0010025

FORM主页:https://www.nikhef.nl/~form/

GitHub主页:https://github.com/vermaseren/form

标签:

(责任编辑:news01)
新方法可使植物塑料降解成肥料

新方法可使植物塑料降解成肥料

新方法可使植物塑料降解成肥料---新华社东京4月23日电(记者钱铮)日本研究人员最新报告说,他们通过高分子
04-23 19:53:16
环球今日讯!江苏有多少个地级市 江苏地级市有哪些

环球今日讯!江苏有多少个地级市 江苏地级市有哪些

今天来聊聊关于江苏有多少个地级市,江苏地级市有哪些的文章,现在就为大家来简单介绍下江苏有多少个地级市
04-23 19:08:53
世界即时:宋杂剧绢画

世界即时:宋杂剧绢画

1、宋杂剧绢画:戏曲文物。2、宋无名氏绘制。3、共存两幅,现藏故宫博物院。4、这两幅绢画反映了宋杂剧一般
04-23 19:02:27
德亚牛奶母公司品渥食品净利润下滑近9成 扣非净利润仅有35万元

德亚牛奶母公司品渥食品净利润下滑近9成 扣非净利润仅有35万元

报告期内,公司合计非经常性损益为1084 93万元,其中交易性金融资产、负债取得的投资收益为733 91万元。公
04-23 18:17:57
天天即时看!笔顺口诀+最容易写错笔顺的字+笔画笔顺测试_笔顺口诀

天天即时看!笔顺口诀+最容易写错笔顺的字+笔画笔顺测试_笔顺口诀

1、笔顺:指的是笔画的走向和出现的先后次序,这是比较固定的。2、汉字笔顺的基本规则是:先横后竖,先撇后
04-23 18:17:19
靠谱助手虚拟定位设置教程是什么? 英雄联盟手游怎么定位战区?-焦点

靠谱助手虚拟定位设置教程是什么? 英雄联盟手游怎么定位战区?-焦点

靠谱助手虚拟定位设置教程是什么?使用靠谱助手,下载助手天天模拟器,打开模拟器后,下方有一个更多功能
04-23 17:53:13
威鸣神斗小说在线阅读_威鸣神斗小说-全球微资讯

威鸣神斗小说在线阅读_威鸣神斗小说-全球微资讯

1、漫画作者是Dr大吉他在知音漫客上还有一个漫画叫极度分裂,都是他一个人画的,没有助手。2、但画风和分镜
04-23 16:58:44
世界热议:央行召开2023年会计财务工作电视会议

世界热议:央行召开2023年会计财务工作电视会议

央行召开2023年会计财务工作电视会议
04-23 16:23:15
【云原生 • Docker】cAdvisor+Prometheus+Grafana 10分钟搞定Docker容器监控平台

【云原生 • Docker】cAdvisor+Prometheus+Grafana 10分钟搞定Docker容器监控平台

cAdvisor(ContainerAdvisor)是Google开源的一个容器监控工具,可用于对容器资源的使用情况和性能进行监控。
04-23 15:51:54
秘鲁政府将给予矿企必要支持-今日热文

秘鲁政府将给予矿企必要支持-今日热文

 据BNAmericas网站报道,秘鲁能矿部长奥斯卡·维拉(ÓscarVera)在会见矿业界代表时
04-23 15:39:56
1.5平方电线承受多少瓦 一平方电线带多大功率

1.5平方电线承受多少瓦 一平方电线带多大功率

今天来聊聊关于1 5平方电线承受多少瓦,一平方电线带多大功率的文章,现在就为大家来简单介绍下1 5平方电线
04-23 15:21:55
极目锐评|陈凯歌单手插兜和张颂文握手被骂惨,别拱火了!_天天快消息

极目锐评|陈凯歌单手插兜和张颂文握手被骂惨,别拱火了!_天天快消息

极目锐评|陈凯歌单手插兜和张颂文握手被骂惨,别拱火了!---4月22日,知名导演陈凯歌携带陈红和儿子陈飞宇
04-23 14:48:16
每日视点!​揭秘新能源车出口“一哥”口岸,这里见证百万“远征军”,也专职承包特斯拉

每日视点!​揭秘新能源车出口“一哥”口岸,这里见证百万“远征军”,也专职承包特斯拉

上海外高桥港区海通码头,全国最大的滚装汽车码头,巨型滚装船“光芒精英号”缓缓靠港,1119辆比亚迪、...
04-23 14:21:34
陕西省气象台发布霜冻蓝色预警 独家

陕西省气象台发布霜冻蓝色预警 独家

陕西省气象台发布霜冻蓝色预警
04-23 13:58:59
铁路部门将加大“五一”假期运力投放 增开1500多列旅客列车-全球观速讯

铁路部门将加大“五一”假期运力投放 增开1500多列旅客列车-全球观速讯

中国国家铁路集团有限公司消息,针对“五一”小长假运输期间火车票预售情况,铁路部门采取多种措施,进...
04-23 13:33:18
山东加快打造体育场地“十分钟健身圈”

山东加快打造体育场地“十分钟健身圈”

4月22日,全省群众体育工作会议在济宁召开,提出重点攻坚体育场地“十分钟健身圈”,实现场地设施“网格...
04-23 13:07:57
再次出山!曝王非担任北控队主教练,马布里辅佐,能否卷土重来?

再次出山!曝王非担任北控队主教练,马布里辅佐,能否卷土重来?

再次出山!曝王非担任北控队主教练,马布里辅佐,能否卷土重来?,王非,cba,山西男篮,北京北控队,国际篮球赛
04-23 13:06:23
Optimus Technologies获得1780万美元A轮融资

Optimus Technologies获得1780万美元A轮融资

OptimusTechnologies是一家脱碳燃料技术研发应用服务商,专注于开发和部署一种先进的燃料系统技术,可使...
04-23 12:28:54
华能水电:2022年净利润68.01亿元 全球快资讯

华能水电:2022年净利润68.01亿元 全球快资讯

华能水电日前发布2022年年度报告。2022年,华能水电实现营业收入211 42亿元,同比增长4 65%;实现净利...
04-23 12:10:49
日本政府拟向锂等关键矿产项目提供补贴,至多覆盖一半成本|天天观焦点

日本政府拟向锂等关键矿产项目提供补贴,至多覆盖一半成本|天天观焦点

日经新闻4月22日消息,日本经济产业省将为日企的关键矿物矿山开发及冶炼项目提供最多一半成本补贴,旨在...
04-23 11:29:56
不得不爱摄像头怎么调清晰度 不得不爱摄像头怎么调_天天视讯

不得不爱摄像头怎么调清晰度 不得不爱摄像头怎么调_天天视讯

今天来聊聊关于不得不爱摄像头怎么调清晰度,不得不爱摄像头怎么调的文章,现在就为大家来简单介绍下不...
04-23 11:27:22
“全家二阳了”!多地网友晒抗原 张文宏:做好药物储备

“全家二阳了”!多地网友晒抗原 张文宏:做好药物储备

【“全家二阳了”!多地网友晒抗原,中疾控:首次监测到12个新分支!张文宏:做好药物储备】4月22日,中...
04-23 11:06:40
即时:许昌保税物流中心一季度贸易额进入全国前20

即时:许昌保税物流中心一季度贸易额进入全国前20

4月20日,记者从许昌海关获悉,今年一季度,许昌保税物流中心(B型)进出口总值达5 6亿元,较去年同比...
04-23 10:31:50
快播:“野生诗人”:一个人,也要活成一个春天

快播:“野生诗人”:一个人,也要活成一个春天

“野生诗人”  一个人,也要活成一个春天  “穷者欲达其言,劳者须歌其事。起初,任嘲我上进求学,...
04-23 10:18:23
【当前独家】世界首台兆瓦级高温超导感应加热装置投用,能效转化率提升一倍

【当前独家】世界首台兆瓦级高温超导感应加热装置投用,能效转化率提升一倍

感谢指股网网友指股网查询相关资料得知,这台兆瓦级高温超导感应加热装置由江西联创研发生产,其采用主...
04-23 10:16:02
淘拼音组词_汉字淘的组词-全球报道

淘拼音组词_汉字淘的组词-全球报道

解答:1、淘[torng]还是陶冶的;熏蒸和染色。2、淘汰[tito]还是淘汰。3、鹅是一条河。鹈鹕的别名。4、
04-23 09:37:59
打印机共享没有权限使用网络资源怎么办(打印机共享没有权限使用网络资源) 天天播资讯

打印机共享没有权限使用网络资源怎么办(打印机共享没有权限使用网络资源) 天天播资讯

1、关闭两台电脑windows自带的防火墙。2、通过ip直接访问试一下。3、操作:windows键+R,输入 192 1...
04-23 08:52:08
全球快报:厄尔尼诺回归 今明年全球平均气温或创新高

全球快报:厄尔尼诺回归 今明年全球平均气温或创新高

​欧盟哥白尼气候变化服务局的气候学家近日表示,受气候变化和预期厄尔尼诺天气现象回归的影响,全球平...
04-23 08:52:07
“五一”未到酒店价格狂飙 网友直呼“酒店刺客”_环球微资讯

“五一”未到酒店价格狂飙 网友直呼“酒店刺客”_环球微资讯

“五一”假期即将来临,人员未动,房价先涨。4月21日,华西都市报、封面新闻记者查询了西昌、丽江、大理...
04-23 08:21:18

为您推荐

精彩推送