st st r tr - - PowerPoint PPT Presentation

s t s t r t r r s t r
SMART_READER_LITE
LIVE PREVIEW

st st r tr - - PowerPoint PPT Presentation

st st r tr rst r r rst tr Ps


slide-1
SLIDE 1

✶ ✴ ✶✸

❙♥❛♣s❤♦t ■s♦❧❛t✐♦♥ ❢♦r ❙♦❢t✇❛r❡ ❚r❛♥s❛❝t✐♦♥❛❧ ▼❡♠♦r②

❚♦r✈❛❧❞ ❘✐❡❣❡❧✶ ❈❤r✐st♦❢ ❋❡t③❡r✶ P❛s❝❛❧ ❋❡❧❜❡r✷

✶❉r❡s❞❡♥ ❯♥✐✈❡rs✐t② ♦❢ ❚❡❝❤♥♦❧♦❣②✱ ●❡r♠❛♥②

④t♦r✈❛❧❞✳r✐❡❣❡❧✱❝❤r✐st♦❢✳❢❡t③❡r⑥❅✐♥❢✳t✉✲❞r❡s❞❡♥✳❞❡

✷❯♥✐✈❡rs✐t② ♦❢ ◆❡✉❝❤ât❡❧✱ ❙✇✐t③❡r❧❛♥❞

♣❛s❝❛❧✳❢❡❧❜❡r❅✉♥✐♥❡✳❝❤

❚❘❆◆❙❆❈❚ ✷✵✵✻

slide-2
SLIDE 2

▼♦t✐✈❛t✐♦♥ ✷ ✴ ✶✸

▼♦t✐✈❛t✐♦♥

✶✳ ❚r❛♥s❛❝t✐♦♥s ✇✐t❤ ❧❛r❣❡ r❡❛❞ s❡ts → ❊✣❝✐❡♥t s♥❛♣s❤♦ts t♦ r❡❞✉❝❡ t❤❡ r❡❛❞ ♦✈❡r❤❡❛❞ ✷✳ ❘❡❛❞✲♦♥❧② tr❛♥s❛❝t✐♦♥s → ▼✉❧t✐♣❧❡ ♦❜❥❡❝t ✈❡rs✐♦♥s ✸✳ ❲♦r❦❧♦❛❞s ✇✐t❤ ♠❛♥② r❡❛❞✴✇r✐t❡ ❝♦♥✢✐❝ts → ❆❞❞✐t✐♦♥❛❧ s✉♣♣♦rt ❢♦r ❙♥❛♣s❤♦t ■s♦❧❛t✐♦♥ ❘❡s✉❧t✿ ❙■✲❙❚▼

slide-3
SLIDE 3

▼♦t✐✈❛t✐♦♥ ✸ ✴ ✶✸

❘❡❛❞ ❖✈❡r❤❡❛❞

❱✐s✐❜❧❡ r❡❛❞s✿

◮ ▲✐st ♦❢ r❡❛❞❡rs → ✉♣❞❛t❡ ♠❡♠♦r② → ❡①♣❡♥s✐✈❡✱ ❝♦♥t❡♥t✐♦♥

■♥✈✐s✐❜❧❡ r❡❛❞s✿

◮ ❖♣t✐♠✐st✐❝ → ❝♦♥s✐st❡♥❝② ♦❢ ❛❝❝❡ss❡❞ ❞❛t❛ ❤❛s t♦ ❜❡ ❝❤❡❝❦❡❞

✭✈❛❧✐❞❛t❡ r❡❛❞ s❡t✿ ❝❤❡❝❦ ❡✈❡r② ❛❧r❡❛❞② r❡❛❞ ♦❜❥❡❝t ❢♦r ❝❤❛♥❣❡s✮

