從1999年4月齣版《Java虛擬機規範（第2版）》至今，已經14年過去瞭，雖然此規範在JDK5發布的時候做瞭較大的更新，但卻始終沒有發布完整的規範。2011年6月28日，最新的《Java虛擬機規範》終於完成並在7月份正式發布。對於想瞭解Java虛擬機的程序員來說，本書是必須閱讀的；想深入瞭解Java語言細節的程序員閱讀本書也有極大好處，但是《Java虛擬機規範》、《Java語言規範》發布十餘年，一直沒有中文譯本，這令國內不少對Java虛擬機感興趣但英語能力較弱的程序員隻能望書興嘆。

2011年年初，本書還處於草稿狀態時，我就開始關注本書，並陸續對其中第1、2、6、7章進行瞭翻譯，到2011年9月時完成瞭200餘頁的譯稿。這時候又在國內著名Java社區ItEye中結識瞭另外三名譯者薛笛、吳璞淵和冶秀剛，我們在隨後的兩個多月的時間裏共同完成瞭其餘章節的翻譯和校對。在2013年，機械工業齣版社獲得瞭這本書的版權，並且采用瞭我們翻譯的版本齣版，因此有瞭這本中文版圖書。

本書並非某一款虛擬機實現的說明書，它是一份保證各個公司的Java虛擬機實現具備統一外部接口的契約文檔，書中的概念和細節描述曾經與Sun公司早期虛擬機的實現高度吻閤，但是隨著技術的發展，高性能虛擬機真正的細節實現方式已經漸漸與虛擬機規範所描述的內容産生瞭越來越大的差距。作者也在書中不同地方反復強調：虛擬機規範中所提及的“Java虛擬機”皆為虛擬機的概念模型而非具體實現。實現隻要保證與概念模型最終等效即可，而具體實現的方式無需受概念模型束縛。因此，通過《Java虛擬機規範》分析程序的執行語義問題（虛擬機會做什麼）是十分閤適且具權威性的，但分析程序的執行行為問題（虛擬機是怎樣做的、性能如何）則意義不大，如果需要對具體虛擬機實現進行調優、性能分析等，我推薦在本書基礎上繼續閱讀《Java Performance》和《Oracle JRockit：The Definitive Guide》等書。

在翻譯過程中，我們盡最大努力保證作品的準確性和可讀性，力求在保證語義準確的前提下，盡可能使用通俗易懂的方式嚮給各位讀者介紹Java虛擬機的約束與運作原理。為實現此目標，我們在翻譯專有技術名詞、偏僻詞時用括號保留瞭原文，並專門在多處讀者理解起來可能有睏難的地方，添加瞭“譯者注”加以解釋。

囿於我們的水平和翻譯時間，書中難免存在不妥之處，大傢如有任何意見或建議都歡迎通過以下電子郵箱與我聯係：understandingjvm@gmail.com。

周誌明

本書整閤瞭自1999年《Java虛擬機規範（第2版）》發布以來Java世界所齣現的技術變化。另外，還修正瞭第2版中的許多錯誤，以及對目前主流Java虛擬機實現來說已經過時的內容。最後還處理瞭一些Java虛擬機和Java語言概念的模糊之處。

針對本書，讀者有任何勘誤或模糊之處，均可發郵件到jvms-comments-ww@oracle.com。

2004年發布的Java SE 5.0版為Java語言帶來瞭翻天覆地的變化，但是對Java虛擬機設計的影響則相對較小。在Java SE 7這個版本中，我們擴充瞭class文件格式以便支持新的Java語言特性，譬如泛型和變長參數方法等。

2006年發布的Java SE 6.0版看起來並沒有為Java語言帶來什麼新的變化，但是對Java虛擬機的影響就比較大。如新的字節碼驗證方式，它源於Eva Rose的一篇碩士論文，文中以Java Card平颱為背景，展示瞭Java虛擬機字節碼驗證的另一種全新的實現思路。這促進瞭Java ME CLDC第1版實現的誕生，並最終成為Java SE平颱class驗證過程的理論基礎。關於這部分內容將會在第4章中介紹。

Sheng Liang實現瞭Java ME CLDC的驗證器。Gilad Bracha負責對該驗證器做齣詳細說明，Antero Taivalsaari則是整個Java ME CLDC規範的負責人。Alessandro Coglio在字節碼驗證的分析方麵的工作對本規範做齣瞭很大的貢獻。Wei Tao、Frank Yellin、TimLindholm與Gilad Bracha一起實現的Prolog驗證器是Java ME和Java SE平颱規範的共同基礎。Wei Tao後續繼續實現瞭實際運用於Hot Spot Java虛擬機的驗證器。之後Mingyao Yang改進瞭規範和設計，形成瞭Java SE 6中的最終實現版本。該規範成文得益於以下JSR 202專傢組成員：Peter Burka、Alessandro Coglio、Sanghoon Jin、Christian Kemper、Larry Rau、EvaRose以及 Mark Stolz。

在2011年發布的Java SE 7平颱終於兌現瞭在1997年《Java虛擬機規範》第1版中就已做齣的承諾：“在未來，我們會對Java虛擬機進行適當擴展，以便更好地支持其他語言運行於JVM之上。”Gilad Bracha的工作是開發Java虛擬機中的熱替換（hotswapping）功能，以及在Java虛擬機靜態類型係統上支持動態類型語言實現。invokedynamic指令以及支持這個指令的基礎架構由John Rose以及JSR 292專傢組成員：Ola Bini、 Rémi Forax、Dan Heidinga、Fredrik ?hrstr?m、JochenTheodorou進行開發。還有Charlie Nutter和Christian Thalinger做齣瞭特彆貢獻。

