您现在的位置：程式碼之家 >> 編程語言 > >> Java 程式設計 >> Java 相關知識

漫談 EJB 之 Java 語言基石、JVM 運作機制與安全模型深度解析 (系列一)

編輯：Java 相關知識

Java 語言：從 Oak 到企業級開發標準的演進

Java 語言最早命名為 Oak，由 James Gosling 等人為嵌入式消費電子設計。後重新定位於互聯網，確立了「一次編寫，到處運行」的核心願景。Java 吸收了 C/C++ 的語法精華，同時摒棄了指針、操作符重載、多重繼承等複雜且不安全特性，引入垃圾回收、強類型檢查、異常處理機制，成為兼具開發效率與運行健壯性的主流語言。

Java 語言五大詞法元素

元素	說明	示例
標識符	變量、類、方法、包名稱	`userName`, `UserService`, `com.example`
關鍵字	語言保留字，不可作標識符	`class`, `interface`, `extends`, `try`, `volatile` (共 50+ 個)
字面量	固定值表示	`123`, `3.14f`, `'A'`, `"Hello"`, `true`, `null`
運算符	表達式運算符號	`+`, `-`, `*`, `/`, `%`, `++`, `&&`, `\|\|`, `?:`, `instanceof`
分隔符	代碼結構定界	`{}`, `()`, `[]`, `;`, `,`, `.`, `...`

字符串特殊設計：對象而非字符數組

String s = "abc"; 創建 java.lang.String **不可變對象**。
每個字符串字面量對應常量池中唯一實例 (編譯期確定)。
安全考量：不可變性保證線程安全、防止參數篡改、支持字符串池複用。
JDK 9+ 使用 byte[] + coder (Latin-1/UTF-16) 緊湊存儲，節省內存。

學習路徑建議：從語法到架構師

語言規範：《The Java Language Specification (JLS)》—— 徹底理解語義邊界。
JVM 內部：《Inside the Java Virtual Machine》—— 掌握類加載、內存模型、GC、JIT 編譯。
核心 API：IO/NIO、Collections、Concurrency、Network/RMI、JAXP/XML、JDBC/JTA。
設計模式與重構：《Design Patterns》(GoF), 《Refactoring》(Fowler) —— 從寫代碼到設計系統。
閱讀源碼：JDK 集合框架、並發包、Spring 核心模塊 —— 學習頂級庫設計哲學。

JVM：虛擬機器實現跨平台與安全的基石

JVM 核心職責

平台無關性：屏蔽底層 OS/硬件差異，統一字節碼指令集 (JVMS 規範)。
內存管理：堆、棧、方法區、元空間、直接內存；自動垃圾回收 (GC)。
安全沙箱：類加載器隔離、字節碼驗證器、安全管理器權限控制。
性能優化：JIT 即時編譯 (C1/C2/Graal)、逃逸分析、內聯、鎖消除。

Applet 時代的沙箱模型 (歷史背景)

瀏覽器為每個 Applet 啟動獨立 JVM 實例。
Applet 無法訪問本地文件系統、網絡 (僅限源主機)、系統屬性、本地進程。
由 SecurityManager 實現：checkRead, checkWrite, checkConnect, checkPropertyAccess 等。

Java 安全模型三大支柱

層面	機制	關鍵點
語言特性	無指針、強類型、數組邊界檢查、自動內存管理	編譯期 + 運行期雙重保障，消除緩衝區溢出、懸空指針等 C/C++ 常見漏洞
資源訪問控制	SecurityManager + Permission 體系	細粒度權限: FilePermission, SocketPermission, PropertyPermission, RuntimePermission 等
代碼簽名與信任	JAR 簽名 + 證書鏈 + 策略文件	驗證代碼來源完整性，授予對應權限 (如簽名代碼可讀寫特定目錄)

類加載器雙親委派模型與安全性

Bootstrap ClassLoader (C++ 實現, 加載 jre/lib/rt.jar 等核心庫)
    ↑ 父加載器
Extension ClassLoader (加載 jre/lib/ext/*.jar)
    ↑ 父加載器
Application / System ClassLoader (加載 classpath 應用類)
    ↑ 父加載器 (Web 容器中為 WebAppClassLoader)
Custom ClassLoader (應用自定義, 熱加載、隔離、加密)

委派機制：子加載器先委派父加載器查找，找不到再自行加載。
安全意義：防止惡意代碼偽裝核心類 (如 java.lang.String) 繞過安全檢查。核心類永遠由 Bootstrap 加載，不可篡改。

權限模型演進：JDK 1.0 沙箱 → 1.2 細粒度權限 → 當前模組化封裝

JDK 1.0：二元權限 —— 完全信任 (本地代碼) vs 沙箱 (Applet)。
JDK 1.2+：引入 Permission, ProtectionDomain, AccessController, Policy。基於代碼來源 (CodeSource: URL + 證書) 和調用棧 (doPrivileged) 動態授權。
JDK 9+ (Jigsaw 模組系統)：強封裝內部 API (--add-opens)、模組圖依賴、jlink 定制運行時鏡像，進一步縮小攻擊面。

客觀看待 Java 跨平台：優勢與現實

優勢：字節碼中立、JVM 抽象層、生態工具鏈成熟 (Maven/Gradle/IDE)、遷移成本低於重寫。
現實挑戰：不同 JVM 實現 (HotSpot, OpenJ9, GraalVM, Azul Zing) 行為差異 (GC、JIT、內存佈局)；OS 原生能力調用 (JNI/JNA) 破壞純跨平台；庫依賴版本地獄。
企業價值：極少頻繁遷移 OS，跨平台更多體現為**開發環境 (Win/Mac/Linux) 統一、容器化部署 (Docker) 无縫遷移、雲廠商鎖定風險降低**。