Parametric Performance Contracts for Software Components with Concurrent Behaviour

  • Authors:

  • Jens Happe;Heiko Koziolek;Ralf Reussner

  • Affiliations:

  • School Trustsoft, University of Oldenburg, 26121 Oldenburg, Germany44This work is supported by the German Research Foundation (DFG), grant GRK 1076/1;School Trustsoft, University of Oldenburg, 26121 Oldenburg, Germany44This work is supported by the German Research Foundation (DFG), grant GRK 1076/1;Software Design and Quality, University of Karlsruhe, 76131 Karlsruhe, Germany

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased availability of multicore processors, possible performance gains by distributing threads and processes across multiple cores should be predictable by these methods. Many existing prediction approaches model concurrent behaviour insufficiently and yield inaccurate results due to hard underlying assumptions. In this paper, we present a formal performance prediction approach for component-based systems, which is parameterisable for the number of CPUs or CPU cores. It is able to predict the response time of component services for generally distributed execution times. An initial, simple case study shows that this approach can accurately predict response times of multithreaded software components in specific cases. However, it is limited if threads change the CPU during their execution, if the effect of processor cache thrashing is present, and if the memory bus is heavily used.