◮ ❖♥❧② ✈❛❧✐❞❛t❡ ♦♥ ❝♦♠♠✐t → ♦♣❡r❛t❡ ♦♥ ✐♥❝♦♥s✐st❡♥t ❞❛t❛ ◮ ❱❛❧✐❞❛t❡ ✇❤❡♥ r❡❛❞ s❡t ❣r♦✇s → ❤✐❣❤ ✈❛❧✐❞❛t✐♦♥ ❝♦sts

  • ♦❛❧✿ ❛✈♦✐❞ ✈❛❧✐❞❛t✐♦♥ ❛♥❞ ❣✉❛r❛♥t❡❡ ❝♦♥s✐st❡♥❝②
slide-4
SLIDE 4

▼♦t✐✈❛t✐♦♥ ✹ ✴ ✶✸

❘❡❛❞ ❖✈❡r❤❡❛❞ ✭✷✮

0.002 0.004 0.006 0.008 0.01 0.012 20 40 60 80 100 120 140 CPU time per read operation in ms Number of objects read by a transaction SI-STM Eager ASTM SXM SXM, disjoint accesses

♦❜❥❡❝t✲❜❛s❡❞ ❙❚▼s ✇✐t❤ ❏❛✈❛ ✐♠♣❧❡♠❡♥t❛t✐♦♥s✱ ✹✲✇❛② ❳❡♦♥ ❆❙❚▼✴❙❳▼✿ ♣r♦t♦t②♣❡s ❜❛s❡❞ ♦♥ ▼❛r❛t❤❡ ❡t ❛❧✳ ✴ ●✉❡rr❛♦✉✐ ❡t ❛❧✳✱ ❉■❙❈ ✷✵✵✺

slide-5
SLIDE 5

▼♦t✐✈❛t✐♦♥ ✺ ✴ ✶✸

❲❤② ✈❛❧✐❞❛t✐♦♥❄

❲♦r❦✐♥❣ ✇✐t❤ ✐♥❝♦♥s✐st❡♥t ❞❛t❛ ❝❛♥ ✐♥✢✉❡♥❝❡✿

◮ ❚❡r♠✐♥❛t✐♦♥ ◮ ❘❡s♦✉r❝❡ ❛❧❧♦❝❛t✐♦♥✴✉s❛❣❡

◮ ◆♦ ✐s♦❧❛t✐♦♥ ✭❡✳❣✳✱ ♠❛❧❧♦❝✮

◮ ❊①❝❡♣t✐♦♥s✱ ❢❛✉❧ts

◮ ❆r❡ ❢❛❧s❡ ❛❧❛r♠s ❛❝❝❡♣t❛❜❧❡❄ ◮ ❍♦✇ ❡①♣❡♥s✐✈❡ ✐s r❡❝♦✈❡r②❄

■♥❝♦♥s✐st❡♥t ❞❛t❛ ♠❛❦❡s r✉♥t✐♠❡ ❜❡❤❛✈✐♦✉r ❧❡ss ♣r❡❞✐❝t❛❜❧❡

slide-6
SLIDE 6

▼♦t✐✈❛t✐♦♥ ✻ ✴ ✶✸

❲❤❡♥ t♦ ✈❛❧✐❞❛t❡❄

P♦ss✐❜❧❡ ♦♣t✐♠✐③❛t✐♦♥s✿

◮ ❊①♣❧✐❝✐t ✭♣r♦❣r❛♠♠❡r✲❝♦♥tr♦❧❧❡❞✮ ✈❛❧✐❞❛t✐♦♥✿ t♦♦ ❞✐✣❝✉❧t ◮ ❇❛s❡❞ ♦♥ tr❛♥s❛❝t✐♦♥ s❡♠❛♥t✐❝s ✭❡♥s✉r❡ t❡r♠✐♥❛t✐♦♥✮❄ ◮ P❡r✐♦❞✐❝❛❧❧②❄

◮ ❲❤✐❝❤ ✈❛❧✐❞❛t✐♦♥ ♣❡r✐♦❞❄

→ ❉✐❞ t❤❡ tr❛♥s❛❝t✐♦♥ ✇♦r❦ ♦♥ ✐♥❝♦♥s✐st❡♥t ❞❛t❛ ❜❡❢♦r❡ ✇❡ tr✐❡❞ t♦ ✈❛❧✐❞❛t❡❄

