[PPT] - Robusta : An approach to building dynamic applications Walter PowerPoint Presentation

SLIDE 1

Robusta : An approach to building dynamic applications

Walter RUDAMETKIN

Pr. Noel DE PALMA

President UJF, Grenoble

Pr. Luciano BARESI

Reviewer Politecnico di Milano

Dr. Benoit BAUDRY

Reviewer INRIA, Rennes

Dr. François EXERTIER

Examiner Bull, S.A.S

Pr. Eric GRESSIER-SOUDAN

Examiner CNAM-CEDRIC

Dr. Jacky ESTUBLIER

Supervisor CNRS, Grenoble

Dissertation defense 21 February 2013

SLIDE 2

2

O u t l i n e

C

n

t e x t & Ch a l l e n g e s S t a t e

f

t h e A r t R

b

u s t a I mp l e me n t a t i

n

& V a l i d a t i

n

C

n

c l u s i

n

& P e r s p e c t i v e s

SLIDE 3

3

D e v i c e s , M

b

i l i t y & S e r v i c e s

B u s i n e s s

H

me

A u t

ma

t i

n

E n t e r t a i n me n t

SLIDE 4

4

L a r g e a p p s

A p p l i c a t i

n

S e r v e r s P l u g i n b a s e d a p p l i c a t i

n

s

C

n

t e x t

a

w a r e a p p s

M

b

i l i t y a n d c h a n g e D e v i c e

r

i e n t e d

SLIDE 5

5

T h e s e a p p l i c a t i

n

s n e e d

P a t c h e s & U p d a t e s N e w f e a t u r e s

SLIDE 6

6

T h e s e a p p l i c a t i

n

s n e e d

M i n i ma l D

wn

t i me R e a c t i v i t y

SLIDE 7

7

C

mp

l e x i t y , s t r u c t u r e , d e c

u

p l i n g

R a c c

n

[ 1 9 9 7 ] R e v i s i t e d

SLIDE 8

8

C

mp

l e x i t y , s t r u c t u r e , d e c

u

p l i n g

R a c c

n

[ 1 9 9 7 ] R e v i s i t e d

SLIDE 9

9

R e s t r i c t i

n

s v s . d e c

u

p l i n g

SLIDE 10

10

R e s t r i c t i

n

s v s . d e c

u

p l i n g

SLIDE 11

11

R e s t r i c t i

n

s v s . d e c

u

p l i n g

SLIDE 12

12

R e s t r i c t i

n

s v s . d e c

u

p l i n g

SLIDE 13

13

We a d d r e s s

C e n t r a l i z e d M u l t i

t

h r e a d e d C

mp
n

e n t

b

a s e d O b j e c t O r i e n t e d i mp l e me n t a t i

n

s D y n a mi c A p p l i c a t i

n

s

SLIDE 14

14

T

b

u i l d d y n a mi c a p p l i c a t i

n

s

D e s i g n d y n a mi c a p p l i c a t i

n

s Wr i t e d y n a mi c c

mp
n

e n t s Un d e r s t a n d c

mp
n

e n t c

u

p l i n g Ma n a g e t h e i mp a c t

f

d y n a mi s m

SLIDE 15

15

O b j e c t i v e

Wr i t e r

b

u s t c e n t r a l i z e d d y n a mi c a p p l i c a t i

n

s

SLIDE 16

16

O u t l i n e

C

n

t e x t & C h a l l e n g e s S t a t e

f

t h e A r t P r

p
s

i t i

n

I mp l e me n t a t i

n

& V a l i d a t i

n

C

n

c l u s i

n

& P e r s p e c t i v e s

SLIDE 17

17

A f e w d e f i n i t i

n

s

SLIDE 18

18

S e r v i c e O r i e n t e d A r c h i t e c t u r e

M. P a p a z

g

l

u

[ 2 3 ]

S e r v i c e s a r e s e l f

d

e s c r i b i n g , p l a t f

r

m- a g n

s

t i c c

mp

u t a t i

n

a l e l e me n t s t h a t s u p p

r

t r a p i d , l

w-

c

s

t c

mp
s

i t i

n
f

