Design and implementation of an automatic parallelization of state space generation

Author

Zheng, Xiao ; Li, Hongliang ; Chen, Zuoning ; Wu, Dong

Author_Institution

Dept. Comput. Sci., PLA Inf. & Eng. Univ., Zhengzhou, China

fYear

2009

fDate

20-24 July 2009

Firstpage

104

Lastpage

107

Abstract

It´s hard for a user ignorant of parallel programming to resolve models by numerical analysis method in distributed environments, which normally involves state space generation (SSG) in parallel. To lower this threshold, an automatic parallelization approach based on MapReduce framework is presented in this paper. It has been implemented in a small-scale distributed environment, and its correctness and feasibility has been verified by the results of experiments carried on a series of models varying in scale.

Keywords

numerical analysis; parallel programming; MapReduce framework; automatic parallelization; distributed environments; numerical analysis; parallel programming; small-scale distributed environment; state space generation; Algorithm design and analysis; Computer science; Numerical analysis; Numerical models; Parallel processing; Parallel programming; Programmable logic arrays; Research and development; Scheduling; State-space methods; MapReduce; automatic parallelism; state space generation;

fLanguage

English

Publisher

ieee

Conference_Titel

Reliability, Maintainability and Safety, 2009. ICRMS 2009. 8th International Conference on

Conference_Location

Chengdu

Print_ISBN

978-1-4244-4903-3

Electronic_ISBN

978-1-4244-4905-7

Type

conf

DOI

10.1109/ICRMS.2009.5270228

Filename

5270228