Compositional Performance Abstractions of Software Connectors · Pipe Filter Pipe Filter Pipe...

CHAIR FOR SOFTWARE DESIGN AND QUALITY (SDQ), KARLSRUHE INSTITUTE OF TECHNOLOGY (KIT)

Compositional PerformanceAbstractions of Software ConnectorsWork in Progress / Vision PaperMisha Strittmatter, Lucia Happe | June 19, 2013

KIT – University of the State of Baden-Wuerttemberg andNational Laboratory of the Helmholtz Association

www.kit.edu

http://www.kit.edu

Motivation

SDQ

(Software)

Correspondence

(Model)

1

42

2

? asdf

13

DB...

Introduction Approach Implementation Evaluation Conclusion Appendix

Misha Strittmatter, Lucia Happe – Connector Performance Abstractions June 19, 2013 1

Motivation

SDQ

Me

asu

rem

en

t

Pre

dic

tio

n

(Software)

Correspondence

(Model)

1

42

2

? asdf

13

DB...



Motivation

SDQ

Me

asu

rem

en

t

Pre

dic

tio

n

(Software)

Correspondence ?

Correspondence

(Model)

1

42

2

? asdf

13

DB...



Motivation

SDQ

Me

asu

rem

en

t

Pre

dic

tio

n

(Software)

Correspondence ?

Correspondence

(Model)

1

42

2

? asdf

13

DB...

One Possible

Cause:

Missing Detail



Refinement Based Approach

SDQ

(Model)

1

42

2

? asdf

13

DB...

Prediction

Refine




SDQ

(Model)

1

42

2

? asdf

13

DB...

Prediction

Refine

0,5

12

IPD

KIT

3




SDQ

(Model)

1

42

2

? asdf

13

DB...

Prediction

Refine

0,5

12

IPD

KIT

3

+

-

12

12

SW

42

SDQ




(Model)

Prediction

RefineDrawback:

Increased Effort,

Model too Complex

SDQ

1

42

2

? asdf

13

DB...

0,5

12

IPD

KIT

3

+

-

12

12

SW

42

SDQ

DB

DB... DB

SDQ

SW

42KIT

4212

12

12

12

1242 2

3 IPD

+

-SW



Idea: Purpose Specific Models

Purpose?

Verification

Performance

Prediction

Reliability

Prediction

Docu-

mentation

Code

Generation

Different

Levels of

Abstraction

Required

SDQ

1

42

2

? asdf

13

DB...

0,5

12

IPD

KIT

3

+

-

12

12

SW

42

SDQ

DB

DB... DB

SDQ

SW

42KIT

4212

12

12

12

1242 2

3 IPD

+

-SW



Idea: Purpose Specific Models

Purpose

Verification

Performance

Prediction

Reliability

Prediction

Docu-

mentation

Code

Generation

Different

Levels of

Abstraction

Required

SDQ

1

42

2

? asdf

13

DB...



Performance Specific Abstraction

3 sec




10 sec




10 sec

Activities of Calls Passing

Through the Connector:

qWaiting

qProcessing




10 sec

Activities of Calls Passing

Through the Connector:

qWaiting

qProcessing

Performance Abstraction:

qPipe

qFilter (active/passive)




Pipe Filter Pipe Filter Pipe Filter

13,42 sec





High Abstraction vs. High Detail

13,42 sec




Co

mp

leti

on

13,42 sec

Black Box



Architecture Excerpt

Client UnitClient Server

1:1 Procedure Call Connector

Server Unit

Resource Container




Client Unit

Pipe

Interceptor

Pipe Pipe

Adapter

∙ ∙ ∙

Pipe

Compressor Distributor

Pipe

Cryptor

∙ ∙ ∙

∙ ∙ ∙

Client ServerServer Unit




Client Unit

Pipe

Interceptor

Pipe Pipe

Adapter

∙ ∙ ∙

Pipe


Pipe

Cryptor

∙ ∙ ∙

∙ ∙ ∙

Client ServerServer Unit

FilterPipe1 Pipe2

Filter: acquire worker

Pipe2: acquire capacity

Filter: process

Filter: release worker

Pipe1: release capacity

Scope of the filter’s control focus

forked activity



Feature Arch Mapping

Pipe

Interceptor

Pipe Pipe

Adapter

∙ ∙ ∙

Client

Component

Pipe


Pipe

Cryptor

∙ ∙ ∙

∙ ∙ ∙

Server

Unit

Procedure

Call

Adaption

Interception

EncryptionCompression Replication

Distribution

RemoteLocal



Feature Selectionp

Pipe

Interceptor

Pipe

∙ ∙ ∙

Client

Component

Compressor

Pipe

Cryptor

Server

Unit

Procedure

Call

Adaption

Interception


Distribution

RemoteLocal

Selection

Au

tom

atic



Feature Configurationp

Pipe

Interceptor

Pipe

∙ ∙ ∙

Client

Component

Compressor

