取消术语学：同步取消、异步取消与优雅关闭的清晰区分

概述

matklad（TigerBeetle 与 rust-analyzer 作者）写下的短札记，厘清三件常被混淆的事：同步取消是控制流结构，通过抛异常/返回错误展开栈；异步取消是两方之间的通信协议，一方请求后须等对方确认并收尾；优雅关闭则是处理连接的应用层设计模式。他结合 TigerBeetle 的 Grid.cancel（异步）、StateMachine.reset（同步）等实例说明如何正确分层，并吐槽团队里把异步收尾误称作 graceful shutdown 是不准确的——TigerBeetle 全程是 crash-only 的。