This PR contains primitives for synchronization and concurrency management:
Resource to wrap allocation/cleanup of (currently mostly computation) resources in different layers of safety
Semaphore, because it's useful
Additionally, the specification of Async.await in light of locking Sources, that care about there result being used (like Semaphores which the consumer might want to reset on cancellation), was clarified and implemented. Now, cancellation will be ignored if it happens after a listener lock acquire that leads to completion. Still, cancellation can be requested synchronously without waiting.
This PR contains primitives for synchronization and concurrency management:
Resourceto wrap allocation/cleanup of (currently mostly computation) resources in different layers of safetySemaphore, because it's useful Additionally, the specification ofAsync.awaitin light of locking Sources, that care about there result being used (like Semaphores which the consumer might want to reset on cancellation), was clarified and implemented. Now, cancellation will be ignored if it happens after a listener lock acquire that leads to completion. Still, cancellation can be requested synchronously without waiting.