Pipe

Cryptor

Server

Unit

Procedure

Call

Adaption

Interception


Distribution

RemoteLocalTarget

Interface

WP, Buffer

RD

WP, Buffer

RD

ConfigureA

uto

ma

tic



Transformation Generationp

Pipe

Interceptor

Pipe

∙ ∙ ∙

Client

Component

Compressor

Pipe

Cryptor

Server

Unit

Procedure

Call

Adaption

Interception


Distribution

RemoteLocal

Transformation Fragment 1



Combine

Transformation(Specific for one Configuration)

Com

bine

Combine

Target

Interface

WP, Buffer

RD

WP, Buffer

RD

Au

tom

atic

Reoccuring Basic

Elements

(Pipes & Filters)



Evaluation

Sensor

Sensor

Sensor

Server

Periodically

Send Data

Compression,

Socket Transfer,

Decompression

Can the Connectors be Abstracted

by Pipe & Filter Chains?



Evaluation

Procedure

Call

Distribution

Remote Local

Asynch

Compression DecompressionSocket Transfer

(PCM)

Sensor

Sensor

Sensor

Server

Server Worker

Management

Critical Section

Transactions

Interception Adaption

EncryptionReplication



Evaluation

Procedure

Call

Distribution

Remote

Asynch


(PCM)

Sensor

Sensor

Sensor

Server

Server Worker

Management



Evaluation

Sensor Pipe Compr Pipe Socket



PipeDe-

compPipe Server

(PCM)

Procedure

Call

Distribution

Remote

Asynch


Server Worker

Management



Evaluation




PipeDe-

compPipe Server

(PCM)

Procedure

Call

Distribution

Remote

Asynch

Compression Socket Transfer Decompression

Server Worker

Management



Summary

0 100 200 300 400 500

0

100

200

300

400

500

600

700

800

900

Measurements

1 Thread

Compression Decompression Socket Transfer

Data Size (kB)

Re

sp

on

se

Tim

e (

ms

)


13,42 sec

Pipe

Interceptor

Pipe

∙ ∙ ∙

Client

Component

Compressor

Pipe

Cryptor

Server

Unit

Procedure

Call

Adaption

Interception


Distribution

RemoteLocalTarget

Interface

WP, Buffer

RD

WP, Buffer

RD

Configure

Au

tom

atic



Basic Design

FilterPipe1 Pipe2


pull for data from Pipe1

(block if Pipe empty)

process

push data to Pipe2

(block if Pipe full)



Basic Design

FilterPipe1 Pipe2

Filter: acquire worker

Pipe2: acquire capacity

Filter: process

Filter: release worker

Pipe1: release capacity


forked activity



Connector Topology

d

Messaging

Blackboard

bb

c s

c

c

Procedure Call

n:1

Streaming

full duplex

1:1

w r

r

r

half

duplex

1:n

(Originally Designed by Tomas Bures [BP03])



Feature Diagram

Legend

or

exclusive or

mandatory

optional

concept

mandatory

feature

alternative

feature

alternative

feature

alternative

feature

or-subfeature

or-subfeature

alternative

subfeature

alternative

subfeature

optional

subfeature

mandatory

subfeature

or-subfeature

optional

subfeature

excludes

requires

An instance of a feature diagram is a subset of nodes, selected after the followingrestrictions:

The root is always included.Mandatory features have to be included, if their parent is included.Optional features can be included, if their parent is included.One or more features of an or-feature set have to be included, if their parent isincluded.Exactly one feature of an exclusive-or-feature set has to be included, if its parentis included.All requires- and excludes-constraints of a feature are satisfied.

[Bus07]



Related WorkConnectors

Connector taxonomy [MMP00]Composing connectors of elements [BP03]

CompletionsCompletion generation [KHB10], conflict resolution [KG09]Replication [Har10]Middleware completion [HFBR08]Encryption, Compression, Marshalling [Bec08]

Component SystemsSurveys [Koz10, LW05, KZM+10, Bur06]ROBOCOP [BMdW+04, Rob], OLAN [BBB+98], SOFA[PBJ98]



Procedure Call Connector Client UnitArchitecture

Pipe

Interceptor

Pipe Pipe

Adapter

Pipe


Pipe

Cryptor

∙ ∙ ∙

∙ ∙ ∙

∙ ∙ ∙

Client

Component

Server

Unit



Procedure Call Connector ServerUnit Architecture

Pipe

Cryptor

Pipe

SyncherCompressor

Pipe

Transaction

Manager

Pipe

Adaptor Interceptor

Pipe

Sink

Pipe

Pipe

∙ ∙ ∙

Client

Units

Server

Component



Worker Management

FilterPipeFilter



Procedure Call Connector FeatureTree

Procedure

Call

CompressionReplication

(Replication)

Encryption

(Coupled)

Adaption

Client Server

(Filter) (Filter)

Interception

Client Server

(Interception) (Interception)

Distribution

Remote Local