d i s t r i b u t e d a p p l i c a t i

n

s .

SLIDE 19

19

S O A C

mp
n

e n t I n t e r a c t i

n

Publish Lookup

Binding

Removal Notification

Service description

Service Registry

Service Consumer Provider

SLIDE 20

20

B e n e f i t s

f

S O A

R e d u c e d c

u

p l i n g D y n a mi c r e s i l i e n c e S u b s t i t u t a b i l i t y I mp l e me n t a t i

n

t r a n s p a r e n c y

SLIDE 21

21

S

f

t w a r e a r c h i t e c t u r e

A b s t r a c t l y , s

f

t w a r e a r c h i t e c t u r e i n v

l

v e s t h e d e s c r i p t i

n
f

e l e me n t s f r

m

wh i c h s y s t e ms a r e b u i l t , i n t e r a c t i

n

s a mo n g t h

s

e e l e me n t s , p a t t e r n s t h a t g u i d e t h e i r c

mp
s

i t i

n

, a n d c

n

s t r a i n t s

n

t h e s e p a t t e r n s .

M. S h a w a n d D . G a r l a n [ 1 9 9 6 ]

SLIDE 22

22

D y n a mi c s

f

t w a r e a r c h i t e c t u r e

r e p r e s e n t s y s t e ms t h a t d

n
t

s i mp l y c

n

s i s t

f

a f i x e d , s t a t i c s t r u c t u r e , b u t c a n r e a c t t

c

e r t a i n r e q u i r e me n t s

r

e v e n t s b y r u n

t

i me r e c

n

f i g u r a t i

n
f

i t s c

mp
n

e n t s a n d c

n

n e c t i

n

s .

B a r e s i e t a l . [ 2 4 ]

SLIDE 23

23

A d v a n t a g e s

f

A r c h i t e c t u r e

P r

g

r a mmi n g

i

n

t

h e

l

a r g e

[ D e R e me r a n d K r

n

1 9 7 5 ]

H i g h

l

e v e l d e s i g n & i n t e g r a t i

n

c

n

c e r n s

[ F a v r e 1 9 9 7 ]

SLIDE 24

24

I s s u e s w i t h d y n a mi s m

SLIDE 25

25

S a f e

s

t

p

p i n g c

mp
n

e n t s H a n d l i n g s t a t e f u l a r t i f a c t s D y n a mi s m i n s

f

t wa r e a r c h i t e c t u r e s

SLIDE 26

26

H

w

t

s

a f e l y s t

p

c

mp
n

e n t s a n d r e mo v e t h e m f r

m

a r u n n i n g s y s t e m?

SLIDE 27

27

R e q u i r e me n t s t

s

a f e

s

t

p

p i n g

P a s s i v a t e c

mp
n

e n t s F i n d s a f e

s

t a t e R e mo v e

l

d c

mp
n

e n t s I n s t a n t i a t e n e w c

mp
n

e n t s A v

i

d

r

r e c

v

e r f r

m

c

r

r u p t i

n

E n s u r e c

n

s i s t e n c y . M i n i mi z e d i s r u p t i

n

.

SLIDE 28

28

T r a n s a c t i

n

a l a p p r

a

c h e s

F r a c t a l i P O J O Op e n C

m

Q u i e s c e n c e

J . K r a me r a n d J . M a g e e [ 1 9 9 ]

T r a n q u i l i t y

Y v e s V a n d e w

u

d e e t a l . [ 2 7 ]

V e r s i

n

C

n

s i s t e n c y

M a e t a l . [ 2 1 1 ]

C

mp
n

e n t mo d e l s

SLIDE 29

29

L i mi t s t

c

u r r e n t a p p r

a

c h e s

M

s

t l y p r

a

c t i v e s

l

u t i

n

s

L a c k

f

r e a c t i v e a p p r

a

c h e s

T

p

t i mi s t i c f

r

ma n y u s e s

L a c k

f

r e c

v

e r y

U n c l e a r p r

g

r a mmi n g r e s t r i c t i

n

s

Wh a t l e a d s t

c
u

p l i n g ?

L a c k

f

c e n t r a l i z e d s

l

u t i

n

s

