Dear C++ Community,
Out February's meet up will be held at Native Instruments. Susanne van den Elsen will talk about verification of concurrent programs.
18:45 Doors open 19:30 Talk starts 22:00 Doors close
We will have some snacks and drinks for you.
There is a big gate to the backyard that will be closed at 20:00h, so please be on time. The meetup will be in the last yard before the river (as shown in the picture below). Should you need to leave before 22:00, someone will be there to let you out.
In this talk, I will discuss a number of tools that detect concurrency errors or give guarantees about their absence. Concurrency is notoriously hard to get right. First of all, it introduces a new class of errors. For example, multiple threads operating on shared data may be involved in a data race and synchronisation mechanisms, when not applied correctly, can introduce deadlock or thread starvation. What’s more, a concurrent program can have many possible executions, each of which may demonstrate different behaviour. This makes such programs hard to reason about. I will give a short introduction to ThreadSanizer and Helgrind and some techniques used in these tools. Then I will discuss systematic testing approaches.