Transactional Memory - Semantics And Performance

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=cJIIagHP39E


Duration: 1:05:08
103 views
2

Writing concurrent programs is notoriously difficult, and is of increasing practical importance. In this series of lectures I will introduce ΓÇ£Transactional MemoryΓÇ¥ (TM) as a technique for building shared memory data structures. As I will illustrate, it can be much easier to build shared memory data structures using TM than it is to use conventional abstractions such as locks, or the atomic compare-and-swap instruction. In this lecture I will look at the semantics of programming language constructs built over TM ΓÇô e.g., how programs using TM interact with the existing concurrency-control features of a language, and some initial ideas for what it means for a program to use TM correctly.



Other Videos By Microsoft Research


2016-08-11Concurrent Objects - The Art of Multiprocessor Programming - Part 1
2016-08-11Fundamentals of Distributed Algorithms - Part 1
2016-08-11ACID Objects And Modularity In The Cloud - Part 2 (B)
2016-08-11ACID Objects And Modularity In The Cloud - Part 2 (A)
2016-08-11Practical Consensus
2016-08-11Lattice-Based Cryptography
2016-08-11Reasoning with MAD Distributed Systems - Part 1 A
2016-08-11Reasoning with MAD Distributed Systems - Part 1 B
2016-08-11Concurrency and Consistency in Distributed Data Storage Systems - Part 1
2016-08-11Building Decentralized Systems Using DHTs : Part 3- Accountability
2016-08-11Transactional Memory - Semantics And Performance
2016-08-11Practical Byzantine Fault Tolerance
2016-08-11Naiad: Incremental And Iterative Data-Parallel Computation
2016-08-11Building Decentralized Systems Using DHTs - Part 2
2016-08-11Building decentralized systems using DHTs - Part 1
2016-08-11Transactional Memory - STM In The Small
2016-08-11Special Topic: AC ΓÇô Composable Asynchronous IO For Native Languages
2016-08-11Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
2016-08-11Transactional Memory: Composability & Basic Algorithms
2016-08-11Elastic Replication for the Cloud
2016-08-11Barrelfish: A Study In Distributed Operating Systems On Multicore Architectures Part - 2


Tags:
microsoft research