Transactions

Synch

Asynch

Server Worker

Management

Critical Section

Legend

or

exclusive or

mandatory

optional

Target

Connections

Buffer Size

(x2)

(Coupled)

WP Size

EnabledBuffer

Size (x2)

Capacity



Filter Feature Tree

Filter (x2)

WP Sizeper

Method

Manual Lib

Resource

Demand

Bytesize

Modification

Buffer

Size



Coupled Activity Feature Tree

Coupled (x2)

Client

WP Size

per

Method

Manual Lib

Application

Bytesize

Modification

Reversion

Resource

Demand

Resource

Demand

Bytesize

Modification

Server

WP Size

Client

Buffer Size

Server

Buffer Size



Interception & Replication FeatureTree

Interception

WP Size

(x2)Target

Buffer

Size (x2)

Replication

Replication

Count

per

Replica

Resource

Container

Distributor

WP Size (x2)

Policy

Buffer

Size (x2)



References I

[BBB+98] R. Balter, L. Bellissard, F. Boyer, M. Riveill, and J.-Y. Vion-Dury.Architecturing and configuring distributed application with olan.In Middleware ’98: Proceedings of the IFIP International Conference on Distributed SystemsPlatforms and Open Distributed Processing, pages 241–256, London, UK, 1998. Springer-Verlag.

[Bec08] Steffen Becker.Coupled Model Transformations for QoS Enabled Component-Based Software Design.PhD thesis, University of Oldenburg, Germany, March 2008.

[BMdW+04] Egor Bondarev, Johan Muskens, Peter de With, Michel Chaudron, and Johan Lukkien.Predicting real-time properties of component assemblies: A scenario-simulation approach.EUROMICRO Conference, 0:40–47, 2004.

[BP03] Tomas Bures and Frantisek Plasil.Composing connectors of elements.Technical Report 3, Dep. of SW Engineering, Charles University, Prague, May 2003.

[Bur06] Tomas Bures.Generating Connectors for Homogeneous and Heterogeneous Deployment.PhD thesis, Charles University, Prague, September 2006.

[Bus07] Frank Buschmann.Pattern-oriented software architecture, volume 1: A system of patterns.Wiley, Chichester [u.a.], repr. edition, 2007.

[Har10] Christian Harnisch.Modeling parallel, component-based software architectures with design patterns.Study thesis, Karlsruhe Institute of Technology (KIT), 2010.



References II

[HFBR08] Jens Happe, Holger Friedrich, Steffen Becker, and Ralf H. Reussner.A pattern-based performance completion for message-oriented middleware.In WOSP ’08: Proceedings of the 7th international workshop on Software and performance, pages165–176, New York, NY, USA, 2008. ACM.

[KG09] Lucia Kapova and Thomas Goldschmidt.Automated feature model-based generation of refinement transformations.In In Proceedings of the 35th EUROMICRO Conference on Software Engineering and AdvancedApplications, 2009.

[KHB10] Lucia Kapova, Jens Happe, and Steffen Becker.Systematic pattern-based design of performance models for concurrent software systems.Will be published, 2010.

[Koz10] Heiko Koziolek.Performance evaluation of component-based software systems: A survey.Performance Evaluation, 67(8):634 – 658, 2010.Special Issue on Software and Performance.

[KZM+10] Lucia Kapova, Barbora Zimmerova, Anne Martens, Jens Happe, and Ralf H. Reussner.State dependence in performance evaluation of component-based software systems.In Proceedings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering(WOSP/SIPEW ’10), New York, NY, USA, 2010. ACM.

[LW05] Kung-Kiu Lau and Zheng Wang.A taxonomy of software component models.EUROMICRO Conference, 0:88–95, 2005.



References III

[MMP00] Nikunj R. Mehta, Nenad Medvidovic, and Sandeep Phadke.Towards a taxonomy of software connectors.In ICSE ’00: Proceedings of the 22nd international conference on Software engineering, pages178–187, New York, NY, USA, 2000. ACM.

[PBJ98] F. Plasil, D. Balek, and R. Janecek.SOFA/DCUP: Architecture for component trading and dynamic updating.In Fourth International Conference on Configurable Distributed Systems, 1998. Proceedings, pages43–51, 1998.

[Rob] Robocop: Robust open component based software architecture for configurable devices project.Public deliverables.http://www.hitech-projects.com/euprojects/robocop/deliverables.htm.



http://www.hitech-projects.com/euprojects/robocop/deliverables.htm

Copyright

Copyright to the title image (”jack plug 3”) is owned by the userfazong of http://www.sxc.huDuplicating the image from this presentation is prohibited.Instead you can download it here:http://www.sxc.hu/photo/912517 (if you respect the copyrightgiven there)



Date post:	05-Aug-2020
Category:	Documents
Upload:	others
View:	5 times
Download:	0 times

Compositional Performance Abstractions of Software Connectors · Pipe Filter Pipe Filter Pipe...

Documents