增量计算

✍ dations ◷ 2025-09-09 16:40:00 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 虚无主义虚无主义作为哲学意义,是怀疑主义的极致形式。认为世界、生命(特别是人类)的存在是没有客观意义、目的以及可以理解的真相。与其说它是一个人公开表示的立场,不如说它是一种针锋
  • 肽链肽(英语:peptide,来自希腊文的“消化”),旧称胜,即胜肽,又称缩氨酸,是天然存在的小生物分子,介于氨基酸和蛋白质之间的物质。由于氨基酸的分子最小,蛋白质最大,而它们则是氨基酸单体组
  • 索绪尔尼古拉-提奥多·德·索绪尔(Nicolas-Théodore de Saussure,1767年10月14日-1845年4月18日)是瑞士化学家,也是对植物化学有卓著贡献的植物生理学家。他也是研究光合作用的重要先
  • 婆罗多母亲婆罗多母亲(印地语:Bhārat Mata,来自梵语Bhāratambaभारताम्बा;Bharat意为印度,Mata意为母亲。英语有时写成Mother India),是印度的国家拟人化身。通常描绘成穿藏红色纱
  • 郑氏王朝明郑(1628年-1683年)是指明朝至清朝初期间,由郑芝龙家族领导、并以恢复明朝旧有领土为志的政权,也是明朝最后一个政权。关于其创始时期,有以郑芝龙为始者,亦有以郑成功为始者,该势力
  • 皆伐皆伐(英语:Clearcutting)是林业和伐木业采取的一种方法,指一致地伐光一个区域内的大部分或全部林木。这一方法和渐伐和母树一道,被林务员用来创造特定类型的森林生态系统,和保护指
  • 人类冠状病毒229E人类冠状病毒229E(Human coronavirus 229E、HCoV-229E)是甲型冠状病毒属的一种病毒,于1966年被发现,是已知七种能感染人类的冠状病毒中第一个被发现者。229E病毒与同属的人类冠
  • KC-130JC-130大力神(Hercules,海格力斯,希腊神话中的英雄)运输机是由美国洛克希德·马丁公司(Lockheed Martin)所研发生产的中型战术运输机,是美国最成功、最长寿(1956年开始服役)和生产最多
  • 爱缺《爱缺》为陶晶莹于2000年9月7日发行的个人第六张原创专辑。其中,《太委屈》为她的成名作之一。
  • 少年派的奇幻漂流 (电影)《少年派的奇幻漂流》(英语:;简称《少年派》)是一部李安执导的美国3D电影,于2012年11月21日上映,编剧David Magee根据加拿大作家扬·马特尔于2001年发表的同名小说改编而成。印度