◮ ❇❡❢♦r❡ r❡s♦✉r❝❡ ❛❧❧♦❝❛t✐♦♥s❄

◮ ❆❧❧♦❝❛t✐♦♥s s✐③❡✴❝♦✉♥t t❤r❡s❤♦❧❞s

◮ ❇❡❢♦r❡ ❡✈❡r②t❤✐♥❣ t❤❛t ❢❛✐❧s ✐❢ ❞❛t❛ ✐s ✐♥❝♦♥s✐st❡♥t❄

◮ P❧❡♥t② ♦❢ ❝❤❡❝❦s r❡q✉✐r❡❞ → ❧♦ts ♦❢ ✈❛❧✐❞❛t✐♦♥s

Pr♦❜❧❡♠s✿ ❈♦♠♣❧❡① r✉♥t✐♠❡ s✉♣♣♦rt✱ ❧✐❜r❛r✐❡s ❙■✲❙❚▼✿ s♥❛♣s❤♦t ✐s ❛❧✇❛②s ❝♦♥s✐st❡♥t → r❡❝♦♠♣✉t❡ ♦♥❧② ✐❢ t❤❡ s♥❛♣s❤♦t ♠✉st ❜❡ ✈❛❧✐❞ ❢♦r ❛ ❧♦♥❣❡r t✐♠❡

slide-7
SLIDE 7

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

C1 Commit time A B1 B C2 A1 S S C

slide-8
SLIDE 8

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

C1 Commit time A B1 B C2 A1 S R S C

slide-9
SLIDE 9

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

C1 Commit time A B1 B C2 A1 S R R S C

slide-10
SLIDE 10

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

C1 Commit time A B1 B C2 A1 S R R R S C

slide-11
SLIDE 11

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

Commit time A B1 B C2 A1 S R R R S C

slide-12
SLIDE 12

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

Commit time A B1 B C2 A1 S R R R S C

slide-13
SLIDE 13

❙■✲❙❚▼ ✼ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❙♥❛♣s❤♦ts

❚✐♠❡ ❜❛s❡✿ ❣❧♦❜❛❧ ❝♦♠♠✐t t✐♠❡ ❈❚ ❙❚▼ ♦❜❥❡❝ts ❤❛✈❡ ♠✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❊❛❝❤ ✈❡rs✐♦♥ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘ ✭✇✳r✳t✳ ❈❚✮ ◮ ■❢ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥✱ ✉♣♣❡r ❜♦✉♥❞ ✉♥❞❡✜♥❡❞

❙♥❛♣s❤♦t ♦❢ ❛ tr❛♥s❛❝t✐♦♥ ❚ ❤❛s ❛ ✈❛❧✐❞✐t② r❛♥❣❡ ❘❚

◮ ❊q✉❛❧ t♦ t❤❡ ✐♥t❡rs❡❝t✐♦♥ ♦❢ t❤❡ ❛❝❝❡ss❡❞ ✈❡rs✐♦♥s✬ ✈❛❧✐❞✐t② r❛♥❣❡s ◮ ■♥✐t✐❛❧✐③❡❞ t♦ [st❛rt❚, ] ◮ ❱❛❧✐❞✐t② ♦❢ ❛ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ❡♥❞s ❛t t✐♠❡ ♦❢ t❤❡ r❡❛❞

❚r❛♥s❛❝t✐♦♥s ❝❛♥ tr② t♦ ❡①t❡♥❞ ❘❚ ✐❢ ♥❡❝❡ss❛r②✿

◮ ❱❛❧✐❞✐t② r❛♥❣❡s ❛r❡ r❡❝♦♠♣✉t❡❞ → ♣♦ss✐❜❧② ❧❛r❣❡r ✉♣♣❡r ❜♦✉♥❞ ❢♦r ❘❚

Commit time A B1 B C2 A1 S R R R S C

slide-14
SLIDE 14

❙■✲❙❚▼ ✽ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❚r❛♥s❛❝t✐♦♥s

