NREVERSAL of Fortune - The Thermodynamics of Garbage Collection
NREVERSAL of Fortune - The Thermodynamics of Garbage Collection
复制标题
命运的逆转 - 垃圾收集的热力学
DOI：
10.1007/bfb0017210
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
H. Baker
中科院分区：
文献类型：
--
作者：
H. Baker
需要在许多情况下进行逆转计算的需求 - 进行启动，编辑器撤消，乐观的并发撤消，投机计算撤销，跟踪调度，例外，处理撤销，数据库恢复，乐观的离散事件模拟，串联计算等。计算是在静态分析的背景下出现的 - 强度分析，严格分析，类型推理等。传统手段用于恢复到以前的状态涉及检查点；检查点需要复制的时间以及复制的材料。
The need to reverse a computation arises in many contexts—debugging, editor undoing, optimistic concurrency undoing, speculative computation undoing, trace scheduling, exception handling undoing, database recovery, optimistic discrete event simulations, subjunctive computing, etc. The need to analyze a reversed computation arises in the context of static analysis—liveness analysis, strictness analysis, type inference, etc. Traditional means for restoring a computation to a previous state involve checkpoints; checkpoints require time to copy, as well as space to store, the copied material. Traditional reverse abstract interpretation produces relatively poor information due to its inability to guess the previous values of assigned-to variables.