io_uring is correct. It's nothing clever - in fact, it's quite boring. It is specifically meant for applications that must handle high volumes of asynchronous I/O.

Yes, believe it or not, you can achieve correctness and speed, together, without compromise.