法布里斯·貝拉
此條目可參照英語維基百科相應條目來擴充。 |
法布里斯·貝拉（法語：Fabrice Bellard，法語發音：[faˈbʁis bɛˈlaʁ]，1972年—）是一位法國著名的計算機程序員，因FFmpeg、QEMU等項目而聞名業內。他也是最快圓周率算法貝拉公式、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。
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）.