編譯原理課程研討

1、Tsinghua編譯原理編譯原理課程研討課程研討 （）（）王生原王生原 董淵董淵 張素琴?gòu)埶厍?課程教學(xué)小組成員課程教學(xué)小組成員 承擔(dān)的課程承擔(dān)的課程 （）（）形式語(yǔ)言及其與自動(dòng)機(jī)的關(guān)系形式語(yǔ)言及其與自動(dòng)機(jī)的關(guān)系編譯原理與技術(shù)編譯原理與技術(shù)編譯原理專題實(shí)踐編譯原理專題實(shí)踐軟件工程軟件工程Tsinghua編譯原理編譯原理課程研討題目課程研討題目 （）（）課程定位課程定位 ( (學(xué)生學(xué)生明確明確學(xué)習(xí)目標(biāo)學(xué)習(xí)目標(biāo), ,教師教師明確明確功底要求功底要求) )課程大綱課程大綱編譯原理講稿第一章編譯原理講稿第一章實(shí)驗(yàn)和實(shí)踐實(shí)驗(yàn)和實(shí)踐Tsinghua編譯原理編譯原理課程研討課程研討- 計(jì)算機(jī)專業(yè)主干課計(jì)算機(jī)

2、專業(yè)主干課 編譯程序編譯程序/ /系統(tǒng)是計(jì)算機(jī)系統(tǒng)的核心支撐軟件系統(tǒng)是計(jì)算機(jī)系統(tǒng)的核心支撐軟件 貫穿程序語(yǔ)言、系統(tǒng)環(huán)境（平臺(tái)）、體系結(jié)構(gòu)貫穿程序語(yǔ)言、系統(tǒng)環(huán)境（平臺(tái)）、體系結(jié)構(gòu) 聯(lián)系計(jì)算機(jī)科學(xué)和計(jì)算機(jī)系統(tǒng)的典范聯(lián)系計(jì)算機(jī)科學(xué)和計(jì)算機(jī)系統(tǒng)的典范- 專業(yè)工作者必備的基本技能專業(yè)工作者必備的基本技能 編譯原理的知識(shí)影響到專業(yè)人員的素質(zhì)編譯原理的知識(shí)影響到專業(yè)人員的素質(zhì) 除編譯程序外有大量專業(yè)工作與編譯技術(shù)相關(guān)除編譯程序外有大量專業(yè)工作與編譯技術(shù)相關(guān) 課程性質(zhì)與定位課程性質(zhì)與定位Tsinghua編譯原理編譯原理課程研討課程研討 教學(xué)目的要求教學(xué)目的要求- 深入深入理解理解編譯程序設(shè)計(jì)與實(shí)現(xiàn)的編譯程序設(shè)

3、計(jì)與實(shí)現(xiàn)的基本原理基本原理 - 靈活靈活掌握掌握常用語(yǔ)言機(jī)制的常用語(yǔ)言機(jī)制的實(shí)現(xiàn)技術(shù)實(shí)現(xiàn)技術(shù)- 經(jīng)歷開發(fā)一個(gè)經(jīng)歷開發(fā)一個(gè)小型編譯程序小型編譯程序的主要階段的主要階段- 具有具有使用構(gòu)造工具使用構(gòu)造工具開發(fā)編譯程序的經(jīng)驗(yàn)開發(fā)編譯程序的經(jīng)驗(yàn)- 會(huì)將所學(xué)的會(huì)將所學(xué)的通用方法和技術(shù)應(yīng)用通用方法和技術(shù)應(yīng)用于類似于類似 軟件的設(shè)計(jì)和實(shí)現(xiàn)中軟件的設(shè)計(jì)和實(shí)現(xiàn)中Tsinghua 教學(xué)形式教學(xué)形式- 課內(nèi)學(xué)習(xí)和課外學(xué)習(xí)課內(nèi)學(xué)習(xí)和課外學(xué)習(xí)內(nèi)容互補(bǔ)內(nèi)容互補(bǔ)編譯原理編譯原理課程研討課程研討原理原理 + + 技術(shù)技術(shù) + + 工具工具課內(nèi)課內(nèi)課外課外Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)

