The Linux Kernel Concurrency Model

Add to your list(s) Download to your calendar using vCal

• Andrea Parri
• Thursday 07 December 2017, 11:00-12:00
• FW26.

If you have a question about this talk, please contact Victor Gomes.

Concurrency in the Linux kernel can be a contentious topic. The Linux kernel mailing list features numerous discussions related to consistency models, including those of the more than 30 CPU architectures supported by the kernel. How are Linux programs supposed to behave? Do they behave correctly on “exotic” hardware?

A formal model can help address such questions. Better yet, an executable model allows programmers to experiment with the model to develop their intuition. This talk presents a model, tested against hardware and refined in consultation with kernel maintainers, written in the “cat” language and executable by the “herd” simulator.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW26
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.