嵌入式OSEK配置器的設計與實現
3.4.1 利用ALEX和AYAGO構造解析器
Parser Generator是Windows環境下使用LEX和YACC語言開發編譯器的集成開發工具,包含了編譯程序構造工具ALEX和AYACC。ALEX和AYACC不僅可將LEX和YACC源程序轉換成C語言詞法和語法分析程序,還可以根據用戶需要產生C++和Java代碼的詞法和語法分析程序。
OIL語言解析器的解析過程包括詞法分析、語法分析、錯誤處理和目標代碼的生成。首先根據OIL文件規范中的對象和屬性值、語法規則編寫LEX和YACC源文件,通過ALEX和AYACC自動生成以C++語言為代碼的詞法分析類OilLexer和語法分析類OilParser,并且重載和添加一砦類成員函數;然后將這兩個類加入到VC工程中,實現程序的錯誤處理和自動代碼生成部分,從而開發出OIL語言解析器。整個解析器設計原理如圖5所示。

3.4.2 詞法分析類和語法分析類的設計
在詞法分析階段,掃描程序將OIL文件中的字符序列分解,去掉空格、換行等自字符,并把識別出來的各個單詞符號收集到記號(token)單元中。若在分析過程中發現詞法錯誤,則轉入錯誤處理程序。ALEX的輸入規則文檔Lexer.l包括以下3部分:
聲明部分。包含所需的頭文件及詞法分析類的定義。
◆規則部分。定義正則表達式和OIL對象的關鍵字,然后添加對相應模式處理的C++語言源代碼,最后將token送給語法分析類OiiParser。例如:

◆程序部分。設計OIL掃描器時無需其他額外功能,因此為空。
在語法分析階段,語法分析程序從詞法分析類中獲取記號形式的源代碼,并完成定義OIL語言結構的語法分析。AYACC輸入規格文檔Parser.y也包括3部分:聲明部分、規則部分和程序部分。在聲明部分,包含OilParser類所需的頭文件以及聲明從詞法分析器返回的token記號。規則部分分析OIL文件的語法規則。OIL文件的語法遵循Backus-Naur范式(BNF),對于每個OIL對象屬性的定義,其OIL實現類似于一個C結構定義。一個OIL文件由3個模塊組成:版本、執行定義和應用程序定義。用BNF范式可表示為:

執行定義包含了一個OSEK實現的所有屬性,這些屬性的數據類型和取值范圍可能是受限制的。因此在語義規則部分設置錯誤處理語句,對OIL對象屬性的數據類型和取值范圍進行檢查。ALEX和AYACC的特性,可使錯誤檢測簡單、直觀地實現,并且很容易和錯誤處理類集成,這對于從外部讀取OIL文件時進行語義判斷,保證OSEK配置器的兼容性有著重要的意義。
應用程序定義包含了一系列對象以及這些對象屬性的賦值,除了OS、COM和NM對象外,應用程序可以定義多個同一類型的對象。根據應用程序定義規則,完成形式文法規則以及對每條規則進行語義處理的C++語句。在處理語句中,根據GUI部分定義的XMI.模板格式(如圖4中的MPC.xml),將得到的對象及其屬性值一一對應到XML的樹型結構中,從而完成OIL文件轉換為XML文件的過程。同樣,在處理語句中,根據操作系統中定義的接口將OIL對象及其屬性值提取出來,生成符合OSEK實時操作系統的API函數和數據結構,放在C代碼和頭文件中,從而完成整個代碼生成的過程。本文引用地址:http://www.104case.com/article/148246.htm
4 結論
OSEK配置器的開發是OSEK實時操作系統中的重要組成部分。在開發過程中,利用XML技術方便管理和存儲數據的功能,實現了從可視化的GUI生成OIL文件的過程;利用OIL語言解析器的高教性和強大的出錯處理功能,實現了GUI從外部讀取OIL文件及代碼生成的過程,從而保證了OIL文件的可移植性、可擴展性和可重用性。此組件在集成開發環境中運行穩定,這在開發具有自主知識產權的OSEK實時操作系統中具有重要的意義。
評論