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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

The Linux Kernel Concurrency Model

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

LCHES Seminars on Human Evolution Developmental Biolo HB101, Sir William Hardy Building Seminar Room.

Other talks

CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models Title to be confirmed: CMS title and abstract tba (joint seminar with Spectral Geometry in the Clouds) Talk TBC Seminars in Cancer  Life, death, and the discovery of PDAR: the Pol II Degradation-dependent Apoptotic Response 
 

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