Sun Aug 16 08:21:35 EDT 2020
Mixing poll architecture with push events
I'm glad I worked out the CSP scheduler: the problem there was exactly
the same: when you push an event into a channel, and nobody is
listening on that channel, there is nothing else to do than to drop
the event. But you always know that this is what is happening.
The other solution is to buffer it, but a buffer is nothing more than
a task that is always ready to receive.
The core idea is the following:
- move some data into the context of a task
- resume the task
- get feedback over whether the data was consumed or not.