DocumentCode
233618
Title
BenchKit, a Tool for Massive Concurrent Benchmarking
Author
Kordon, Fabrice ; Hulin-Hubard, Francis
Author_Institution
LIP6, UPMC Univ. Paris 06, Paris, France
fYear
2014
fDate
23-27 June 2014
Firstpage
159
Lastpage
165
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.
Keywords
Petri nets; benchmark testing; concurrency (computers); formal verification; multiprocessing programs; BenchKit; MCC; Petri net; massive concurrent benchmarking; model checking contest; multicore computers; Benchmark testing; Computers; Context; Kernel; Magnetic heads; Monitoring; Virtualization; Distributed Computing; Evaluation of programs; Virtual machines;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design (ACSD), 2014 14th International Conference on
Conference_Location
Tunis La Marsa
Type
conf
DOI
10.1109/ACSD.2014.12
Filename
7016339
Link To Document