|
|
|
|
|
|
by eulerfx234
3662 days ago
|
|
|
In CML/Hopac, async channels (buffers) are implemented in terms of sync channels - there is not async channel primitive built in. Synchronization is the essence of this model. When an operation is waiting on a matching communication through a channel, it is suspended, but no OS thread is blocked. But yes, going from async to sync requires blocking, which is why CML/Hopac takes the approach of making sync the core primitive. |
|
|