D i s t r i b u t e d s

l

u t i

n

s i mp

s

e h i g h e r d e c

u

p l i n g

SLIDE 30

30

H

w

t

h

a n d l e s t a t e ?

SLIDE 31

31

N

S

t a t e T r a n s f e r . D e l e g a t e d S t a t e T r a n s f e r . A u t

ma

t e d S t a t e T r a n s f e r .

SLIDE 32

32

S t a t e t r a n s f e r l i mi t a t i

n

s

H a r d t

a

u t

ma

t e H y b r i d a p p r

a

c h e s s h

w

p r

mi

s e S t i l l n

g

e n e r i c s

l

u t i

n

U s e s i mp l e a d

h
c

s t a t e t r a n s f e r .

SLIDE 33

33

D y n a mi s m i n s

f

t w a r e a r c h i t e c t u r e s ?

SLIDE 34

34

E x p l i c i t v s . C

n

s t r a i n e d P r

a

c t i v e v s . R e a c t i v e

C u r r e n t a p p r

a

c h e s

SLIDE 35

35

S u p p

r

t u n e x p e c t e d c h a n g e

d e v i c e s , r e mo t e s e r v i c e s , f a i l u r e . . .

R e a c t i v e & C

n

s t r a i n e d

SLIDE 36

36

Wh a t ' s mi s s i n g i n e x i s t i n g s

l

u t i

n

s ?

SLIDE 37

37

Wh a t ' s mi s s i n g ?

S e l e c t i v e l y e n a b l e d y n a mi s m M a n a g e t h e i mp a c t

f

d y n a mi s m D e v e l

p

me n t g u i d e l i n e s E n s u r e c

n

s i s t e n c y a t r u n t i me d e s p i t e u n e x p e c t e d c h a n g e

SLIDE 38

38

Wh a t d

e

s t h e r u n t i me n e e d t

s

u p p

r

t u n e x p e c t e d d y n a mi s m?

SLIDE 39

39

R u n t i me r e q u i r e me n t s

f

r

u n e x p e c t e d d y n a mi s m

C

r

r e c t n e s s & C

n

s i s t e n c y P r

a

c t i v e & R e a c t i v e R e c

v

e r y

SLIDE 40

40

A d d i t i

n

a l r u n t i me r e q u i r e me n t s

C h a n g e i mp a c t M i n i ma l d i s r u p t i

n

T i me l i n e s s

SLIDE 41

41

O u t l i n e

C

n

t e x t & C h a l l e n g e s S t a t e

f

t h e A r t R

b

u s t a I mp l e me n t a t i

n

& V a l i d a t i

n

C

n

c l u s i

n

& P e r s p e c t i v e s

SLIDE 42

42

T h e s

f

t w a r e c y c l e

Development Packaging Deployment Execution Design

SLIDE 43

43

T h e s

f

t w a r e c y c l e

Development Packaging Deployment Execution Design

SLIDE 44

44

D y n a mi s m i s . . .

C r

s

s

c

u t t i n g

D e s i g n , d e p l

y

, d e v e l

p

, p a c k a g e , e x e c u t e

I n v a s i v e

C a n n

t

b e f u l l y t r a n s p a r e n t

D i f f i c u l t t

u

n d e r s t a n d

L a c k

f

t

l

s a n d g u i d e l i n e s

E a s y t

g

e t wr

n

g

S u b t l e mi s t a k e s c a u s e d i s a s t e r s

SLIDE 45

45

R

b

u s t a i s

A n a r c h i t e c t u r a l a p p r

a

c h t

ma

n a g i n g d y n a mi s m M a n a g e s d y n a mi s m a t mu l t i p l e l e v e l s

S e r v i c e , c

mp
n

e n t , mo d u l e a n d c l a s s ,

b

j e c t

P a r t i c u l a r l y f

c

u s e d

n

d e s i g n , p a c k a g i n g a n d e x e c u t i

n

SLIDE 46

46

R

b

u s t a p r i n c i p l e s

D y n a mi s m i s n

t

n e e d e d e v e r y wh e r e M a n a g e d y n a mi s m e a r l y A r c h i t e c t u r e c e n t r i c