4、體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 編譯原理編譯原理課程研討課程研討Tsinghua方案方案1: 1:全面剖析全面剖析PL/0PL/0的結(jié)構(gòu)和實(shí)現(xiàn)的結(jié)構(gòu)和實(shí)現(xiàn), , 系統(tǒng)講解原理和方法系統(tǒng)講解原理和方法方案方案2: 2:按編譯程序結(jié)構(gòu)講解按編譯程序結(jié)構(gòu)講解 PL/0PL/0各部分

5、為實(shí)例各部分為實(shí)例, , 補(bǔ)充其他補(bǔ)充其他重要原理和方法重要原理和方法方案方案3:3:全面剖析全面剖析PL/0PL/0的結(jié)構(gòu)和實(shí)現(xiàn)的結(jié)構(gòu)和實(shí)現(xiàn), , 補(bǔ)充其他重要原理和方法補(bǔ)充其他重要原理和方法編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)

6、存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 基本概念 邏輯結(jié)構(gòu) 組織方式 伙伴程序 生成環(huán)境 發(fā)展綜述 PL/0編譯器 導(dǎo)讀編譯原

7、理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 1以形式語(yǔ)言、文法為基礎(chǔ)的一般性方法與原理 2詞法分析器的構(gòu)造 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)

8、課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 以 LL(1) 分析方法及實(shí)現(xiàn)技術(shù)為主線遞歸下降表驅(qū)動(dòng) 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和

9、語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 以 LR 系列分析方法及實(shí)現(xiàn)技術(shù)為主線移進(jìn)歸約、分析表、 LR(0)、SLR(0)、 LR(1)、LALR(1）、 強(qiáng)制二義性消除 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析

10、基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 基于屬性文法和翻譯模式進(jìn)行語(yǔ)義處理的基本原理及實(shí)現(xiàn)技術(shù) 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)

11、法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 強(qiáng)調(diào)作用域及其組織方式 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中

12、間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 以靜態(tài)類型檢查程序?yàn)橹攸c(diǎn) 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 以常用語(yǔ)言機(jī)制的實(shí)現(xiàn)技術(shù)為主

13、線 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 存儲(chǔ)布局,存儲(chǔ)分配策略,活動(dòng)記錄,過(guò)程實(shí)現(xiàn),面向?qū)ο蟪绦?存儲(chǔ)組織, 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容

14、- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述 詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 以簡(jiǎn)單但完整的指令選擇、寄存器分配過(guò)程為主線 編譯原理編譯原理課程研討課程研討Tsinghua 教學(xué)內(nèi)容教學(xué)內(nèi)容- 課堂教學(xué)體現(xiàn)課程的知識(shí)體系課堂教學(xué)體現(xiàn)課程的知識(shí)體系 編譯程序編譯程序/系統(tǒng)概述系統(tǒng)概述

15、詞法和語(yǔ)法分析基礎(chǔ)詞法和語(yǔ)法分析基礎(chǔ) 自頂向下語(yǔ)法分析自頂向下語(yǔ)法分析 自底向上語(yǔ)法分析自底向上語(yǔ)法分析 語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ)語(yǔ)法制導(dǎo)的語(yǔ)義處理基礎(chǔ) 符號(hào)表組織符號(hào)表組織 靜態(tài)語(yǔ)義分析靜態(tài)語(yǔ)義分析 中間代碼生成中間代碼生成 運(yùn)行時(shí)存儲(chǔ)組織運(yùn)行時(shí)存儲(chǔ)組織 目標(biāo)代碼生成目標(biāo)代碼生成 代碼優(yōu)化代碼優(yōu)化 以基本塊內(nèi)的簡(jiǎn)單優(yōu)化方法、控制流數(shù)據(jù)流分析基礎(chǔ)等代碼生成和優(yōu)化相關(guān)的基本知識(shí)為主線，輔以優(yōu)化技術(shù)的綜述 】 編譯原理編譯原理課程研討課程研討Tsinghua 實(shí)驗(yàn)和實(shí)踐實(shí)驗(yàn)和實(shí)踐- 實(shí)驗(yàn)教學(xué)實(shí)驗(yàn)教學(xué) 實(shí)現(xiàn)一個(gè)簡(jiǎn)單的面向?qū)ο笳Z(yǔ)言實(shí)現(xiàn)一個(gè)簡(jiǎn)單的面向?qū)ο笳Z(yǔ)言 一個(gè)強(qiáng)類型單繼承面向?qū)ο笳Z(yǔ)言一個(gè)強(qiáng)類型單繼承面

