Memory and Beyond USC December 2016 Maurice Herlihy public void - - PowerPoint PPT Presentation

▶
memory and beyond
SMART_READER_LITE
LIVE PREVIEW

Memory and Beyond USC December 2016 Maurice Herlihy public void - - PowerPoint PPT Presentation

Jul 19, 2023 252 likes •523 views

Hardware Transactional Memory and Beyond USC December 2016 Maurice Herlihy public void LeftEnq(item x) atomic { Qnode q = new Qnode(x); q.left = left; left.right = q; left = q; } } code in block executed atomically Apps, Apps,

slide-1
SLIDE 1

Hardware Transactional Memory and Beyond

USC December 2016

Maurice Herlihy

slide-2
SLIDE 2

public void LeftEnq(item x) atomic { Qnode q = new Qnode(x); q.left = left; left.right = q; left = q; } } code in block executed “atomically”

slide-3
SLIDE 3

Apps, Apps, Apps

slide-4
SLIDE 4

High-Level Languages

4

(actual Haskell code)

slide-5
SLIDE 5

A tale of injustice and long-deferred revenge? Not Exactly.

slide-6
SLIDE 6

Just a Passing Fad?

slide-7
SLIDE 7

Privatization & Publication?

slide-8
SLIDE 8

Basic Language Support

slide-9
SLIDE 9

Isolation Levels

slide-10
SLIDE 10

Does STM have a Future?

slide-11
SLIDE 11

Hybrid TM?

slide-12
SLIDE 12

Escape Actions?

slide-13
SLIDE 13

Progress?

slide-14
SLIDE 14

Too Big

slide-15
SLIDE 15

Too Slow

slide-16
SLIDE 16

Just Not in the Mood

slide-17
SLIDE 17

Distributed TM?

slide-18
SLIDE 18

New Architectures?

slide-19
SLIDE 19

Accelerators?

slide-20
SLIDE 20

Locks! Transactions!

slide-21
SLIDE 21

Locks! Transactions!

slide-22
SLIDE 22

The Takeaway?

slide-23
SLIDE 23

293,000 Google 109,000 Bing 106,000 Yahoo!

slide-24
SLIDE 24

Correctness Properties

slide-25
SLIDE 25

Impossibility Results