Speakers
Paul McKenney
(Facebook)
Puranjay Mohan
(Amazon)
Description
This presentation will focus on the tooling for the BPF instruction-level memory model, an early prototype of which was demonstrated at LSF/MM/BPF. New features include control dependencies based on conditional branches along with additional atomic operations. This demo will include instruction on how to build the tooling and how to run it, along with some examples.
Attendees will be able to build the tool and run their own litmus tests, and inspect the wealth of litmus tests that have already been created.
Primary authors
Paul McKenney
(Facebook)
Puranjay Mohan
(Amazon)