算法的威力:程序员用台式机打破超级计算机保持的世界记录_战神的空间

让我们来共同景仰一下ffmpeg之父这位大神吧。他的个人网站在此:

Bellard使用的电脑硬件配置为:

2.93GHz Core i7处理器,内存6GB,硬盘7.5TB(5X1.5TB 希捷7200.11)。另有2TB希捷硬盘做备份。验证阶段使用了9台联网的电脑。

软件配置为:

64位Red Hat Fedora 10操作系统,用软件RAID-0和ext4文件系统管理硬盘。计算圆周率的软件是他自己编写的。技术细节可以参考这里。

圆周率计算结果共需1137GB的硬盘容量,部分结果可以参见这个网页。

二进制位计算时间为103天,验证花费13天。转换为十进制并验证又花费15天。总共时间为131天。

二进制计算使用的是乌克兰Chudnovsky兄弟提出的算法,验证则使用了作者自己改进Bailey-Borwein-Plouffe算法后的公式(也称Bellard公式,是目前最快的圆周率算法,1997年提出)。

Bellard公式

实际上,Bellard在圆周率方面早有辉煌历史,他曾经1996-1997年间创造多次圆周率单一位计算(计算10的整次幂位)的世界纪录,并因此登上《科学美国人》法文版。

【Fabrice Bellard简介】

在程序设计界Fabrice Bellard可以说是一位xx人物,以作品众多而且涉及广泛而著称。他1972年生于法国。高中时编写了DOS上{dy}个广泛使用的文件压缩程序LZEXE。后就读于巴黎高等综合理工学院和法国电信研究院。此后他的杰作频出,多次震惊业界:

1996年先后编写了一个简洁但是完整的C编译器和一个Java虚拟机Harissa。

1997年提出了最快圆周率算法Bellard公式。

1998年编写了一个简洁的OpenGL实现TinyGL。

2000年他发起xx的开源多媒体播放器项目FFmpeg(MPlayer的姊妹项目),并担任负责人多年。

同年以及次年他两次参加xx的国际C语言混乱代码比赛(IOCCC)均获奖,其中的OTCC编译器后来发展为TCC项目,xx支持C99标准,可以将C当作脚本语言来用。

衍生项目TCCBOOT(2004年)是一个只有138KB的启动加载程序,可以在15秒内从源代码编译并启动Linux系统。

2003年开发了Emacs克隆QEmacs。

2005年设计了一个廉价的数字电视系统。

还有正在开发中的开源通用处理器仿真软件QEMU,支持在各种处理器上运行其他处理器上的软件。

xx的法国程序员Fabrice Bellard近日宣布,他使用一台普通的台式电脑(成本低于2000欧元),计算到圆周率小数点后近2.7万亿位,打破了由T2K Open超级计算机(目前排名世界第4247位,造价数百万)去年8月17日创造的2.577万亿位的记录。


郑重声明:资讯 【算法的威力:程序员用台式机打破超级计算机保持的世界记录_战神的空间】由 发布,版权归原作者及其所在单位,其原创性以及文中陈述文字和内容未经(企业库qiyeku.com)证实,请读者仅作参考,并请自行核实相关内容。若本文有侵犯到您的版权, 请你提供相关证明及申请并与我们联系(qiyeku # qq.com)或【在线投诉】,我们审核后将会尽快处理。
—— 相关资讯 ——