還有許多人的名字應當齣現在這裏，他們在不同時間段對Java虛擬機的設計和實現做齣過貢獻。我們今天所見的Java虛擬機擁有卓越的執行性能，這離不開DavidUngar和他的同事們在Sun實驗室Self項目中所積纍的技術基礎。這些技術最初用於Self語言，後來形成瞭Animorphic Smalltalk虛擬機，經過長期而麯摺的發展，最終成為今天Oracle HotSpot JVM的技術基礎。Lars Bak和Urs H?lzle經曆瞭所有上述的技術發展階段，對於今天的Java虛擬機能夠擁有大傢認為理所當然的高效執行性能，他們實在是居功至偉。

本規範中很多意義深遠的改進來自於Martin Buchholz、Brian Goetz、Paul Hohensee、David Holmes、Karen Kinnear、Keith McGuigan、Jeff Nisewanger、 Mark Reinhold、Naoto Sato、BillPugh、Uday Dhanikonda、Janet Koenig、AdamMessinger、John Pampuch、Georges Saab和Bernard Traversat所作齣的貢獻。Jon Courtney和Roger Riggs幫助我們保證此規範的內容可同時適用於Java ME和Java SE平颱。Leonid Arbouzov、Stanislav Avzan、Yuri Gaevsky、Ilya Mukhin、Sergey Reznick和Kirill Shirokov在Java技術兼容包（JavaCompatibility Kit，JCK）上作齣瞭卓越貢獻，以保證本規範中描述的內容是可測試並且已測試的。

Gilad Bracha

Los Altos，California

Alex Buckley

Santa Clara，California

第2版前言

《Java虛擬機規範（第2版）》將規範所描述內容的技術背景升級到瞭Java 2平颱（JDK 1.2），它還包括瞭許多對第1版的修正，並且在不改變規範內容邏輯的情況下，使描述變得更加清晰。我們也嘗試調整瞭規範中的字體樣式、勘誤（希望勘誤不會産生新的錯誤）以及對規範中模糊的部分增加額外的描述。另外，我們還修正瞭許多《Java虛擬機規範》和《Java語言規範》之間不一緻的內容。

我們很感謝所有為我們梳理過第一版規範並指齣問題的讀者，特彆感謝以下個人和團體，他們指齣瞭問題甚至直接提供瞭修改意見。

Carla Schroer與她在加利福尼亞州古本蒂諾、俄羅斯新西伯利亞的兼容性測試團隊（尤其感謝其中的Leonid Arbouzov和AlexeiKaigorodov）。他們煞費苦心地為第1版中各處可測試的場景編寫瞭兼容性測試用例。在這個過程中，他們還發現瞭許多處第1版規範中不清晰和不完整的內容。Jeroen Vermeulen、Janice Shepherd、Peter Bertelsen、Roly Perera、JoeDarcy與Sandra Loosemore提交瞭許多有用的建議和反饋，這些建議和反饋對於第2版規範的改進工作有很大幫助。Addison Wesley Longman齣版社的編輯Marilyn Rash和Hilary Selby Polk幫助我們在第2版中閤並技術變更的同時，改進瞭規範的可讀性和內容的布局排版。

還要特彆感謝Gilad Bracha，他對本書齣版進行瞭嚴格審查，另外他也是本書新增內容的主要貢獻者，尤其是第4、5章。他對計算機理論的貢獻以及他解決的《Java虛擬機規範》和《Java語言規範》之間的描述差異問題都極大地完善瞭本書。

Tim Lindholm

Palo Alto，California

Frank Yellin

.　　Redwood City，California

1999年4月

第1版前言

《Java虛擬機規範》是描述Java虛擬機設計原理的一份完整的規範文檔。這份文檔對於任何一個希望實現Java虛擬機的編譯器作者，或者希望實現一個與規範兼容的Java虛擬機的程序員來說都是必不可少的。

Java虛擬機是一個抽象化的機器，整個規範中提及的Java虛擬機都是抽象化的概念，而不是特指Oracle或者其他某一傢公司的Java虛擬機實現。本書與一個具體的虛擬機實現之間的關係就猶如一份建築藍圖與一間具體的房屋之間的關係一樣。Java虛擬機具體實現（包括任何公司的JVM實現）必須包括本規範所描述的內容，但是除瞭少數絕對必要的地方外，本規範中的描述不應成為Java虛擬機具體實現的束縛。我們希望這個規範至少能作為一個“實驗室”版本的虛擬機實現的完整描述。

Java虛擬機源於由James Gosling在1992年設計，用於支持Oak程序語言的虛擬機。在Java虛擬機的發展曆程中，Sun公司的Green項目、FirstPerson公司、LiveOak項目、Java産品組、JavaSoft公司以及今天的Oracle公司的Java平颱組中許多人都作齣瞭直接或間接的貢獻。

這本書最初是源於由Kathy Walrath編著的一份公司內部文檔。Mary Campione將本書轉換為HTML版本，使大傢可通過互聯網訪問到本書。

《Java虛擬機規範》的誕生離不開Java産品團隊的總經理Ruth Hennigar的大力支持，還有編輯Lisa Friendly、Mike Hendrickson以及他在Addison-Wesley齣版社的團隊所做齣的編輯工作。在此特彆感謝Richard Tuck對原稿的仔細審查，還有Bill Joy對本書的審查、評價和指導意見，這些寶貴信息對本書定稿都有很大的幫助。

Tim Lindholm

Palo Alto，California

Frank Yellin

Redwood City，California

1996年6月