法布里斯·贝拉[编辑]
法布里斯·贝拉 | |
---|---|
出生 | 1972 Grenoble, France |
知名於 | QEMU, FFmpeg, Tiny C Compiler,Bellard's formula |
网站 | |
bellard.org |
法布里斯·贝拉(Fabrice Bellard,法文發音: [faˈbʁis bɛˈlaʁ]) )是一位法國著名的计算机程序员,因FFmpeg、QEMU等项目而闻名业内。他也是最快圆周率算法貝拉公式、TCCBOOT和TCC(微型C編譯器)等项目的作者。
1972年生于法国Grenoble。在高中就读期间开发了著名的可执行压缩程序LZEXE,这是當年DOS上第一个广泛使用的文件压缩程序。 。大学就读于巴黎综合理工学院,后在巴黎高等电信学校攻读。 1996年,他编写了一个简洁但是完整的C编译器和一个Java虚拟机Harissa。Fabrice Bellard发明的TinyCC是GNU/Linux环境下最小的ANSI C语言编译器,是目前号称编译速度最快的C编译器。 1997年他提出了最快速的计算圆周率的算法,是貝利-波爾溫-普勞夫公式的变体。[1]
在计算圆周率的过程中,Fabrice Bellard使用改良后的查德诺夫斯基方程算法来进行圆周率的计算,并使用貝利-波爾溫-普勞夫公式来验证计算的结果。为了纪念他对圆周率算法所作出的杰出贡献,Fabrice Bellard所使用的改良型算法被命名为Fabrice Bellard算法,这种算法是目前所有圆周率算法中最快的一种,这个计算N位PI的公式比传统的BBQ算法要快47%。
1998年编写了一个简洁的OpenGL实现TinyGL. 2000年,他化名Gérard Lantau,创建了FFmpeg项目。FFmpeg 单词中的FF 指的是Fast Forward,FFmpeg这个2000年发起著名的开源多媒体播放器项目, 是MPlayer的姊妹项目。这是一个如此重要的成就。这个多平台、多功能的多媒体编码解码器由Fabrice Bellard发起并管理,现在是由Michael Niedermayer在进行维护。
2003年,开发了Emacs克隆QEmacs。
2004年,他编写了一个只有138KB的启动加载程序TCCBOOT,可以在15秒内从源代码编译并启动Linux系统。[2]
2005年,用普通PC和VGA卡设计了一个数字电视系统。[3]
2009年12月31日,他声称打破了圆周率计算的世界纪录,算出小数点后2.7万亿位,仅用一台普通PC机。 [4][5] 他使用的个人PC价格不到2000欧元,仅用了116天,就计算出了PI的小数点后第2.7万亿位,超过了由目前排名世界第47位的T2K Open超级计算机于2009年8月17日创造的世界纪录。新纪录比原纪录多出1200亿位,然而,他使用的这台桌面电脑的配置仅为:2.93GHz Core i7 CPU,6GB内存,7.5TB硬盘!
2011年,他单用JavaScript写了一个PC虚拟机 Jslinux。这个虚拟机仿真了一个32位的x86兼容处理器,一个8259可编程中断控制器,一个8254可编程中断计时器,和一个16450 UART。
2012年, 在PC上用软件实现4G LTE基站.[6]
这个世界从来不缺天才,只缺乏利用天分坚持理想和信念不断创新的人,这些人用恒心和
努力缔造一个又一个传奇。法国人Fabrice Bellard 就是这样一个了不起的程序员。
Fabrice Bellard1972年生于法国,曾就读于巴黎高等综合理工学院和法国电信研究院。对
计算机有着浓厚兴趣的他,高中时就崭露头角,编写出了LZEXE,这是DOS上第一个广泛使
用的文件压缩程序。
Fabrice Bellard是一位计算机奇才,在业界有着重要的影响。1996年他编写了一个简洁但
是完整的C编译器和一个Java虚拟机Harissa。Fabrice Bellard发明的TinyCC是GNU/Linux
环境下最小的ANSI C语言编译器,是目前号称编译速度最快的C编译器。Fabrice Bellard
杰作众多且涉及广泛,1998年编写了一个简洁的OpenGL实现TinyGL,2003年开发了Emacs克
隆QEmacs,2005年还设计了一个廉价的数字电视系统。
Fabrice Bellard的一个重要杰作是在Linux内核上写了一个CPU模拟器QEMU,这套开放源码
的模拟器软件与Bochs、PearPC近似,但具有后两者所不具备的高速度及跨平台等特性。Q
EMU可以在不同的机器上运行独自开发的操作系统与软件,经由KQEMU这个开源的加速器,
能模拟至接近真实电脑的速度。QEMU构思巧妙, 效率极高, 在借助核心态的KQEMU加速器
之后,模拟代码的执行速度甚至能够接近真实机器。QEMU已成为目前使用最广泛的模拟器
,KVM和Google Android的模拟器都是基于QEMU的。
Fabrice Bellard 可谓博学多才,他另外一个重量级项目是FFmpeg。F Fmp e g 单词中的
F F 指的是F a s t Forward,FFmpeg这个2000年发起著名的开源多媒体播放器项目, 是
MPlayer的姊妹项目。这是一个如此重要的成就,没有这个项目,就没有我们今天广为使用
的暴风影音等播放器。这个多平台、多功能的多媒体编码解码器由Fabrice Bellard发起并
管理,现在是由Michael Niedermayer在进行维护。
天才的创新经常是离经叛道式的超越,Fabriced Bellard的一些项目让人感觉疯狂。比如
他曾有一个项目是将带有VGA显卡的PC改装成DVB-T的信号发射器。这样一来,为了防止泄
密,公司不仅要封声卡插口,还要焊上显卡插口。
Fabrice Bellard在圆周率算法方面也有着惊人的成就,1997年FabriceBellard提出最快圆
周率算法公式。在计算圆周率的过程中,Fabrice Bellard使用改良后的查德诺夫斯基方程
算法来进行圆周率的计算,并使用贝利-波温-劳夫算法来验证计算的结果。为了纪念他对
圆周率算法所作出的杰出贡献,Fabrice Bellard所使用的改良型算法被命名为Fabrice B
ellard算法,这种算法是目前所有圆周率算法中最快的一种,这个计算N位PI的公式比传统
的BBQ算法要快47%。
2009年的最后一天,Fabr ice Bellard宣布另一重大突破:他用桌面电脑打破了由超级计
算机保持的圆周率运算记录。这是一个壮举, 他将PI计算到了小数点后2.7万亿位!更令
人惊讶的是, 他使用的不过是价格不到2000欧元的个人PC,仅用了116天,就计算出了PI
的小数点后第2.7万亿位,超过了由目前排名世界第47位的T2K Open超级计算机于2009年8
月17日创造的世界纪录。新纪录比原纪录多出1200亿位,然而,他使用的这台桌面电脑的
配置仅为:2.93GHz Core i7 CPU,6GB内存,7.5TB硬盘!
不过这次为了加快计算完成的速度保住排名第一的位置,Fabrice Bel lard使用了9台联网
的电脑来对数据进行验证, 若使用一台电脑来验证计算结果的话, 则需要额外增加13天
的计算时间。
Fabrice Bellard在圆周率方面的辉煌成就, 使他创造多次圆周率单一位计算的世界纪录
(计算10的整次幂位) , 也曾因此而登上《科学美国人》法文版。
2012年,此人在PC上完全用软件实现了4G LTE基站。
原文作者将法布里斯贝拉(Fabrice Bellard)和linus Torvalds相提并论,Bellard其天才程度可见一斑。其项目不只有QEMU这种虚拟化的天才产品,也有PC机仿最新很火的LTE 4G基站,甚至将显卡做成发射器,还有各种数学上的造诣,对于这种高手,我们难以望其项背,所以将此文转来,悬挂起来膜拜之。
原文作者Liu Guo Hui,EasyStack 架构师,具体原文如下:
众所周知,虚拟化技术是构建云基础架构不可或缺的关键技术之一,而在众多虚拟化技术实现当中,KVM(Kernel Virtual Machine)因为Linux内核对其的良好支持(KVM于2006年10月被合并入Linux Kernel 2.6.20中),以及其精简的架构(在最新的Linux Kernel 3.14.rc5 中除硬件之外的核心框架仍然只有不到10000行)越来越多的被应用于超大规模的IaaS部署中,注:随后会写文章专门介绍KVM背后的那些技术天才。
但是我们知道运行于内核态的KVM是无法单独工作的,那些对性能要求比较高的虚拟设备例如:虚拟中断控制器和虚拟时钟,才会由KVM内核模块直接管理,大部分的输入输出虚拟设备还是需要一个运行于用户态的程序负责,这个运行于用户态的程序就是大名鼎鼎的QEMU(Quick Emulator),它的作者就是法国天才程序员Fabrice Bellard。
在过去的大半个世纪中,计算机科学界涌现出了一批不世出的天才:阿兰·图灵(Alan Turing)、高纳德(Donald Knuth)、艾兹赫尔·戴克斯特拉(Edsger Dijkstra),这些振聋发聩的名字背后是建立了彻底改变人类生活的现代计算机工业,这些人的影响力是如此之大,不但改变了整个世界,同时也赢得了全球的尊重。于此同时另外一些人也在进行类似令人印象深刻和同时极具影响力的工作,他们之中的佼佼者就是Fabrice Bellard ,Fabrice Bellard 走的是完全不同的路,Bellard的绝大多数贡献都集中在自由软件与开源领域,除了QEMU之外,最为人熟知的就是FFMPEG,他被誉为过去20年中最闪亮和最有影响力的程序员之一,但他的名声远远却低于他的贡献。
在 2005年,Bellard 发布了也可以说是他最重要的项目:QEMU。QEMU 是一个处理器仿真,意味着用软件来模拟不同处理器体系架构(ISAs),允许为一个特定处理器编译的程序,通过软件仿真在另外一个体系上运行。Rellard 的设计灵感是基于邱奇-图灵理论,这个理论间接指出任何图灵完备语言配合图灵机可以仿真其它的图灵机。如果说FFMPEG体现了Bellard深厚的数学和信号学天分,那么QEMU 的实现就体现了Bellard对于计算机体系架构的深刻理解和程序设计的深厚功底。
Bellard除了具备天才程序员的实力之外,同时也极具黑客气质,在他主页上罗列的众多令人震撼的成就的最新一个是利用软件在PC上模拟了LTE 4G基站。天才的创新经常是离经叛道式的超越,Fabriced Bellard的一些项目让人感觉疯狂。比如他曾有一个项目是将带有VGA显卡的PC改装成DVB-T的信号发射器。这样一来,为了防止泄密,公司不仅要封声卡插口,还要焊上显卡插口。
2011年,他用JavaScript写了一个PC虚拟机Jslinux。这个虚拟机仿真了一个32位的x86兼容处理器,一个8259可编程中断控制器,一个8254可编程中断计时器,和一个16450 UART。 http://bellard.org/jslinux/,在笔者的普通桌面电脑的Chrome浏览器中,Jslinux只用了仅仅5.075秒就启动了Linux。
Fabrice Bellard在数学方面也有着惊人的造诣,1997年FabriceBellard提出最快圆周率算法公式。在计算圆周率的过程中,Fabrice Bellard使用改良后的查德诺夫斯基方程算法来进行圆周率的计算,并使用贝利-波温-劳夫算法来验证计算的结果。为了表彰他对圆周率算法所作出的杰出贡献,Fabrice Bellard所使用的改良型算法被命名为Fabrice Bellard算法,这种算法是目前所有圆周率算法中最快的一种,这个计算N位PI的公式比传统的BBQ算法要快47%。
2009年的最后一天,Fabr ice Bellard宣布另一项重大突破:他用桌面电脑打破了由超级计算机保持的圆周率运算记录。这是一个壮举, 他将PI计算到了小数点后2.7万亿位!更令人惊讶的是, 他使用的不过是价格不到2000欧元的个人PC,仅用了116天,就计算出了PI的小数点后第2.7万亿位,超过了由目前排名世界第47位的T2K Open超级计算机于2009年8月17日创造的世界纪录。新纪录比原纪录多出1200亿位,然而,他使用的这台桌面电脑的配置仅为:2.93GHz Core i7 CPU,6GB内存,7.5TB硬盘! 不过这次为了加快计算完成的速度保住排名第一的位置,Fabrice Bellard使用了9台联网的电脑来对数据进行验证, 若使用一台电脑来验证计算结果的话, 则需要额外增加13天的计算时间。 Fabrice Bellard在圆周率方面的辉煌成就, 使他创造多次圆周率计算的世界纪录(计算10的整次幂位), 也曾因此而登上《科学美国人》法文版。
最后,让我们不妨八卦一下,在Google中输入Fabrice Bellard vs Linus Torvalds会出现什么呢?毕竟,在笔者心目中,他们就像罗伯特德尼罗PK阿尔帕西诺。映入眼帘的第一个结果,是财富杂志科技栏目专访全球在线支付巨头Stripe的创始人的一篇文章,其中提到。There are also a few individual people, like Fabrice Bellard, Jeff Dean, and Dan Bernstein, who are just generally fabulously productive and make me feel guilty about how little I get done. 好吧,Jeff Dean…,与Jeff Dean并列,足以说明Fabrice Bellard的超强实力与卓越成就。
Fabrice Bellard 个人主页: http://bellard.org/
简历一份,存档看看。
姓名: ·网名:回忆未来
·生日:1985年5月19日
·博客:http://zyan.cc
·邮箱:admin@zyan.cc [复制]
·推特:twitter.com/rewinx
·微博:t.sina.com.cn/rewinx
·籍贯:湖南省湘西自治州
· 学校: 湖北武汉 | 中南民族大学
· 专业: 2003级|国际经济与贸易
· 时间:2003年9月─2007年7月
· 工作:苏州热拍信息技术有限公司
· 职位:联合创始人/副总裁
· 地址:北京市朝阳区广渠路3号竞园
· 苏州工业园区若水路1号
· 时间:2013.01.01─今
· 工作: 4399.com 闪购创业孵化器
· 职位:闪购技术负责人
· 地址:北京市朝阳区建外SOHO A座
· 时间:2012.02.07─2012.12.31
· 工作: 北京世纪一家网
· 职位:技术总监
· 地址:北京市朝阳区建外SOHO 8#
· 时间:2011.09.01─2012.02.06
· 工作:
![](https://i-blog.csdnimg.cn/blog_migrate/dc59d3ef510f782e2903714acf6898f2.gif)
· 部门:运营技术中心-网站开发部
· 职位:技术经理/架构师
· 地址:北京市海淀区 金山软件大厦
· 时间:2008.11.24─2011.08.31
· 工作: 赶集网
· 职位:架构师
· 地址:北京市海淀区清华科技园
· 时间:2008.04.01─2008.11.21
· 工作:
![](https://i-blog.csdnimg.cn/blog_migrate/0b5eff9bb0d1efdd6d28d1e6449f9d88.jpeg)
· 职位: 新浪播客 -系统工程师
· 地址:北京市海淀区中关村
· 理想国际大厦18层
· 时间:2007.01.25─2008.03.31