University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > The Linux Kernel Concurrency Model

The Linux Kernel Concurrency Model

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

  • UserAndrea Parri
  • ClockThursday 07 December 2017, 11:00-12:00
  • HouseFW26.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity