[Ksummit-discuss] [TECH TOPIC] Concurrency with tools/memory-model/

[Andrea Parri]

Hi all,

Paul E. McKenney and myself would like to propose the following topic
for the technical track.

---

Concurrency is "tricky", it has been said, due to numerous optimizations
implemented in today's multiprocessors and by the compiler.

Traditionally, developers have relied on informal documentation such as
memory-barriers.txt to avoid the "pitfalls of concurrency".

However, this doesn't always happen right: this documentation is subject
of misinterpretations, incomplete, and yet all but concise!

This talk will go over a new approach to study concurrency issues in the
kernel using the Linux-kernel memory consistency model [1].

What can this model do? and, most importantly, how can it be used?  This
hands-on talk aims at addressing these questions.

[1] 1c27b644c0fdbc ("Automate memory-barriers.txt; provide Linux-kernel memory model")

---

Thanks,
  Andrea