В чем разница между управляемым событиями и асинхронным? Между epoll и AIO?

Управляемый событиями и асинхронный часто используются как синонимы. Есть ли между ними разница?

Кроме того, в чем разница между epoll и aio ? Как они сочетаются друг с другом?

Наконец, я много раз читал, что AIO в Linux ужасно сломан. Как именно он сломан?

Спасибо.