❯♣❞❛t❡ tr❛♥s❛❝t✐♦♥s ❚✿

◮ ❯♣❞❛t✐♥❣ ❛♥ ♦❜❥❡❝t ❝r❡❛t❡s ❛ ♥❡✇✱ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ◮ ❖♥ ❝♦♠♠✐t✱ ✉♥✐q✉❡ ❝♦♠♠✐t t✐♠❡st❛♠♣ ❈❚❚ ✐s ❛❝q✉✐r❡❞ ◮ ❚r❛♥s❛❝t✐♦♥ ❝❛♥ ❝♦♠♠✐t ✐✛ ❘❚ ❝❛♥ ❜❡ ❡①t❡♥❞❡❞ t♦ ❈❚❚ − ✶ ◮ ❱❛❧✐❞✐t② ♦❢ ♥❡✇❧② ❝r❡❛t❡❞ ♦❜❥❡❝t ✈❡rs✐♦♥s st❛rts ❛t ❈❚❚

C1 Commit time A B1 B C2 A1 S R W (another transaction) W R S C

❉❙❚▼✲st②❧❡ ❧♦❝❛t♦rs✿

◮ ❱✐s✐❜❧❡ ✇r✐t❡s✱ ♦♥❧② ♦♥❡ ❛❝t✐✈❡ ✉♣❞❛t❡ tr❛♥s❛❝t✐♦♥ ♣❡r ♦❜❥❡❝t ◮ ✶✲✷ ❝♦♥s✐st❡♥t ✈❡rs✐♦♥s ♣❧✉s ♦♣t✐♦♥❛❧ ❛rr❛② ✇✐t❤ ♦❧❞❡r ✈❡rs✐♦♥s

slide-15
SLIDE 15

❙■✲❙❚▼ ✽ ✴ ✶✸

❚✐♠❡st❛♠♣✲❜❛s❡❞ ❚r❛♥s❛❝t✐♦♥s

❯♣❞❛t❡ tr❛♥s❛❝t✐♦♥s ❚✿

◮ ❯♣❞❛t✐♥❣ ❛♥ ♦❜❥❡❝t ❝r❡❛t❡s ❛ ♥❡✇✱ ♠♦st r❡❝❡♥t ✈❡rs✐♦♥ ◮ ❖♥ ❝♦♠♠✐t✱ ✉♥✐q✉❡ ❝♦♠♠✐t t✐♠❡st❛♠♣ ❈❚❚ ✐s ❛❝q✉✐r❡❞ ◮ ❚r❛♥s❛❝t✐♦♥ ❝❛♥ ❝♦♠♠✐t ✐✛ ❘❚ ❝❛♥ ❜❡ ❡①t❡♥❞❡❞ t♦ ❈❚❚ − ✶ ◮ ❱❛❧✐❞✐t② ♦❢ ♥❡✇❧② ❝r❡❛t❡❞ ♦❜❥❡❝t ✈❡rs✐♦♥s st❛rts ❛t ❈❚❚

C1 Commit time A A2 B1 B C2 A1 C,A S R W C W R S C

❉❙❚▼✲st②❧❡ ❧♦❝❛t♦rs✿

◮ ❱✐s✐❜❧❡ ✇r✐t❡s✱ ♦♥❧② ♦♥❡ ❛❝t✐✈❡ ✉♣❞❛t❡ tr❛♥s❛❝t✐♦♥ ♣❡r ♦❜❥❡❝t ◮ ✶✲✷ ❝♦♥s✐st❡♥t ✈❡rs✐♦♥s ♣❧✉s ♦♣t✐♦♥❛❧ ❛rr❛② ✇✐t❤ ♦❧❞❡r ✈❡rs✐♦♥s

slide-16
SLIDE 16

❙■✲❙❚▼ ✾ ✴ ✶✸

◆✉♠❜❡r ♦❢ ❡①t❡♥s✐♦♥s r❡q✉✐r❡❞