S e r v i c e s c

mp
n

e n t a r c h i t e c t u r e → C

mp
n

e n t s mo d u l e a r c h i t e c t u r e → M

d

u l e s p a c k a g i n g a r c h i t e c t u r e →

SLIDE 47

47

C

mp
n

e n t b e h a v i

r

SLIDE 48

48

R

b

u s t a c

mp
n

e n t b e h a v i

r

@S t a b l e @D e t a c h a b l e @V

l

a t i l e

SLIDE 49

49

R

b

u s t a c

mp
n

e n t b e h a v i

r

D e t e r mi n e d e c

u

p l i n g a n d r e s i l i e n c e r e q u i r e d b y d e p e n d e n c i e s

R e s i l i e n c e t

v
l

a t i l i t y C

u

p l e d d e p e n d e n c y

SLIDE 50

50

E x a mp l e

SLIDE 51

51

E x a mp l e

SLIDE 52

52

E x a mp l e

SLIDE 53

53

R

b

u s t a c

mp
n

e n t b e h a v i

r

P r

t

e c t @stable c

mp
n

e n t s D e c

u

p l e @detachable c

mp
n

e n t s I s

l

a t e @volatile c

mp
n

e n t s

SLIDE 54

54

C

mp
n

e n t d e c

u

p l i n g

SLIDE 55

55

D e c

u

p l i n g r e q u i r e me n t s

M u l t i p l e c

n

s u me r s & p r

v

i d e r s M u l t i p l e v e r s i

n

s

f

t h e s a me c l a s s C

mp

l e x

b

j e c t s S e r v i c e s p e c i a l i z a t i

n

SLIDE 56

56

D e c

u

p l i n g e x a mp l e

SLIDE 57

57

D e c

u

p l i n g e x a mp l e

SLIDE 58

58

D e c

u

p l i n g e x a mp l e

SLIDE 59

59

D e c

u

p l i n g e x a mp l e

SLIDE 60

60

T h e s e r v i c e c

n

t r a c t

T h e S e r v i c e I n t e r f a c e a n d t h e t y p e s t h a t i t d i r e c t l y d e p e n d s

n

.

SLIDE 61

61

H

w

e v e r , t h e r e ' s s t i l l i n d i r e c t ( h i d d e n ) c

u

p l i n g !

SLIDE 62

62

D e c

u

p l i n g e x a mp l e

SLIDE 63

63

D e c

u

p l i n g e x a mp l e

SLIDE 64

64

D e c

u

p l i n g e x a mp l e

SLIDE 65

65

T h e e x t e n d e d s e r v i c e c

n

t r a c t

T h e S e r v i c e I n t e r f a c e a n d t h e t y p e s t h a t i t d i r e c t l y a n d i n d i r e c t l y d e p e n d s

n

.

SLIDE 66

66

C

mp
n

e n t p a c k a g i n g

SLIDE 67

67

P a c k a g i n g

D e f i n e s c l a s s mo d u l e s → M

d

u l e s a r e u n i t s

f

d e p l

y

me n t I t ' s g u i d e d b y

S e r v i c e C

n

t r a c t C

n

t r a c t E x t e n s i

n

s C

mp
n

e n t I mp l e me n t a t i

n

s

SLIDE 68

68

P a c k a g i n g e x a mp l e

SLIDE 69

69

P a c k a g i n g r e s u l t s

C

mp
n

e n t s e v

l

v e i n d e p e n d e n t l y I s

l

a t e S e r v i c e C

n

t r a c t S p e c i a l i z e S e r v i c e C

n

t r a c t A v

i

d s e r v i c e i n c

mp

a t i b i l i t i e s M u l t i p l e c

n

s u me r p r

v

i d e r →

SLIDE 70

70

P a c k a g i n g e x a mp l e

SLIDE 71

71

A r c h i t e c t u r e a n a l y s i s

SLIDE 72

72

A r c h i t e c t u r e a n a l y s i s r e q u i r e me n t s

S e l e c t i v e d y n a mi s m Z

n

e

i

f i c a t i

n

P r

p

e r t y c

mp
s

i t i

n

SLIDE 73

73

V

l

