並列化と実行時コード生成を用いた正規表現マッチングの提案

抄録

正規表現によるパターンマッチングは広く用いられており，これまで様々なマッチング手法が研究されてきた．正規表現をDFAに変換してマッチングを行う手法もその1つである．本論文では2つの高速化手法を提案する．1つ目の手法は，マッチングの並列化である．マッチング対象となる文字列を複数に分割してデータ並列にマッチング可能な，同時状態有限オートマトン(Simultaneous Finite Automata, SFA)をオートマトン理論の自然な拡張によって定義した．2つ目は，DFA・SFAから，ネイティブコードを実行時に最適化して生成する手法である．コード生成によって，既存実装に比べてマッチング時のスループットの向上が見込め，また特定の正規表現における最適化も可能となる．最終的に，これらの手法を実装し，マルチコアマシン上での評価を基にその有用性を確認した．