The Community for Technology Leaders
2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT) (2012)
Minneapolis, MN, USA
Sept. 19, 2012 to Sept. 23, 2012
ISBN: 978-1-5090-6609-4
pp: 433-434
Zhijia Zhao , Computer Science Department, College of William and Mary, VA, USA
Bo Wu , Computer Science Department, College of William and Mary, VA, USA
Xipeng Shen , Computer Science Department, College of William and Mary, VA, USA
ABSTRACT
Software speculative parallelization has shown effectiveness in parallelizing certain applications. Prior techniques have mainly relied on simple exploitation of heuristics for speculation. In this work, we introduce probabilistic analysis into the design of speculation schemes. In particular, by tackling applications that are based on Finite State Machine (FSM) which have the most prevalent dependences among all programs, we show that the obstacles for effective speculation can be much better handled with rigor. We develop a probabilistic model to formulate the relations between speculative executions and the properties of the target computation and inputs. Based on the formulation, we propose two model-based speculation schemes that automatically customize themselves with the best configurations for a given FSM and its inputs. The new technique produces substantial speedup over the state of the art.
INDEX TERMS
Probabilistic logic, Computational modeling, Context, Automata, Software, Browsers, Pattern matching
CITATION
Zhijia Zhao, Bo Wu, Xipeng Shen, "Speculative parallelization needs rigor", 2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT), vol. 00, no. , pp. 433-434, 2012, doi:
93 ms
(Ver 3.3 (11022016))