✶ ✴ ✶✸
❙♥❛♣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❧❛♥❞
st st r tr - - PowerPoint PPT Presentation
st st r tr rst r r rst tr Ps
✶ ✴ ✶✸
✶❉r❡s❞❡♥ ❯♥✐✈❡rs✐t② ♦❢ ❚❡❝❤♥♦❧♦❣②✱ ●❡r♠❛♥②
✷❯♥✐✈❡rs✐t② ♦❢ ◆❡✉❝❤ât❡❧✱ ❙✇✐t③❡r❧❛♥❞
▼♦t✐✈❛t✐♦♥ ✷ ✴ ✶✸
▼♦t✐✈❛t✐♦♥ ✸ ✴ ✶✸
▼♦t✐✈❛t✐♦♥ ✹ ✴ ✶✸
♦❜❥❡❝t✲❜❛s❡❞ ❙❚▼s ✇✐t❤ ❏❛✈❛ ✐♠♣❧❡♠❡♥t❛t✐♦♥s✱ ✹✲✇❛② ❳❡♦♥ ❆❙❚▼✴❙❳▼✿ ♣r♦t♦t②♣❡s ❜❛s❡❞ ♦♥ ▼❛r❛t❤❡ ❡t ❛❧✳ ✴ ●✉❡rr❛♦✉✐ ❡t ❛❧✳✱ ❉■❙❈ ✷✵✵✺
▼♦t✐✈❛t✐♦♥ ✺ ✴ ✶✸
◮ ◆♦ ✐s♦❧❛t✐♦♥ ✭❡✳❣✳✱ ♠❛❧❧♦❝✮
◮ ❆r❡ ❢❛❧s❡ ❛❧❛r♠s ❛❝❝❡♣t❛❜❧❡❄ ◮ ❍♦✇ ❡①♣❡♥s✐✈❡ ✐s r❡❝♦✈❡r②❄
▼♦t✐✈❛t✐♦♥ ✻ ✴ ✶✸
◮ ❲❤✐❝❤ ✈❛❧✐❞❛t✐♦♥ ♣❡r✐♦❞❄
◮ ❆❧❧♦❝❛t✐♦♥s s✐③❡✴❝♦✉♥t t❤r❡s❤♦❧❞s
◮ P❧❡♥t② ♦❢ ❝❤❡❝❦s r❡q✉✐r❡❞ → ❧♦ts ♦❢ ✈❛❧✐❞❛t✐♦♥s
❙■✲❙❚▼ ✼ ✴ ✶✸
C1 Commit time A B1 B C2 A1 S S C
❙■✲❙❚▼ ✼ ✴ ✶✸
C1 Commit time A B1 B C2 A1 S R S C
❙■✲❙❚▼ ✼ ✴ ✶✸
C1 Commit time A B1 B C2 A1 S R R S C
❙■✲❙❚▼ ✼ ✴ ✶✸
C1 Commit time A B1 B C2 A1 S R R R S C
❙■✲❙❚▼ ✼ ✴ ✶✸
Commit time A B1 B C2 A1 S R R R S C
❙■✲❙❚▼ ✼ ✴ ✶✸
Commit time A B1 B C2 A1 S R R R S C
❙■✲❙❚▼ ✼ ✴ ✶✸
Commit time A B1 B C2 A1 S R R R S C
❙■✲❙❚▼ ✽ ✴ ✶✸
C1 Commit time A B1 B C2 A1 S R W (another transaction) W R S C
❙■✲❙❚▼ ✽ ✴ ✶✸
C1 Commit time A A2 B1 B C2 A1 C,A S R W C W R S C
❙■✲❙❚▼ ✾ ✴ ✶✸
❙♥❛♣s❤♦t ■s♦❧❛t✐♦♥ ✶✵ ✴ ✶✸
C1 Commit time A A2 B1 B C2 A1 C! S R W C W R S C Read step Write step
❬✶❪ ❙✳ ▲✉✱ ❆✳ ❇❡r♥st❡✐♥✱ ❛♥❞ P✳ ▲❡✇✐s✳ ❈♦rr❡❝t ❡①❡❝✉t✐♦♥ ♦❢ tr❛♥s❛❝t✐♦♥s ❛t ❞✐✛❡r❡♥t ✐s♦❧❛t✐♦♥ ❧❡✈❡❧s✳
P❡r❢♦r♠❛♥❝❡ ✶✶ ✴ ✶✸
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
P❡r❢♦r♠❛♥❝❡ ✶✶ ✴ ✶✸
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
P❡r❢♦r♠❛♥❝❡ ✶✶ ✴ ✶✸
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
P❡r❢♦r♠❛♥❝❡ ✶✷ ✴ ✶✸
❙✉♠♠❛r② ✶✸ ✴ ✶✸