法布里斯·貝拉
此條目可參照英語維基百科相應條目來擴充。 |
法布里斯·貝拉 | |
---|---|
出生 | 1972年 法國格勒諾布林 |
知名於 | QEMU, FFmpeg, Tiny C Compiler, 貝拉公式 |
網站 | bellard.org |
法布里斯·貝拉(法語:Fabrice Bellard,法語發音:[faˈbʁis bɛˈlaʁ],1972年—)是一位法國著名的電腦程式員,因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的公式比傳統的BBP演算法要快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萬億位,僅用一台普通個人電腦。[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。
2019年,他編寫了一款新的Javascript引擎QuickJS[7]。
註釋
- ^ A new formula to compute the n'th binary digit of pi January 21, 1997
- ^ TCCBOOT Compiles And Boots Linux In 15 Seconds. [2010-01-07]. (原始內容存檔於2016-05-27).
- ^ Digital TV Transmitter using a VGA card. [2010-01-07]. (原始內容存檔於2016-03-03).
- ^ New Pi Computation Record Using a Desktop PC (頁面存檔備份,存於互聯網檔案館) January 5, 2010
- ^ Jason Palmer. Pi calculated to 'record number' of digits. BBC News. 2010-01-06 [2010-01-07]. (原始內容存檔於2018-05-09).
- ^ LTE Base Station Software. [2012-09-30]. (原始內容存檔於2021-04-02).
- ^ QuickJS is a small and embeddable Javascript engine. [2019-07-12]. (原始內容存檔於2021-03-29).