Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Tuesday, March 28 • 09:00 - 10:00
Weak Memory Concurrency in C/C++11 and LLVM

Sign up or log in to save this to your schedule and see who's attending!

Which compiler optimizations are correct in a concurrent setting? How should C/C++11 atomics be compiled on architecture X? The answers to these questions are not unique, but depend very much on the concurrency model of the programming language and/or compiler. While such a model can act the golden standard and used to answer these questions, it is very challenging to define an appropriate concurrency model for almost any programming language. In this talk, I will focus on the C/C++11 concurrency model and the closely related LLVM model. I will discuss some of the serious flaws that we found in these models, ways of correcting them, and some remaining open problems.

Speakers
VV

Viktor Vafeiadis

Max Planck Institute for Software Systems (MPI-SWS)


Tuesday March 28, 2017 09:00 - 10:00
E2 2 (Günter Hotz Hall)

Attendees (40)