What is weak memory consistency?

Weak memory consistency is the formal study of the exact behaviours concurrent programs can exhibit. (Naively, one might think that all the behaviours of a multithreaded program can be generated by some arbitrary interleaving of its threads. This assumption, however, is incorrect. Due to compiler and/or hardware optimizations, concurrent programs can exhibit a number of additional "weak" behaviours.)

What will the seminar cover?

It will cover the key topics in the field:


Imprint | Data protection