The Community for Technology Leaders
Green Image
Issue No. 01 - Jan. (2013 vol. 24)
ISSN: 1045-9219
pp: 92-103
Gabe Knezek , Texas A&M University, College Station
Shi Pu , Texas A&M University, College Station
Hao Wang , Texas A&M University, College Station
Jyh-Charn Liu , Texas A&M University, College Station
ABSTRACT
We propose an NFA-based algorithm called MIN-MAX to support matching of regular expressions (regexp) composed of Character Classes with Constraint Repetitions (CCR). MIN-MAX is well suited for massive parallel processing architectures, such as FPGAs, yet it is effective on any other computing platform. In MIN-MAX, each active CCR engine (to implement one CCR term) evaluates input characters, updates (MIN, MAX) counters, and asserts control signals, and all the CCR engines implemented in the FPGA run simultaneously. Unlike traditional designs, (MIN, MAX) counters contain dynamically updated lower and upper bounds of possible matching counts, instead of actual matching counts, so that feasible matching lengths are compactly enclosed in the counter value. The counter-based design can support constraint repetitions of n using O({\rm log} n) memory bits rather than that of O(n) in existing solutions. MIN-MAX can resolve character class ambiguity between adjacent CCR terms and support overlapped matching when matching collisions are absent. We developed a set of heuristic rules to assess the absence of collision for CCR-based regexps, and tested them on Snort and SpamAssassin rule sets. The results show that the vast majority of rules are immune from collisions, so that MIN-MAX can cost effectively support overlapped matching. As a bonus, the new architecture also supports fast reconfiguration via ordinary memory writes rather than resynthesis of the entire design, which is critical for time-sensitive regexp deployment scenarios.
INDEX TERMS
Radiation detectors, Engines, Doped fiber amplifiers, Field programmable gate arrays, Computer architecture, Registers, Algorithm design and analysis, reconfigurable hardware, Nondeterministic Finite Automata, algorithm design and analysis
CITATION
Gabe Knezek, Shi Pu, Hao Wang, Jyh-Charn Liu, "MIN-MAX: A Counter-Based Algorithm for Regular Expression Matching", IEEE Transactions on Parallel & Distributed Systems, vol. 24, no. , pp. 92-103, Jan. 2013, doi:10.1109/TPDS.2012.116
175 ms
(Ver )