Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

PDP Torino 2014

No description
by

Maurice Herlihy

on 6 March 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of PDP Torino 2014

Original Proposal
AMD ASF
1993
Thank You!
Transactional
Memory

Amdahl's
Revenge

2014
Transactional
Boosting

Research
Questions

not scalable
hard to get right
code in block
executed atomically
what's the catch?
relies on conventions
locking does not compose
How Transactions Synchronize
read and writes conflict
writes and writes conflict
for example,
java.util.concur
Intel Building Blocks
C# concurrency libraries
Hardware Transactional Memory
wrapper code
treats object as black box
preserves concurrency properties
of base objects
Where are we?
What's the catch?
It's false because the operations commute
Thank You!
ETH Zurich 2014
Transaction
issues call
Record inverse for roll-back
Abstract Lock blocks
non-commutative ops
thread-safe, linearizable object
Got Deadlock?
Aggressive Speculation?

"transactional memory"
Full transcript