如何优雅地优雅退出？
内容提要
文章讨论程序优雅退出的实现：main 函数负责启动也应负责停止，需监听中断信号，先停止接收新请求、处理完剩余任务并释放资源后再退出。Go 通过 context 取消实现超时与中断；Clojure 可用闭包隐藏状态，启动组件时返回停止函数，并通过 channel 发送停止信号、等待队列清空，确保数据不丢失。
延伸解读
为什么优雅退出值得单独设计
文章指出，程序启动常被精心设计，停止却常被忽略。直接中断可能导致未完成的 HTTP 请求失败、消息队列中未处理的任务丢失，甚至 I/O 操作只写入一半。虽然事务能保证部分完整性，但内存中的数据不会自动保存。因此，设计系统时应评估停止时可能丢失的数据和未回收的资源，把中断视为必须处理的外部事件。
Go 的 context 如何支持取消与超时
Go 通过 context 实现取消逻辑。context.WithTimeout 创建带超时的子上下文并返回 cancel 函数，defer cancel() 确保函数结束时取消。子上下文会继承父上下文的取消状态，任一环节取消，最底层的查询都会终止。具体终止由调用栈顶端的函数实现：上下文实现 Done() 方法返回 channel，取消时发送空结构体作为中断信号，select 可据此优先处理取消。
用闭包隐藏停机细节的 Clojure 做法
Clojure 可在启动组件时返回一个停止闭包，把资源引用和信号通道藏在内部，main 只需调用该函数并等待完成。多个组件可合并为一个停止函数，但停止顺序应与启动顺序相反，因为存在时序耦合。对于循环结构，可向 channel 发送 :stop 信号，循环处理完剩余消息后退出；再用另一个 channel 通知停止完成，避免在队列未清空时终止程序。
优雅退出的边界与取舍
文章承认，并非所有函数都能返回停止闭包，内部为循环结构的函数无法直接停下，这与停机问题类似，因此需要借助 channel 信号。同时，处理系统外围事件会引入时序耦合和副作用，与纯函数式理念冲突。作者认为，只要系统内部大部分代码保持函数式、状态不可变、副作用可控，边界处的“脏活”可以接受，但这类代码往往不够优雅。
Q&A
什么是优雅退出？为什么程序需要优雅退出？
优雅退出是指程序在收到中断信号后，先处理尚未释放的资源和尚未完成的请求，然后主动退出。需要优雅退出的原因是直接终止可能导致内存中未保存的数据丢失、未完成的请求中断、子进程生硬结束等问题。
Go 语言中如何利用 context 实现超时取消和优雅退出？
Go 通过 context.WithTimeout 创建带超时的上下文，并返回 cancel 函数。上下文有继承机制，子上下文会随父上下文取消。通过 select 监听 ctx.Done() 返回的 channel 来接收中断信号，从而终止操作。优雅退出类似：向各组件发送中断信号，等待处理完成后再退出。
在 Clojure 中如何用闭包隐藏状态来实现优雅退出？
启动组件时返回一个闭包函数，该函数包含组件内部状态和停止逻辑。main 函数只需调用这个停止函数并等待其完成。例如 start-system 返回一个函数，内部按相反顺序调用各组件的停止函数。
对于循环结构的组件，如何通知它停止并确保队列中的消息处理完？
通过向 channel 发送停止信号（如 :stop）来通知循环退出。由于 channel 消息有序，循环会处理完剩余消息后再退出。再用另一个 channel 传递“已停止”信号，停止函数会阻塞等待该信号，确保队列清空后才退出。
优雅退出时启动顺序和停止顺序为什么相反？
因为组件之间存在依赖关系，例如处理器依赖 I/O 管理线程，Web 服务器依赖处理器。启动时先启动被依赖的组件，停止时则先停止依赖者，再停止被依赖者，以避免时序耦合问题。
优雅退出机制与停机问题有什么相似之处？
对于内部为循环结构的函数，无法直接返回闭包函数来停止，因为无法预知循环何时结束，这与停机问题类似。解决方案是通过 channel 发送停止信号，让循环在适当的时候退出。
