基于龍芯2F平臺的函數(shù)式語言編譯系統(tǒng).pdf

1、通用處理器是關系到國家命運的戰(zhàn)略產(chǎn)業(yè)，其發(fā)展直接關系到國家的安全和技術創(chuàng)新能力，是國家的核心利益所在。中科院計算所從2001年開始研制龍芯系列處理器，經(jīng)過十多年的積累和發(fā)展，目前產(chǎn)品線已經(jīng)包括龍芯1號、龍芯2號、龍芯3號三大系列，涵蓋小、中、大三類處理器和IP核。江蘇中科夢蘭電子科技有限公司作為龍芯的產(chǎn)業(yè)基地和龍頭企業(yè)，一直致力于國產(chǎn)龍芯處理器相關產(chǎn)品的研發(fā)和市場化推廣，目前已經(jīng)自主研發(fā)了基于龍芯CPU的桌面計算機（福瓏、靈瓏、逸瓏系列

2、）、集群計算機（中科大KD-90系列）、觸控終端查詢機、移動平板計算機、教育云計算平臺等多個系列的產(chǎn)品。U-Boot是一款由德國DENX小組開發(fā)的適用于多種嵌入式CPU的開源固件，支持MIPS、x86、ARM、XScale、PowerPC等多種處理器架構。U-Boot固件兼具BIOS和bootloader的雙重功能，除了支持嵌入式Linux系統(tǒng)的引導，還支持引導NetBSD、VxWorks、QNX、RTEMS、ARTOS、LynxOS等

3、多種嵌入式操作系統(tǒng)，因此在嵌入式開發(fā)領域有著非常廣泛的應用。
　　本文根據(jù)龍芯2F處理器和Lemote8089D硬件平臺的特點，通過對U-Boot固件和PMON2000固件的對比分析，提出將U-Boot固件移植到該平臺的方案。在分析了U-Boot固件的代碼結構和啟動流程之后，給出了移植的具體實施過程。針對該平臺的特點，通過在U-Boot中整合VGA BIOS模擬器的方法，解決了在非x86體系結構的平臺上使用通用顯卡的問題。不同于常

4、見的基于“圖靈機”理論模型的命令式編程語言，函數(shù)式編程語言是基于“l(fā)ambda算子”和“遞歸函數(shù)”理論模型的。雖然兩者解決問題的能力在理論上是等價的，但是由于函數(shù)式語言“無副作用”這一特點，導致了其在單元測試、代碼調(diào)試、程序并行以及程序熱部署等方面都遠遠優(yōu)于常見的命令式編程語言。介紹作為函數(shù)式語言基礎的lambda算子的起源、功能和特點之后，在此基礎上提出了一種ZL函數(shù)式編程語言。通過示例程序說明了ZL語言的語法特點，并自上而下地設計和