Sharing channels endpoints via invariants
Is it possible to share channel endpoints via invariants? To implement, e.g. several threads trying to send on a shared channel?
I guess for this one would need HOCAP style specs or logically atomic specs for operations like send
and recv
.