Producer-Consumer Tasking model in Ada?

You might want to look at PragmARC.Concurrent_Pipeline. It’s not completely asynchronous, but could be made so fairly easily.