TY - CHAP A1 - Tribastone, Mirco N2 - tem's parameters. Unfortunately, for realistic scenarios, the cost of the optimization is typically high, leading to computational difficulties in the exploration of large parameter spaces. This paper proposes an approach to provably exact parameter-space pruning for a class of models of large-scale software systems analyzed with fluid techniques, efficient and scalable deterministic approximations of massively parallel stochastic models. We present a result of monotonicity of fluid solutions with respect to the model parameters, and employ it in the context of optimization programs with evolutionary algorithms by discarding candidate configurations a priori, i.e., without ever solving them, whenever they are proven to give lower fitness than other configurations. An extensive numerical validation shows that this approach yields an average twofold runtime speed-up compared to a baseline optimization algorithm that does not exploit monotonicity. Furthermore, we find that the optimal configuration is within a few percent from the true one obtained by stochastic simulation, whose solution is however orders of magnitude more expensive. TI - Efficient optimization of software performance models via parameter-space pruning Y1 - 2014/// EP - 73 UR - http://dx.doi.org/10.1145/2568088.2568090 PB - ACM KW - Software performance engineering; capacity planning; fluid approximations; queueing networks; monotone systems SN - 978-1-4503-2733-6 AV - none SP - 63 T2 - Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14 ID - eprints2589 ER -