a t i l e e x a mp l e

SLIDE 74

74

V

l

a t i l e e x a mp l e

SLIDE 75

75

V

l

a t i l e e x a mp l e

SLIDE 76

76

S t a b l e e x a mp l e

SLIDE 77

77

P l u g i n e x a mp l e

SLIDE 78

78

O u t l i n e

C

n

t e x t & C h a l l e n g e s S t a t e

f

t h e A r t P r

p
s

i t i

n

I mp l e me n t a t i

n

& V a l i d a t i

n

C

n

c l u s i

n

& P e r s p e c t i v e s

SLIDE 79

79

R e q u i r e me n t s

B u i l d c l a s s d e p e n d e n c y g r a p h

A n a l y z e a l l C l a s s e s

I d e n t i f y C l a s s M

d

u l e r e l a t i

n

s ↔ C a l c u l a t e S e r v i c e C

n

t r a c t

S i mp l e g r a p h a l g

r

i t h ms

Op e n

wo

r l d s

l

u t i

n

SLIDE 80

80

S

l

u t i

n

c

mp

a r i s

n

R u n t i me B y t e c

d

e I n t e r a c t i v e d i a g n

s

t i c s D e s i g n

t

i me S

u

r c e c

d

e A u t

ma

t e d A n a l y s i s v e r s u s v e r s u s v e r s u s

H a r d e s t c a s e p

s

s i b l e

SLIDE 81

81

T e c h n i c a l s

l

u t i

n

J a v a a g e n t f

r

I n s t r u me n t a t i

n

G e t a n d I n s t r u me n t A L L C l a s s e s

C

d

e i n j e c t i

n

( A S M )

@Robusta & @ClassDependency I n c l u d e s f i l t e r i n g

p

t i

n

s

I n t e r a c t i v e C

mma

n d s w i t h S h e l b i e

A n O S G i S h e l l

SLIDE 82

82

T e c h n i c a l s

l

u t i

n

SLIDE 83

83

I n t e r a c t i v e c

mma

n d

l

i n e

C l a s s l

a

d e r s ( i . e . , M

d

u l e s ) C l a s s e s D u p l i c a t e s S e r v i c e C

n

t r a c t c a l c u l a t i

n

T r a n s i t i v e d e p e n d e n c y g r a p h E x t e n s i

n

s t

G

r a p h s r e p r e s e n t c u r r e n t s t a t e u n a mb i g u

u

s l y .

SLIDE 84

84

E x p e r i me n t a t i

n

O W2 J

n

A S J a v a E E A p p l i c a t i

n

S e r v e r + 3 mo d u l e s + 1 2 c

mp
s

a n t s + 4 k L i n e s

f

C

d

e

SLIDE 85

85

C

n

s

l

e b a s e d

u

t p u t

SLIDE 86

86

D e p e n d e n c y t r e e s

SLIDE 87

87

D u p l i c a t e d c l a s s e s

SLIDE 88

88

S t a t i s t i c s

SLIDE 89

89

O v e r h e a d

Me mo r y

1 X a n n

t

a t i

n

p e r c l a s s

d

e p e n d e n c y 4 X a t t r i b u t e s p e r a n n

t

a t i

n

E x e c u t i

n

G r a p h c a l c u l a t i

n

t i me s : 2 ms – 1 6 ms A g e n t ma n i p u l a t i

n

t i me s : ~ 9 ms

B e t w e e n ms – 2 2 ms

N

e

x e c u t i

n
v

e r h e a d wh e n n

t

u s e d .

SLIDE 90

90

L e s s

n

s

L

a

d i n g a l l c l a s s e s

J a v a i s l a z y , G a r b a g e C

l

l e c t i

n

i s l a z y D u p l i c a t e c l a s s e s d

h

a p p e n

R

t

h i e r a r c h y

Ob j e c t c l a s s c a u s e s h i d d e n c

u

p l i n g

C

mp

l e x i t y

S e r v i c e s c a n b e q u i t e c

mp

l e x R e q u i r e s t

l

i n g

SLIDE 91

91

S i mp l e a p p l i c a t i

n

SLIDE 92

92

S i mp l e a p p l i c a t i

