T o w a a r r d d s s B B e e t t t e r C C o - - PowerPoint PPT Presentation

SLIDE 1

D mi t r y B

• r

i s e n k

• v

, L e

• n

i d K h

• l
• d
• v

, D mi t r y S h t u k e n b e r g

T

• w

a r a r d s B e t d s B e t t e r C C

• d

e G e n e r a

• d

e G e n e r a t

• r

t

• r

D e s e s i g n a g n a n d U n n d U n i f i f i c a c a t i

• t

i

• n

f

• r

S S t a c k c k M a M a c h i c h i n e n e

SLIDE 2

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

Wh y d d

• w

w e e c a r c a r e ? e ?

• N

e w s t a c k ma c h i n e s k e e p

• n

a p p e a r i n g g i v e n t h e d e v e l

• p

me n t

• f

b l

• c

k c h a i n t e c h n

• l
• g

y ( E V M , T V M ) .

• T

h e r e a s

• n

f

• r

c h

• s

i n g s t a c k ma c h i n e s i n b l

• c

k c h a i n i s b e t t e r c

• d

e d e n s i t y . I t a l l

• w

s r e d u c i n g c

• s

t s i n c u r r e d f r

• m

c

• n

t r a c t s t

• r

a g e i n t h e b l

• c

k c h a i n .

• B

e t t e r v e r i f i c a t i

• n

i s a n

• t

h e r r e a s

• n

t

• u

s e s t a c k ma c h i n e s .

SLIDE 3

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

C

• m
• mp

a r i a r i n g n g e x i s t i s t i n g s t s t a c a c k ma c a c h i h i n e s e s

P r P r

• p

e r t y \ y \ A r A r c h i t i t e c t u r e T V M E V M We b A s A s s e mb l y x 8 7 . n . n e t S t a c k

• p
• p

e r a t i

• n

i

• n

s M a t e r i a l i z i n g c

• n

s t a n t s , c

• p

y , x c h g , p u s h , p

• p

, a n d d e r i v a t i v e s C

• p

y , p u s h , p

• p

, x c h g P u s h P u s h , p

• p

, i n d e x P u s h , d u p , p

• p

N

• n
• s
• s

t a c a c k e e n t i t i t i e i e s N

• n

G P

• r

e g i s t e r s M e mo r y , S t

• r

a g e L

• c

a l s , g l

• b

a l s M e mo r y L

• c

a l s , g l

• b

a l s , f u n c t i

• n

a r g u me n t s M e mo r

• r

y M

• d

e l l i n g C

• n

v e n t i

• n

a l C

• n

v e n t i

• n

a l C

• n

v e n t i

• n

a l C

• n

v e n t i

• n

a l C

• C
• n

t r

• l

f l l f l

• w

C

• n

t i n u a t i

• n

s B r a n c h e s B r a n c h e s + L

• p

s N / A B r a n c h e s I n I n s t r u c t i

• n

i

• n

s s e t C I S C w /

• d

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

• n

s w i t h r e g i s t e r s R I S C R I S C C I S C R I S C

SLIDE 4

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

S a m a mp l e T l e T V M c V M c

• d
• d

e

i n t f u n c ( i n t a , i n t b ) { r e t u r n ( a + b ) * ( a

• b

) ; } . g l

• b

l f u n c . t y p e f u n c , @f u n c t i

• n

f u n c : ; %b b . : P U S H 2 s 1 , s S U B X C H Gs , s 2 A D D M U L . L f u n c _ e n d :

SLIDE 5

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

S t a c k c k ma ma c h c h i n e a e a s a s a n n a b a b s t r a c s t r a c t i t i

• n
• n
• E

a c h N

• t

h

• p

e r a t i

• n

c

• n

s u me s N

• t
• p

mo s t v a l u e s f r

• m

t h e s t a c k a n d r e c

• r

d s t h e r e s u l t

• n

t

• p
• f

t h e s t a c k .

• S

t a c k r e a r r a n g e me n t s r e l a t e d t

• c
• mp

u t a t i

• n

h a v e c

• s

t s . T h e T V M a r c h i t e c t u r e u s e s c

• p

i e s a n d e x c h a n g e s ,

• t

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

• p

u s h e s .

• T

h e c

• d

e g e n e r a t

• r

g

• a

l i s t

• mi

n i mi z e s t a c k ma n i p u l a t i

• n

c

• s

t s .

SLIDE 6

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

C u r u r r e n e n t t a p a p p r

• a

c h a c h t

• t
• t

r a n t r a n s l a t i t i

• n
• n

S e l e c t i

• n

D A G M I R f

• r

a r e g i s t e r ma c h i n e P H I e l i mi n a t i

