BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//events.eurobsdcon.org//2026//talk//FQJSPU
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-2026-FQJSPU@events.eurobsdcon.org
DTSTART;TZID=CET:20260912T140000
DTEND;TZID=CET:20260912T144500
DESCRIPTION:You don't like concurrency and you liked it better when only on
 e kernel could be running at a time on one CPU.  You got comfortable using
  mutexes and condition variables to make things go one at a time.  But you
 r packets keep getting stuck\, and the hair raises on the back of your hea
 d as you begin to suspect you'll have to think about memory ordering in a 
 device driver that got ported sloppily from Linux.  What now?\n\nThis talk
  will discuss the bus_dma(9) model of memory ordering\, obscure issues in 
 paravirtualization\, incoherent mappings on different architectures\, and 
 tools that a hacker can use to formally verify their memory ordering -- al
 ong with limitations of those tools.
DTSTAMP:20260715T125926Z
LOCATION:D.0.07
SUMMARY:I/O and theorems and barriers\, oh my - Taylor R Campbell
URL:https://events.eurobsdcon.org/2026/talk/FQJSPU/
END:VEVENT
END:VCALENDAR