n

SLIDE 93

93

O u t l i n e

C

n

t e x t & C h a l l e n g e s S t a t e

f

t h e A r t P r

p
s

i t i

n

I mp l e me n t a t i

n

& V a l i d a t i

n

C

n

c l u s i

n

& P e r s p e c t i v e s

SLIDE 94

94

R

b

u s t a a s a n a p p r

a

c h t

d

y n a mi s m

SLIDE 95

95

D e v e l

p

i n g D y n a mi c A p p l i c a t i

n

s

SLIDE 96

96

F i n a l r e ma r k s

SLIDE 97

97

P r

b

l e m

D e s i g n Wr i t e Un d e r s t a n d Ma n a g e

Wr i t e r

b

u s t c e n t r a l i z e d d y n a mi c a p p l i c a t i

n

s

SLIDE 98

98

C

n

t r i b u t i

n

s

A r c h i t e c t u r e

c

e n t r i c a p p r

a

c h t

d

y n a mi s m I mp r

v

e d u n d e r s t a n d i n g

C

u

p l i n g & D y n a mi s m

S a f e d y n a mi s m t h r

u

g h d e c

u

p l i n g P r

f
f
C
n

c e p t (

p

e n

w
r

l d )

h t t p s : / / g i t h u b . c

m/

r u d a me t w / R

b

u s t a

SLIDE 99

99

P e r s p e c t i v e s

F e l i x We b C

n

s

l

e M @R T & M

n

i t

r

i n g I D E J a v a s c r i p t I n t e g r a t e i n t

SLIDE 100

100

I mp a c t

N e w me t h

d
l
g

y f

r

d y n a mi s m? G e n e r a l i z a b l e s

l

u t i

n
r

n i c h e ?

C

mp
n

e n t s O b j e c t s ↔

F u t u r e a d

p

t i

n

?

SLIDE 101

101

T h a n k s . Qu e s t i

n

s ?

SLIDE 102

102

M a i n P u b l i c a t i

n

s

2012 Kiev Gama, Walter Rudametkin e Didier Donsez, "Resilience in dynamic component-based applications", III Congresso Brasileiro de Software: Teoria e Prática. SBES'2012. 2008 Kiev Gama, Walter Rudametkin and Didier Donsez. Using Fail-stop Proxies for Enhancing Services Isolation in the OSGi Service Platform. In Proceedings of the Workshop of the 9th International Middleware Conference 2008, 2008-12-01, Leuven, Belgium. 2012 Joao Americo, Walter Rudametkin and Didier Donsez. Managing the Dynamism of Real-Time Java Applications on the OSGi Platform. In Proceedings of the 27th ACM Symposium on Applied Computing (SAC' 2012), 2012-03-26, Riva del Garda, Italy. 2011 Anthony Gelibert, Walter Rudametkin, Didier Donsez and Sebastien Jean, Clustering OSGi Applications using Distributed Shared Memory. In Proceedings of the 11th annual International Conference on New Technologies of Distributed Systems (NOTERE 2011), Paris, France, 9–12 May. 2010 Walter Rudametkin, Lionel Touseau, Didier Donsez and François Exertier. A framework for managing dynamic service-oriented component architectures. In Proceedings of the IEEE 2010 Asia-Pacific Services Computing Conference, 2010-12-06, Hangzhou, China. 2010 Walter Rudametkin, Kiev Gama, Lionel Touseau and Didier Donsez. Towards a Dynamic and Extensible Middleware for Enhancing Exhibits. In Proceedings of the 7th IEEE Consumer Communications & Networking Conference (CCNC'10), 2010-01-10, Las Vegas, Nevada. 2011 Lionel Touseau, Kiev Gama, Didier Donsez, Walter Rudametkin, Adaptive and Dynamic Service Compositions in the OSGi Service Platform, chapter in book “Service Life Cycle Tools and Technologies: Methods, Trends and Advances”, Ed J. Lee, S. Ma, and Alan Liu, Publ. IGI Global, 2011.

Wo r k s h

p

s B

k

C h a p t e r s I n t e r n a t i

n

a l C

n

f e r e n c e s

SLIDE 103

103