◮ ❘❡❛❞✲♦♥❧② tr❛♥s❛❝t✐♦♥s✿ ♥♦♥❡ ✭✐❢ ❡♥♦✉❣❤ ✈❡rs✐♦♥s ❛r❡ ❦❡♣t✮ ◮ ❯♣❞❛t❡ tr❛♥s❛❝t✐♦♥s✿ ≤ ✶ ❢♦r ❝♦♠♠✐t ◮ ■♥ ❣❡♥❡r❛❧✱ ❛t ♠♦st ♦♥❡ ❡①t❡♥s✐♦♥ ♣❡r r❡❛❞ ♦❜❥❡❝t

✭❝❛✉s❡❞ ❜② ❝♦♥❝✉rr❡♥t ✉♣❞❛t❡s✮

◮ ❉✐s❥♦✐♥t ✉♣❞❛t❡s ❞♦ ♥♦t ✐♥❝r❡❛s❡ t❤❡ ♥✉♠❜❡r ♦❢ ❡①t❡♥s✐♦♥s ◮ ■♥ ♣r❛❝t✐❝❡✱ ♦♥❧② ❛ ❢❡✇ ❡①t❡♥s✐♦♥s ❛r❡ r❡q✉✐r❡❞

slide-17
SLIDE 17

❙♥❛♣s❤♦t ■s♦❧❛t✐♦♥ ✶✵ ✴ ✶✸

❙♥❛♣s❤♦t ■s♦❧❛t✐♦♥ ✭❙■✮

◮ ■s♦❧❛t✐♦♥ ❧❡✈❡❧ ✇❡❛❦❡r t❤❛♥ s❡r✐❛❧✐③❛❜✐❧✐t② ◮ ❆❧❧ r❡❛❞s ♠✉st ❢♦r♠ ❛ ❝♦♥s✐st❡♥t s♥❛♣s❤♦t ✭r❡❛❞ st❡♣✮ ◮ ❯♣❞❛t❡s ✭✇r✐t❡ st❡♣✮ ♠✉st st❛rt ❞✉r✐♥❣ t❤❡ r❡❛❞ st❡♣ ◮ ❖♥❧② t❤❡ ✇r✐t❡ st❡♣✬s ✈❛❧✐❞✐t② ♠✉st ❡①t❡♥❞ t♦ t❤❡ ❝♦♠♠✐t t✐♠❡

C1 Commit time A A2 B1 B C2 A1 C! S R W C W R S C Read step Write step

❲❡ ✉s❡ ❙❡♠❛♥t✐❝ ❈♦rr❡❝t♥❡ss❬✶❪ t♦ ♠❛❦❡ tr❛♥s❛❝t✐♦♥s ✧❙■✲s❛❢❡✧✿

◮ ❇❛s✐❝ ♣r♦❣r❛♠♠❡r t❛s❦✿ ❝❤❡❝❦ ✇❤❡t❤❡r ♦t❤❡r tr❛♥s❛❝t✐♦♥s✬ ✇r✐t❡ st❡♣s

✐♥t❡r❢❡r❡ ✇✐t❤ t❤❡ r❡❛❞ st❡♣✬s ♣♦st❝♦♥❞✐t✐♦♥

◮ ■❢ ✐♥t❡r❢❡r❡♥❝❡✱ ❛❞❞ ❞✉♠♠② ✇r✐t❡s

✭s♦rt❡❞ ❧✐♥❦❡❞ ❧✐st✱ ❛❞❞✭✮ ❛♥❞ r❡♠♦✈❡✭✮✿ ✶ ❞✉♠♠② ✇r✐t❡✮

❬✶❪ ❙✳ ▲✉✱ ❆✳ ❇❡r♥st❡✐♥✱ ❛♥❞ P✳ ▲❡✇✐s✳ ❈♦rr❡❝t ❡①❡❝✉t✐♦♥ ♦❢ tr❛♥s❛❝t✐♦♥s ❛t ❞✐✛❡r❡♥t ✐s♦❧❛t✐♦♥ ❧❡✈❡❧s✳

slide-18
SLIDE 18

