Skip to Main content Skip to Navigation
Conference papers

BenchKit, a Tool for Massive Concurrent Benchmarking

Fabrice Kordon 1 Francis Hulin-Hubard 2, 3
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : Benchmarking numerous programs in a reasonable time requires the use of several (potentially multicore) computers. We experimented such a situation in the context of the MCC (Model Checking Contest @ Petri net) where we had to operate more than 52000 runs for the 2013 edition. This paper presents BenchKit, a tool to operate programs on sets of potentially parallel machines and to gather monitoring information like CPU or memory usage. It also samples such data over the execution time. BenchKit has been elaborated in the context of the MCC and will be used for the 2014 edition.
Document type :
Conference papers
Complete list of metadatas
Contributor : Benedikt Bollig <>
Submitted on : Thursday, December 4, 2014 - 5:16:18 PM
Last modification on : Tuesday, July 7, 2020 - 11:50:23 AM



Fabrice Kordon, Francis Hulin-Hubard. BenchKit, a Tool for Massive Concurrent Benchmarking. 14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. pp.159-165, ⟨10.1109/ACSD.2014.12⟩. ⟨hal-01091157⟩



Record views