16、向?qū)ο笳Z(yǔ)言 Decaf / MindDecaf / Mind 讀懂并改寫一個(gè)小型編譯程序讀懂并改寫一個(gè)小型編譯程序 一個(gè)單遍的一個(gè)單遍的 PL/0 語(yǔ)言編譯程序語(yǔ)言編譯程序編譯原理編譯原理課程研討課程研討Tsinghua- 實(shí)驗(yàn)教學(xué)實(shí)驗(yàn)教學(xué)手工編寫或使用工具實(shí)現(xiàn)手工編寫或使用工具實(shí)現(xiàn)PL/0PL/0擴(kuò)充編譯器擴(kuò)充編譯器( (見見WORDWORD文檔文檔- -三種安排三種安排:MAO,GONG:MAO,GONG和和YANG)YANG)編譯原理編譯原理課程研討課程研討Tsinghua- 實(shí)驗(yàn)教學(xué)實(shí)驗(yàn)教學(xué)Phase 1 Phase 1 借助借助 LexLex 和和 YaccYacc 實(shí)現(xiàn)詞法和語(yǔ)法分

17、析實(shí)現(xiàn)詞法和語(yǔ)法分析 一遍掃描后產(chǎn)生一種高級(jí)中間表示一遍掃描后產(chǎn)生一種高級(jí)中間表示 （實(shí)驗(yàn)指定的抽象語(yǔ)法樹）（實(shí)驗(yàn)指定的抽象語(yǔ)法樹）Phase 2Phase 2 遍歷抽象語(yǔ)法樹構(gòu)造符號(hào)表、實(shí)現(xiàn)靜態(tài)語(yǔ)遍歷抽象語(yǔ)法樹構(gòu)造符號(hào)表、實(shí)現(xiàn)靜態(tài)語(yǔ) 義分析，產(chǎn)生帶標(biāo)注的抽象語(yǔ)法樹義分析，產(chǎn)生帶標(biāo)注的抽象語(yǔ)法樹Phase 3Phase 3 從帶標(biāo)注的抽象語(yǔ)法樹生成從帶標(biāo)注的抽象語(yǔ)法樹生成 TAC TAC 中間表示中間表示 （可轉(zhuǎn)成（可轉(zhuǎn)成MIPS MIPS 匯編碼在匯編碼在SPIM SPIM 模擬器上運(yùn)行模擬器上運(yùn)行） Phase 4Phase 4 基于基于 TAC TAC 實(shí)現(xiàn)一些簡(jiǎn)單的數(shù)據(jù)流實(shí)現(xiàn)一些簡(jiǎn)單的

18、數(shù)據(jù)流 分析分析 Decaf / MindDecaf / Mind ProjectProject編譯原理編譯原理課程研討課程研討Tsinghua編譯原理專題實(shí)踐編譯原理專題實(shí)踐- 面向業(yè)界的實(shí)用技術(shù)面向業(yè)界的實(shí)用技術(shù)- 選做實(shí)際項(xiàng)目選做實(shí)際項(xiàng)目編譯原理編譯原理課程研討課程研討 GCC 分析分析 GNU 工具鏈工具鏈 （分析與使用）（分析與使用） Open64 分析分析- 其他專題其他專題Tsinghua編譯原理編譯原理課程研討課程研討 課程的主要目的：課程的主要目的：進(jìn)一步掌握編譯系統(tǒng)的基本原理進(jìn)一步掌握編譯系統(tǒng)的基本原理；介紹軟件從高級(jí)語(yǔ)言源代碼到可執(zhí)行代碼的整個(gè)翻譯介紹軟件從高級(jí)語(yǔ)言源代碼