P❡r❢♦r♠❛♥❝❡ ✶✶ ✴ ✶✸

P❡r❢♦r♠❛♥❝❡✿ ❙♦rt❡❞ ■♥t❡❣❡r ❙❡ts

❖✈❡r❛❧❧✲❚❤r♦✉❣❤♣✉t✭❚❤r❡❛❞s✮ ❚r❛♥s❛❝t✐♦♥s✿ ❝♦♥t❛✐♥s ✭r❡❛❞✲♦♥❧②✮✱ ✐♥s❡rt✴r❡♠♦✈❡ ✭✉♣❞❛t❡✮ ✷✺✵ ❡❧❡♠❡♥ts✱ ✹✲✇❛② ❳❡♦♥✱ ♥♦ ❡❛r❧②✲r❡❧❡❛s❡

10 20 30 40 50 60 70 32 16 8 4 2 1 1000 Tx/s Threads Linked List, 0% updates SXM Eager ASTM SI-STM SI-STM SI-safe 50 100 150 200 250 300 350 32 16 8 4 2 1 Threads Skip List, 0% updates

slide-19
SLIDE 19

P❡r❢♦r♠❛♥❝❡ ✶✶ ✴ ✶✸

P❡r❢♦r♠❛♥❝❡✿ ❙♦rt❡❞ ■♥t❡❣❡r ❙❡ts

❖✈❡r❛❧❧✲❚❤r♦✉❣❤♣✉t✭❚❤r❡❛❞s✮ ❚r❛♥s❛❝t✐♦♥s✿ ❝♦♥t❛✐♥s ✭r❡❛❞✲♦♥❧②✮✱ ✐♥s❡rt✴r❡♠♦✈❡ ✭✉♣❞❛t❡✮ ✷✺✵ ❡❧❡♠❡♥ts✱ ✹✲✇❛② ❳❡♦♥✱ ♥♦ ❡❛r❧②✲r❡❧❡❛s❡

5 10 15 20 25 30 32 16 8 4 2 1 1000 Tx/s Threads Linked List, 20% updates 20 40 60 80 100 120 140 160 180 32 16 8 4 2 1 Threads Skip List, 20% updates SXM Eager ASTM SI-STM SI-STM SI-safe

slide-20
SLIDE 20

P❡r❢♦r♠❛♥❝❡ ✶✶ ✴ ✶✸

P❡r❢♦r♠❛♥❝❡✿ ❙♦rt❡❞ ■♥t❡❣❡r ❙❡ts

❖✈❡r❛❧❧✲❚❤r♦✉❣❤♣✉t✭❚❤r❡❛❞s✮ ❚r❛♥s❛❝t✐♦♥s✿ ❝♦♥t❛✐♥s ✭r❡❛❞✲♦♥❧②✮✱ ✐♥s❡rt✴r❡♠♦✈❡ ✭✉♣❞❛t❡✮ ✷✺✵ ❡❧❡♠❡♥ts✱ ✹✲✇❛② ❳❡♦♥✱ ♥♦ ❡❛r❧②✲r❡❧❡❛s❡

2 4 6 8 10 12 14 16 32 16 8 4 2 1 1000 Tx/s Threads Linked List, 100% updates 10 20 30 40 50 60 70 80 32 16 8 4 2 1 Threads Skip List, 100% updates SXM Eager ASTM SI-STM SI-STM SI-safe

slide-21
SLIDE 21

P❡r❢♦r♠❛♥❝❡ ✶✷ ✴ ✶✸

  • ❧♦❜❛❧ ❈♦♠♠✐t ❚✐♠❡ ❖✈❡r❤❡❛❞✿ ❖✉t❧♦♦❦

❈✉rr❡♥t ❈❚ ✐♠♣❧❡♠❡♥t❛t✐♦♥✿ s❤❛r❡❞ ✐♥t❡❣❡r → ❝❛♥ ❜❡ ❛ ♣r♦❜❧❡♠ ✐❢ ✉♣❞❛t❡ tr❛♥s❛❝t✐♦♥s ❛r❡ ❢r❡q✉❡♥t ♦r ♦♥ ♠❛❝❤✐♥❡s ✇✐t❤ ♠❛♥② ❈P❯s ❯s✐♥❣ ❢❛st ❝❧♦❝❦s ❢♦r ❈❚ ✐s ♣♦ss✐❜❧❡

