کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422254 685055 2008 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Measuring and Evaluating Parallel State-Space Exploration Algorithms 1
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Measuring and Evaluating Parallel State-Space Exploration Algorithms 1
چکیده انگلیسی

We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. This poses several challenges that so far have not been addressed in the literature: what exactly are those overheads, how can and cannot they be measured, and how should system models be selected in order to expose the causes of parallelisation (in)efficiencies? We discuss and answer these questions based on our experience with parallelising Saturation – a symbolic algorithm for generating state-spaces of asynchronous system models – on a shared-memory architecture. Doing so will hopefully spare newcomers to the growing PDMC community from having to learn these lessons the hard way, as we did over a painful period of almost three years.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 198, Issue 1, 23 February 2008, Pages 47-61