增量计算

✍ dations ◷ 2025-06-29 00:49:26 #计算机编程,程序分析

增量计算是一种软件功能 。当一部分的数据产生了变化,就仅对该产生变化的部分进行计算和更新,以节省计算时间。 相比于简单地重复计算完整的输出内容,增量计算能够显著地节省计算时间。 比如,电子表格会在实现重计算功能时使用增量计算,只重新计算并更新那些含有公式且被直接或间接地改变了的单元格。

用于帮助开发者自动实现增量计算的工具,可以被看作是帮助程序优化的程序分析工具。

增量计算在技术实现上可以大致分为两种类型:

试图从现有的程序P中派生出一个增量计算程序。例如可以采取进行程序的重新设计、程序重构的手段,或者使用工具自动生成增量计算程序。这种程序的转换需要发生在输入或是输入的变化量出现之前。

记录运行中的程序P在接受某个特定输入(l1)时的信息。当这P接受另一个输入(l2)时,把这些信息用于计算并更新输出结果(从O1变化到O2)。图示中显示了:程序P;构成增量计算程序的核心的变化量计算函数ΔP;以及两组输入和输出(I1,O1和I2,O2)。

某一些实现增量计算的方法是只适用于特定程序的专用实现方法,但也有一些可以普遍适用于任何程序的通用方法。专用实现方法需要程序员特别指定用于保存未修改子计算的算法和数据结构。通用实现方法则会使用编程语言特性、编译器功能或者一些算法来给非增量计算程序赋予增量计算的行为。

相关

  • 马来西亚2019冠状病毒病马来西亚行动管制令(部分传媒译为“限制活动令”)是指2020年3月16日,马来西亚联邦政府面对2020年爆发的新型冠状病毒疫情(COVID-19)的反应措施,而在全国实施了“限
  • 大久保利通大久保利通(1830年9月26日-1878年5月14日),幼名正助,号甲东,后改名利通,生于日本萨摩藩(今鹿儿岛)。原为武士,明治维新时期成为政治家,与西乡隆盛及木户孝允并称维新三杰。1878年(明治十
  • 网络信息统筹局中国人民解放军军徽中央军委战略规划办公室网络信息统筹局,位于北京市,是中央军委战略规划办公室下属局,负责网络信息统筹工作。在深化国防和军队改革中,2016年1月组建中央军委
  • 苏联国徽苏联国徽(俄语:Государственный герб СССР / Gosudarstvennyiy gerb SSSR )启用于1923年7月6日,直到1991年苏联解体。第一版苏联国徽的计划在1923年7月6
  • 兰陵萧氏兰陵萧氏,是中国中古时期一个以兰陵郡为郡望的萧姓士族。萧氏在南朝以军功起家,其后家族子弟建立了南齐和南梁两个朝代,发展为侨姓士族主要代表,与琅邪王氏、陈郡谢氏、陈郡袁氏
  • 辉县市辉县市,位于河南省西北部,是新乡市下辖的一个县级市,地处太行山东部,华北平原中的海河平原(河北平原)之上,全境为海河流域。隔太行山西邻山西省陵川县,北邻山西壶关县,河南林州市,南邻
  • Agnez Mo《Agnez Mo》是印度尼西亚女歌手Agnes Monica的第二张录音室专辑,于2013年6月1日推出。自同名专辑推出她的新,这在以前被称为“艾格尼丝莫妮卡”。它最初被记录为它发给了唱片
  • 杨延嗣杨希,字延嗣,杨家将小说、戏曲及民间传说中人物;并州太原(今山西太原)人,金刀老令公杨业的第七子,故称“杨七郎”。七子最为年轻,少有力气与冲劲,敢作敢为,冲动鲁莽与好玩的性格给家人
  • 王梦鸥王梦鸥(1907年7月12日-2002年9月22日),籍贯福建长乐,笔名梁宗之,文学学者,研究领域遍及经学、文学、小学、美学。曾任教于厦门大学、重庆中央政治学校、政治大学、日本广岛大学、辅
  • 烈风警报 烈风警报(别称:大风警报,英语:Gale Warning)是指气象机构对正在或即将遭遇相当于蒲福风级中的