BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Linux Kernel Concurrency Model - Andrea Parri
DTSTART:20171207T110000Z
DTEND:20171207T120000Z
UID:TALK96736@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Concurrency in the Linux kernel can be a contentious topic.\nT
 he Linux kernel mailing list features numerous discussions\nrelated to con
 sistency models\, including those of the more\nthan 30 CPU architectures s
 upported by the kernel. How are\nLinux programs supposed to behave? Do the
 y behave correctly\non "exotic" hardware?\n\nA formal model can help addre
 ss such questions. Better yet\,\nan executable model allows programmers to
  experiment with\nthe model to develop their intuition. This talk presents
  a\nmodel\, tested against hardware and refined in consultation\nwith kern
 el maintainers\, written in the "cat" language and\nexecutable by the "her
 d" simulator.
LOCATION:FW26
END:VEVENT
END:VCALENDAR