發表文章

目前顯示的是 12月, 2011的文章

Lua for UEFI

圖片
利用點空閒時間將 Lua 移植到 UEFI ,作成一支Shell Application,直接執行不帶參數的話可以直接在銀幕上輸入Script,二次Enter後直接執行,執行結果立即顯示在畫面上。 按照慣例,當然要弄個Game來玩玩,所以再把Good裡的 打磚塊 範例拿來稍微改一下。 這下子,在UEFI下也能打磚塊了!

以yardparser實作算式計算機

圖片
這篇文章是算式計算機系列的完結篇。 (E)BNF表示式 手工打造算式計算機 以lex/yacc實作算式計算機 以Boost.Spirit實作算式計算機 ; ( 下載範例 ) yardparser 在使用上雖然沒辨法像Boost Spirit 一樣那麼直覺便利,可以將EBNF 語法規則直接定義在程式裡建立解析器,但使用類似的手法一樣可以將EBNF語法規則轉換為程式定義,建立一個語法解析器。yardparser也沒辨法像Boos Spirit那樣,可以在執行時期(run-time)動態的改變或產生新的解析器。除了上述的不同處之外,最大的差異是 yardparser 的編譯時間非常短及以 yardparser建立的parser執行速度非常快,同時產生的目的碼大小(code size)也相對小很多。 Boost Spirit 因為大量使用了 C++ Template Meta-programming 的相關技術,很完美的將EBNF語法規則語句嵌入到C++程式碼內和我們所寫的程式碼結合在一起,相當直覺也相當神奇。只不過如果從得到的編譯時間和執行效率來看,只能說 Boost Spirit 為我們提供了相當出色的語法糖(syntactic sugar),對於大型複雜的語法來說反而較難以適用。而 yardparser 雖然在使用上不如Boost Spirit那樣直覺便利,但至少在編譯時間和執行效率是大大滿足我們日常工作的需求。 底下同樣以簡單範例開始,介紹yardparser的基本使用。 A B 上面是原EBNF表示式的寫法,用來表示一個序列,在 A之後會有個B。而使用yardparser 則寫成如下的形式。 struct AB : CharSeq<'A', 'B'> { }; CharSeq 是 yardparser裡面事先定義好的 一個struct,作用是對輸入來源串流讀入字元來進行匹配動作。 (AB)* 以上定義了零個以上個AB序列的EBNF表示式的寫法,底下一樣轉換成yardparser的寫法。 struct StarAB : Star<AB> { }; AB是上一個例子裡定義,用來匹配 AB序列的規則。而Star是yardparser事先定義的一個struct,把A