Performance Analysis of Software Architectures. UNIVERSITÀ DEGLI STUDI DELL’AQUILA Area Informatica, Facoltà di SS.MM.NN. Paola Inverardi. http://saladin.dm.univaq.it. Joint work with:. Simonetta Balsamo, Universita’ di Venezia
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
UNIVERSITÀ DEGLI STUDI DELL’AQUILA
Area Informatica, Facoltà di SS.MM.NN.
quantitative analysis of SA descriptions.
Introduce the ability to measure architectural choices.
To validate SA design choices with respect to performance indices
To compare alternative SA designs .
Produce feedback at the design level
Finite State Automata
(a) FSA, (b) Topology, (c) MSC
SA behavior (performance, availability, …)
Quoting from WOSP 2000 panel introduction on Performance of SA:
“the quantitative analysis of a SA allows for the early detection of potential performance problems … Early detection of potential performance problems allows alternative software designs and …
… meaning designing a software system and analyzing its performance before the system is implemented …”
Level of abstraction
Lack of information
How do we
How do we interpret
Quantitative analysis of systems; based on models and methods both deterministic and stochastic
Evaluate the performance of a system means make a quantitative analysis to derive a set of (performance) indices either obtained as mean or probabilistic figures
Probabilistic distribution/mean of response times, of waiting times,queus length, delay, resource utilization, throughput, …
Solution Methods : exact vs approximate simulation
“QNModelling is a top-down process. The underlying philosophy is to begin by identifying the principal components of the system and the ways they interact, then supply any details that prove to be necessary “
(ref. Lazowska et al. Quantitative System Performance, Prentice Hall,
References under SP, a (UML-based) survey in BS01
References under SS
- S. Balsamo, P. Inverardi, C. Mangano "An Approach to Performance Evaluation of Software Architectures" in IEEE Proc. WOSP'98.
- S. Balsamo, P. Inverardi, C. Mangano, L.Russo "Performance Evaluation of Software Architectures" in IEEE Proc. IWSSD-98.
- F. Andolfi, F. Aquilani, S. Balsamo, P. Inverardi "Deriving Performance Models of Software Architectures from Message Sequence Charts" in Proc. IEEE WOSP 2000.
- F. Andolfi, F. Aquilani, S. Balsamo, P. Inverardi " On using Queueing Network Models with finite capacity queues for Software Architectures performance prediction” in Proc. QNET’2000.
F. Aquilani, S. Balsamo, P. Inverardi "Performance Analysis at the software architecture design level" TR-SAL-32, Technical Report Saladin Project, 2000, to appear on Performance Evaluation.
odeUsual Example: The Multiphase Compiler
Multiphase compiler concurrent architecture
Queueing Network Model with BAS blocking
Solution: approximate analysis
Same number of components
strongly sequentialized. No concurrency
1 single service center
throughput of the 2 compiler SA:
the concurrent SA performs 5 times better than the sequential SA
Scenario in which the mean service times of the nodes have the same degree of magnitude.
Labeled Transition System
Message Sequence Charts
Performance Model- QNM
Choice of SA + new requirements on components, connectors
SA specification: Labeled Transition System
S set of states, L set of labels (communication types)
s initial state, P set of state labels
transition relation in (P x L x P)
SA components: communicating concurrent subsystems
SA level: consider interaction activities among components
Parallel composition of communicating components
P set of SA components and connectors states described by the LTS
First model the maximum level of concurrency (each component as an autonomous server)
derive a simple structure of the QNM by analyzing the true level of concurrency and the communication type
Synchronous communication Queueing Network Model with BAS blocking
exact analysis of the underlying Markov chain
ROME 22-26 JULY 2002
ISSTA and WOSP Together!