https://exquisite.tube/videos/watch/ba75008b-62fe-441d-851a-4ac9346b98f3 You don't like concurrency and you liked it better when only one 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 your packets keep getting stuck, and the hair raises on the back of your head 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? This 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 -- along with limitations of those tools. Sun, 13 Sep 2026 16:01:07 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://exquisite.tube https://exquisite.tube/lazy-static/avatars/15cdbc2e-7773-4916-99e9-38207b20252d.png https://exquisite.tube/videos/watch/ba75008b-62fe-441d-851a-4ac9346b98f3 All rights reserved, unless otherwise specified in the terms specified at https://exquisite.tube/about and potential licenses granted by each content's rightholder.