MicroSpec is a set of parallelization techniques that, for the first time, expose fine-grained speculative parallelism to FSM computations.
To compile MicroSpec, just run make in the src directory.
In the test folder, we have provided some simple test cases and the example bash scripts. Just need to run
$ ./test/run_example.sh
The format of DFA table can be checked in the test/Table directory.
This work will keep updating (TODO: a command line tool may be provided later)
Qiu, Junqiao, Zhijia Zhao, and Bin Ren. "Microspec: Speculation-centric fine-grained parallelization for fsm computations." Parallel Architecture and Compilation Techniques (PACT), 2016 International Conference on. IEEE, 2016.