19、到可執(zhí)行代碼的整個(gè)翻譯過(guò)程和相關(guān)的開源工具使用，掌握基本工具；過(guò)程和相關(guān)的開源工具使用，掌握基本工具；以以GCC為例，剖析編譯器整體框架和編譯的一般流程為例，剖析編譯器整體框架和編譯的一般流程和主要活動(dòng)；通過(guò)對(duì)編譯優(yōu)化方法原理和實(shí)現(xiàn)技術(shù)的和主要活動(dòng)；通過(guò)對(duì)編譯優(yōu)化方法原理和實(shí)現(xiàn)技術(shù)的介紹，使學(xué)生可以有針對(duì)性地改善代碼風(fēng)格；介紹，使學(xué)生可以有針對(duì)性地改善代碼風(fēng)格；通過(guò)對(duì)國(guó)際上流行的開源編譯系統(tǒng)通過(guò)對(duì)國(guó)際上流行的開源編譯系統(tǒng)GCC的分析和實(shí)驗(yàn)的分析和實(shí)驗(yàn)，達(dá)到達(dá)到能夠獨(dú)立分析和改進(jìn)編譯系統(tǒng)軟件的水平，具有能夠獨(dú)立分析和改進(jìn)編譯系統(tǒng)軟件的水平，具有獨(dú)立承擔(dān)科研任務(wù)的能力。獨(dú)立承擔(dān)科研任務(wù)的能力。建立

20、計(jì)算機(jī)系統(tǒng)的概念，覆蓋多門課程交界的地方建立計(jì)算機(jī)系統(tǒng)的概念，覆蓋多門課程交界的地方以以GCC項(xiàng)目為例，熟悉自由軟件開發(fā)方法和項(xiàng)目實(shí)例項(xiàng)目為例，熟悉自由軟件開發(fā)方法和項(xiàng)目實(shí)例Tsinghua編譯原理編譯原理課程研討課程研討內(nèi)容安排：遵循科研工作的一般活動(dòng)規(guī)律內(nèi)容安排：遵循科研工作的一般活動(dòng)規(guī)律1 1）收集、查閱相關(guān)文獻(xiàn)資料）收集、查閱相關(guān)文獻(xiàn)資料2 2）熟悉工具和工作對(duì)象）熟悉工具和工作對(duì)象3 3）提出問(wèn)題、初步方案并進(jìn)行可行性評(píng)估）提出問(wèn)題、初步方案并進(jìn)行可行性評(píng)估4 4）實(shí)際研究、開發(fā)，根據(jù)實(shí)際情況修改方）實(shí)際研究、開發(fā)，根據(jù)實(shí)際情況修改方案，不斷推進(jìn)案，不斷推進(jìn)5 5）測(cè)試和評(píng)估）測(cè)試和

21、評(píng)估6 6）總結(jié)報(bào)告）總結(jié)報(bào)告Tsinghua編譯原理專題實(shí)踐編譯原理專題實(shí)踐特點(diǎn)特點(diǎn)- 將程序語(yǔ)言編譯原理和技術(shù)應(yīng)用于實(shí)踐，將程序語(yǔ)言編譯原理和技術(shù)應(yīng)用于實(shí)踐，注重動(dòng)手能力的培養(yǎng)注重動(dòng)手能力的培養(yǎng)-同學(xué)同學(xué)根據(jù)興趣和精力根據(jù)興趣和精力提出自選實(shí)驗(yàn)題目來(lái)培提出自選實(shí)驗(yàn)題目來(lái)培養(yǎng)創(chuàng)新精神養(yǎng)創(chuàng)新精神編譯原理編譯原理課程研討課程研討 操作系統(tǒng)操作系統(tǒng) 體系結(jié)構(gòu)體系結(jié)構(gòu) 程序設(shè)計(jì)語(yǔ)言程序設(shè)計(jì)語(yǔ)言 軟件工程軟件工程- 注重多學(xué)科多課程內(nèi)容交叉注重多學(xué)科多課程內(nèi)容交叉Tsinghua 課程體系需要不斷更新與完善課程體系需要不斷更新與完善- 內(nèi)容取材非常廣泛內(nèi)容取材非常廣泛 原理與方法原理與方法 語(yǔ)言特征語(yǔ)