◮ ❉♦❡s ♥♦t ✐♥❝r❡❛s❡ t❤❡ ♥✉♠❜❡r ♦❢ ❘❚ ❡①t❡♥s✐♦♥s

▼✉❧t✐♣❧❡ ❝♦♠♠✐t t✐♠❡s ✭❡✳❣✳✱ ♣❡r ❞❛t❛ str✉❝t✉r❡✮

◮ ❉❡❝r❡❛s❡s ❈❚ ❝♦♥t❡♥t✐♦♥✱ ♣❛rt✐t✐♦♥s ❞❛t❛ ❛♥❞ ✉♣❞❛t❡s ◮ ❈❚ ❝❛♥ ❜❡ ✉s❡❞ ❢♦r q✉✐❝❦ ✈❛❧✐❞❛t✐♦♥ ❢♦r ♣❛rt✐t✐♦♥s

❆✈♦✐❞ r❡❛❞✐♥❣ ❈❚

◮ ❘❡❛❞s ❝❛♥ ❜❡ ♣❡r❢♦r♠❡❞ ✧✐♥ t❤❡ ♣❛st✧ ✭❡✳❣✳✱ t✐♠❡ ♦❢ ❧❛st r❡❛❞✮ ◮ ❋♦r ❧♦✇ ❝♦♥✢✐❝t ✇♦r❦❧♦❛❞s ✇✐t❤ ❧♦ts ♦❢ ❞✐s❥♦✐♥t ✉♣❞❛t❡s

slide-22
SLIDE 22

❙✉♠♠❛r② ✶✸ ✴ ✶✸

❙✉♠♠❛r②

❚✐♠❡st❛♠♣✲❜❛s❡❞ s♥❛♣s❤♦ts

◮ ❙♣❡❡❞ ✉♣ tr❛♥s❛❝t✐♦♥s t❤❛t r❡❛❞ s❡✈❡r❛❧ ♦❜❥❡❝ts ◮ ●❧♦❜❛❧ t✐♠❡ ❜❛s❡ r❡s✉❧ts ✐♥ s♦♠❡ ♦✈❡r❤❡❛❞ → ❋✉t✉r❡ ✇♦r❦

▼✉❧t✐♣❧❡ ✈❡rs✐♦♥s

◮ ❙♣❡❡❞ ✉♣ r❡❛❞✲♦♥❧② ✭❛♥❞ ❙■✮ tr❛♥s❛❝t✐♦♥s ◮ ❯s❡❢✉❧♥❡ss ♦❢ ❡①tr❛ ✈❡rs✐♦♥s ❞❡♣❡♥❞s ♦♥ ❧❡♥❣t❤ ♦❢ tr❛♥s❛❝t✐♦♥✱ ✉♣❞❛t❡

❢r❡q✉❡♥❝✐❡s✱ ❛♥❞ ✇❤❡♥ ❤♦ts♣♦ts ❛r❡ ❛❝❝❡ss❡❞ ❙♥❛♣s❤♦t ✐s♦❧❛t✐♦♥

◮ ❋♦r ❝❛r❡❢✉❧ ♥♦♥✲❡①♣❡rt ♣r♦❣r❛♠♠❡rs ◮ ❍♦✇❡✈❡r✱ ♦♥❧② s♦♠❡ tr❛♥s❛❝t✐♦♥s✴✇♦r❦❧♦❛❞s ◮ Pr♦❣r❛♠♠❡r ❝❛♥ ❝❤♦♦s❡ ❜❡t✇❡❡♥ ❧✐♥❡❛r✐③❛❜✐❧✐t② ❛♥❞ ❙♥❛♣s❤♦t ■s♦❧❛t✐♦♥