Shared memory concurrency

Michael Snoyman
Strong typing enthusiast

Erlang has a very strong message passing style of concurrency. This allows it to have wonderful properties for distributed systems and fault tolerance. In this talk, I'd like to describe another common concurrency mechanism: shared memory. We'll use Haskell as the example language, and cover such topics as green threads, software transactional memory, and immutable data structures.

Talk objectives:

By the end of this talk, you should have a good understanding of the advantages and disadvantages of a shared memory concurrency system vs a message passing system.

Target audience:

Anyone working with concurrent systems, and in particular people working in the functional world.


Michael Snoyman is the founder and lead developer of the Yesod Web Framework, a Haskell web framework encouraging type safe web development. His main interests are creating developer-friendly, high performance libraries that minimize bugs. Michael is lead software engineer at FP Complete, where he is working on improving the Haskell ecosystem and creating even more commercially-viable Haskell development tools. 

Github: snoyberg

Twitter: @snoyberg


Back to conference page