22、言特征 高級(jí)話題高級(jí)話題詞法分析語(yǔ)法分析語(yǔ)義分析符號(hào)表中間表示運(yùn)行時(shí)組織代碼優(yōu)化目標(biāo)代碼生成面臨挑戰(zhàn)面臨挑戰(zhàn)Tsinghua- 內(nèi)容取材非常廣泛內(nèi)容取材非常廣泛 原理與方法原理與方法 語(yǔ)言特征語(yǔ)言特征 高級(jí)話題高級(jí)話題a. 傳統(tǒng)的語(yǔ)言特征 b. 特殊的語(yǔ)言特征 c. 不同的語(yǔ)言范型: 面向過(guò)程語(yǔ)言 面向?qū)ο笳Z(yǔ)言 函數(shù)式語(yǔ)言 邏輯式語(yǔ)言 并發(fā)語(yǔ)言 面向側(cè)面語(yǔ)言 課程體系需要不斷更新與完善課程體系需要不斷更新與完善面臨挑戰(zhàn)面臨挑戰(zhàn)Tsinghua- 內(nèi)容取材非常廣泛內(nèi)容取材非常廣泛 原理與方法原理與方法 語(yǔ)言特征語(yǔ)言特征 高級(jí)話題高級(jí)話題優(yōu)化方法專題優(yōu)化方法專題高性能專題重定向?qū)ｎ}陳述式語(yǔ)言專題陳

23、述式語(yǔ)言專題面向?qū)ο笳Z(yǔ)言專題面向?qū)ο笳Z(yǔ)言專題編譯基礎(chǔ)設(shè)施專題基于語(yǔ)言的應(yīng)用專題 課程體系需要不斷更新與完善課程體系需要不斷更新與完善面臨挑戰(zhàn)面臨挑戰(zhàn)Tsinghua追求目標(biāo) 編譯原理是計(jì)算機(jī)系本科生的專業(yè)基礎(chǔ)課程（必修），堅(jiān)持不懈的建設(shè)(主講教師和助教團(tuán)隊(duì)團(tuán)結(jié)協(xié)作、認(rèn)真負(fù)責(zé))。 課程建設(shè)的指導(dǎo)思想：（1）堅(jiān)持知識(shí)體系的基礎(chǔ)性，強(qiáng)調(diào)基本理論的深入理解和基本技能的優(yōu)化培養(yǎng) ；（2）其次是堅(jiān)持知識(shí)體系的系統(tǒng)性，強(qiáng)調(diào)知識(shí)點(diǎn)的連貫性和完備性；（3）堅(jiān)持知識(shí)體系的先進(jìn)性，跟蹤著名大學(xué)同類課程的發(fā)展變化，同時(shí)注重自主創(chuàng)新，開創(chuàng)教學(xué)與科研結(jié)合的新途徑 ；（4）堅(jiān)持知識(shí)體系的簡(jiǎn)明性，強(qiáng)調(diào)知識(shí)體系層次化、立體化，做到較高程度的可擴(kuò)充性；（5）堅(jiān)持精講多練的原則，精化課堂教學(xué)，提高實(shí)驗(yàn)質(zhì)量。 一直將基礎(chǔ)部分作為重點(diǎn)教學(xué)內(nèi)容。在重視基礎(chǔ)知識(shí)和技能的同時(shí)，本課程也在不斷地更新教學(xué)內(nèi)容，以保持其前沿性和時(shí)代性。近幾年的工作體現(xiàn)在：實(shí)驗(yàn)內(nèi)容的主體從過(guò)程式源語(yǔ)言的實(shí)現(xiàn)過(guò)渡到了面向?qū)ο笤凑Z(yǔ)言的實(shí)現(xiàn)；加強(qiáng)了語(yǔ)義處理基礎(chǔ)的講解，增強(qiáng)了前后端知識(shí)的連貫性，并逐步增加后端構(gòu)造技術(shù)所占的比例。Tsinghua爭(zhēng)取教學(xué)的特色爭(zhēng)取教學(xué)的特色 基礎(chǔ)理論有系統(tǒng)性 與形式語(yǔ)言與自動(dòng)機(jī)課程密切聯(lián)系；語(yǔ)法制導(dǎo)的