法布里斯·貝拉

法布里斯·貝拉(法語:Fabrice Bellard法語發音:[faˈbʁis bɛˈlaʁ],1972年)是一位法國著名的計算機程序員,因FFmpegQEMU等項目而聞名業內。他也是最快圓周率算法貝拉公式、TCCBOOT和TCC等項目的作者。

法布里斯·貝拉
出生1972年
 法國格勒諾布爾
知名於QEMU, FFmpeg, Tiny C Compiler, 貝拉公式
網站bellard.org

曾在國際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。

2012年,在PC上用軟件實現4G LTE基站[6]

2019年,他編寫了一款新的Javascript引擎QuickJS[7]

注釋

  1. ^ A new formula to compute the n'th binary digit of pi January 21, 1997
  2. ^ TCCBOOT Compiles And Boots Linux In 15 Seconds. [2010-01-07]. (原始內容存檔於2016-05-27). 
  3. ^ Digital TV Transmitter using a VGA card. [2010-01-07]. (原始內容存檔於2016-03-03). 
  4. ^ New Pi Computation Record Using a Desktop PC頁面存檔備份,存於網際網路檔案館) January 5, 2010
  5. ^ Jason Palmer. Pi calculated to 'record number' of digits. BBC News. 2010-01-06 [2010-01-07]. (原始內容存檔於2018-05-09). 
  6. ^ LTE Base Station Software. [2012-09-30]. (原始內容存檔於2021-04-02). 
  7. ^ QuickJS is a small and embeddable Javascript engine. [2019-07-12]. (原始內容存檔於2021-03-29). 

外部連結