TY - GEN
T1 - Performance evaluation of process partitioning using probabilistic model checking
AU - Bensalem, Saddek
AU - Bonakdarpour, Borzoo
AU - Bozga, Marius
AU - Peled, Doron
AU - Quilbeuf, Jean
N1 - Place of conference:Valeria Bertacco, Axel Legay
PY - 2013
Y1 - 2013
N2 - Consider the problem of partitioning a number of concurrent interacting processes into a smaller number of physical processors. The performance and efficiency of such a system critically depends on the tasks that the processes perform and the partitioning scheme. Although empirical measurements have been extensively used a posteriori to assess the success of partitioning, the results only focus on a subset of possible executions and cannot be generalized. In this paper, we propose a probabilistic state exploration method to evaluate a priori the efficiency of a set of partitions in terms of the speedup they achieve for a given model. Our experiments show that our method is quite effective in identifying partitions that result in better levels of parallelism.
AB - Consider the problem of partitioning a number of concurrent interacting processes into a smaller number of physical processors. The performance and efficiency of such a system critically depends on the tasks that the processes perform and the partitioning scheme. Although empirical measurements have been extensively used a posteriori to assess the success of partitioning, the results only focus on a subset of possible executions and cannot be generalized. In this paper, we propose a probabilistic state exploration method to evaluate a priori the efficiency of a set of partitions in terms of the speedup they achieve for a given model. Our experiments show that our method is quite effective in identifying partitions that result in better levels of parallelism.
KW - Concurrent programming
KW - Efficiency
KW - Formal methods
KW - Parallel programming
KW - Scheduling
KW - Speedup
UR - http://www.scopus.com/inward/record.url?scp=84891849850&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-03077-7_23
DO - 10.1007/978-3-319-03077-7_23
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84891849850
SN - 9783319030760
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 344
EP - 358
BT - Hardware and Software
PB - Springer Verlag
T2 - 9th Haifa Verification Conference, HVC 2013
Y2 - 5 November 2013 through 7 November 2013
ER -