Applying Unix Readiness Model for Concurrent Operations in C++

on YouTube ↗01h 06m

" summary

Claims that the Unix readiness model (select/poll/epoll/kqueue) generalizes to arbitrary concurrent C++ operations and can be implemented in userspace. Uses non-blocking sockets, Unix domain sockets and signalfd, an epoll-based readiness set, intrusive link lists and a C++ Select class to compose futures/awaitables as readiness producers. Builds a happy‑eyeballs style connector and an in‑memory pipe/channel with cancellation via an output FD; demos connect to microsoft.com and the approach works, eliminating busy‑waiting and enabling clean cancellation.

AI-written summary · about

" chapters (13)

1. 0:00Introduction
2. 3:14Unix readiness model
3. 15:59Web browser connections example
4. 23:04Demo: select connection
5. 27:40Cancellation in connections
6. 30:52Pure C++ implementation
7. 34:45Pipes in C++ model
8. 39:48Non-blocking pipe in C++
9. 43:41Select object design
10. 57:10Eliminating busy waiting
11. 59:39Buffers and real-world use
12. 1:00:00Senders and receivers
13. 1:04:56Key takeaways

" related talks

• 01h 01mWhat I learned from socketsFilipp Gelman · Meeting C++ 2023
• 01h 08mThinking Outside the Synchronisation QuadrantKevlin Henney · NDC London 2017
• 01h 08mBetter Code: ConcurrencySean Parent · NDC London 2017
• 57mStructured Networking in C++Dietmar Kühl · CppCon 2022
• 54mDesigning for Concurrency Using Message Passing in C++Anthony Williams · C++ on Sea 2023
• 47mConcurrent Programming in C++Venkat Subramaniam · NDC TechTown 2017
• 01h 07mThe C++20 Synchronization LibraryBryce Adelstein Lelbach · CppCon 2019
• 50mC++ Parallel Programming ModelsEran Gilad · NDC TechTown 2020