PL/0 編譯器設計與實現：從詞法分析到解釋執行全流程解析

項目背景

PL/0 是 Pascal 的子集，本項目使用 Java 實現其編譯器與解釋執行系統。目標代碼面向假想棧式計算機，具備跨平台特性。編譯過程採用單遍掃描，以遞歸下降語法分析為核心，結合符號表管理、目標代碼生成與錯誤處理，最終由解釋器執行目標代碼。

語言規範（EBNF）

核心產生式包括：

• 程序結構：<prog> → program <id> ; <block>
• 塊：<block> → [<condecl>][<vardecl>][<proc>]<body>
• 常量/變量/過程聲明：支持嵌套過程
• 語句：賦值、條件、循環、過程調用、讀寫、復合語句
• 表達式：算術、關系、因子運算

目標機器指令集

指令編碼：F 段操作碼，L 段層差，A 段位移量。

假想機架構

• 代碼存儲器 CODE，數據棧 STACK
• 四寄存器：指令寄存器 I、棧頂指針 T、基址寄存器 B、程序計數器 P
• 所有運算在棧頂兩單元進行，結果留存棧頂

活動記錄結構

每個過程調用分配：RA（返回地址）、SL（靜態鏈）、DL（動態鏈） + 變量空間。過程返回相當於特殊 OPR 運算。

編譯器功能模塊

1. 詞法分析

識別關鍵字（29個）、運算符、界符、關系運算符、標識符、數字。輸出 lex.txt，格式：(符號碼, 值)。如 program → (1, -)，標識符 v1 → (30, v1)，數字 12 → (31, 12)。

2. 語法分析

遞歸下降法，每個非終結符對應一子程序。如 program 檢查關鍵字、標識符、分號，隨後調用 block()。

3. 語義分析

符號表管理：存儲變量（名、層次、偏移）、常量（名、值、層次）、過程（名、入口地址、層次、參數個數）。全局變量 level（層次，主程序為1）、address（偏移量）輔助分配。

• 常量聲明：記錄名、值、層次、地址（常量地址固定為0）
• 變量聲明：記錄名、層次、遞增 address
• 過程聲明：記錄名、層次、入口地址（回填技術）、參數個數

目標代碼生成（回填技術關鍵點）：

• <block>：入口生成 JMP 佔位，分析完聲明部分回填入口地址；記錄過程入口地址到符號表 value 域供 CALL 使用。
• <statement>：
  • 賦值：生成 STO L, A
  • if：生成 JPC、JMP，回填跳轉地址
  • while：生成 JPC、JMP 實現循環
  • call：生成 CAL L, A，A 從符號表取
  • read/write：RED、WRT 配合賦值/輸出

4. 解釋執行（活動記錄組織）

運行時棧分配：每調用一過程，棧頂預留 3 單元存 SL、DL、RA，再分配變量空間。參數傳遞：形參視為局部變量，調用時將實參值按位置賦值給形參區，然後分配新活動記錄。

核心難點攻克

1. 作用域解析：聲明時檢查同層重名；引用時從當前層向外層逐級查找，採用符號表數組 + 層次名字雙重索引實現。過程參數傳遞：形參按聲明順序緊跟 SL/DL/RA 存儲；調用時先利用舊棧頂賦值，再擴展棧分配新記錄，避免棧頂更新導致參數丟失。

類結構設計

• RValue + LexAnalysis + chTable → 詞法分析
• AllPcode + PerPcode → 目標代碼生成
• SymTable + TableRow → 符號表管理
• Interpreter → 解釋執行
• MpgAnalysis → 語法分析 + 錯誤處理（showError）

總結

本 PL/0 編譯器完整實現了從源代碼到目標代碼的編譯、鏈接、解釋執行全流程，涵蓋編譯原理核心知識：詞法/語法分析、符號表、中間代碼生成、運行時存儲組織、棈式機器模擬。代碼採用模塊化設計，便於擴展與維護，是學習編譯器構造的優秀實踐項目。