And here's the project page (at Yale): https://flint.cs.yale.edu/certikos/
My favourite example is inotify with epoll. When I wrote my first server, I used select(), because that’s what we had. It worked, well enough, but so much of the coding around it was trying to quickly, very quickly, detect edge cases and odd errors, then dispatch the right handler. Quickly very quickly because other events could be coming in and could be lost.
This past February I wrote an application to manage incoming files in a secure gateway, having to be mindful of disk space and of pushing them across the one way optical link as quickly and efficiently as possible. (With a few other requirements, such as transfer priorities, etc.)
My initial implementation using inotify and epoll contained placeholder code for dealing with those times my app would miss notifications. Given my decades old experience with select, etc., this was a reasonable direction.
I never added that code. inotify with epoll worked so well and so reliably, it was never needed. I was stunned at how well it worked.
Linux continues to add features and to support POSIX. The trick for system and application developers now is to know whether you need portability more than you need the performance, efficiency, and/or other advanced capabilities of these new, non-POSIX approaches.