• n

S t a c k i f i c a t i

• n

( We b A s s e mb l y ) S t a c k M

• d

e l l i n g ( T V M ) M I R f

• r

a s t a c k V M a = x 1 + x 2 d = x 3 + x 4 b = x 5 + x 6 c = a + b a = x 1 + x 2 b = x 5 + x 6 c = a + b d = x 3 + x 4 c = a + b ; [ b , d , a ] x c h g s 1 , s 2 ;[ b , d , a ] c = a + b ; [ b , a , d ] G l

• b

a l I S E L ?

SLIDE 7

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

Wh a h a t t c a n c a n b e i e i mp r

• v

e d e d ?

• I

n a d d i t i

• n

t

• S

c h e d u l e D A G F a s t & S c h e d u l e D A G V L I W, S e l e c t i

• n

D A G c

• n

f i g u r a t i

• n

c a n b e mo d i f i e d t

• p

r

• v

i d e b e t t e r s c h e d u l e s f

• r

s t a c k ma c h i n e s .

• S

t a c k mo d e l i n g g e n e r a l i z a t i

• n

c a n b e c

• n

s i d e r e d .

• P
• s

t

• R

A s c h e d u l i n g ( c

• n

t r

• l
• f

l

• w

s t a c k i f i c a t i

• n

) a n d s t a c k

• a

w a r e r e a s s

• c

i a t i

• n

a r e a l s

• p

t i

• n

s t

• c
• n

s i d e r .

SLIDE 8

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

P r P r e

• R

e

• R

A s c s c h e d u e d u l e r l e r

• p
• p

t i t i mi z a t i t i

• n

s

• L

R N

• r

R L N t r a v e r s a l s

• f

D A G f

• r

b e t t e r s t a c k ma c h i n e s c h e d u l i n g .

• P

a s s e s t h a t i n t r

• d

u c e c

• p

i e s

• f

v i r t u a l r e g i s t e r s w i t h mu l t i p l e u s e s .

SLIDE 9

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

S t a c k c k mo mo d e l l i e l l i n g n g p p

• t

e n t e n t i t i a l a l

• Wh

i l e n

• w

w e ma y s e e m t h e

• n

l y u s e r s

• f

s t a c k ma c h i n e mo d e l l i n g , i t c a n b e g e n e r a l i z e d t

• s

u p p

• r

t v a r i

• u

s s t a c k ma n i p u l a t i

• n

t y p e s .

• F
• r

b

• t

h r e g i s t e r a n d s t a c k M I R , s t a c k mo d e l l i n g c a n p r

• v

i d e a h e l p f u l a n a l y s i s p a s s t

• r

e q u e s t s t a c k c

• n

f i g u r a t i

• n

f

• r

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

• n

.

SLIDE 10

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

P

• s
• s

t

• R

A R A s s c h c h e d e d u l i u l i n g

• p

t i t i mi mi z a z a t i t i

• n
• n

s

• O

u t p u t s t a c k c

• n

f i g u r a t i

• n

s

• f

a l l p r e d e c e s s

• r

s mu s t b e e q u i v a l e n t .

• I

n i t i a l s t a c k c

• n

f i g u r a t i

• n
• f

t h e b a s i c b l

• c

k c a n s p e c i f y t h e r e q u i r e d n u mb e r

• f

ma n i p u l a t i

• n

s .

• T

h e

• p

t i mi z a t i

• n

g

• a

l i s t

• mi

n i mi z e t h e n u mb e r

• f

s t a c k ma n i p u l a t i

• n

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

• c

k a n d a t t h e e n d

• f

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

• r

s .

SLIDE 11

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

S u g u g g e s t i e s t i

• n
• n

s

• n
• n

s t s t a c k a c k a w a r a r e r e r e a s s e a s s

• c

i

• c

i a t i t i

• n
• n
• a

+ b + c + d w i t h [ a , c [ a , c , b , b , d , d ] ] s t a c k i s b e t t e r t

• c

a l c u l a t e a s a + c + b + d

• T

h i s t y p e

• f

r e a s s

• c

i a t i

• n

c a n n

• t

b e p e r f

• r

me d b e f

• r

e c

• mp

u t a t i

• n
• f

i n i t i a l s t a c k c

• n

f i g u r a t i

• n

s .

SLIDE 12

T h a n k y T h a n k y

• u

.

• u

.

T

• w

a r d s B B e t t e r C C

• d
• d

e G G e n e n e r a t

• r
• r

D D e s i g n a n a n d U U n i f i c a t i

• n

f

• n

f

• r
• r

S t a c k M M a c h i n e

t

• n

l t

• n

l a b s a b s . i

• .

i