Cancellation
Kind: technique
Layer: Correctness Core
Record: lexicon:cancellation
Canonical: Lexicon
A technique for letting a caller stop work it no longer needs, releasing the resources that work holds.
Listed in Lexicon terms, after Deadline Propagation and before Load Shedding.