增量计算

✍ dations ◷ 2025-12-03 11:04:39 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 高基氏体高尔基体(英语:Golgi apparatus)是真核细胞中的一种细胞器。属于细胞的一组膜,专门收集并包裹各种物质,例如酶和激素。这些膜形成像一堆平板的扁囊,部分扁囊常常脱离并移向质膜,一
  • 子嗣儿子,是家庭中的成员,由父母所生的子女中的男孩子,当然儿子也可能是继子,即是配偶与前妻、前夫或其他人所生的儿子。不少父权社会中只有儿子才有继承权,女儿出嫁后则被视为另一家
  • 巴伐利亚王国巴伐利亚王国(德语:Königreich Bayern)是德意志地区曾经存在的一个王国,也曾是莱茵邦联,德意志邦联以及德意志帝国的组成国。该国是于1805年由原先的巴伐利亚选侯国升格而来,并持
  • 理察·费曼理查德·菲利普斯·费曼, ForMemRS,英文名 Richard Philips Feynman ,(1918年5月11日-1988年2月15日),美国理论物理学家,以对量子力学的路径积分表述、量子电动力学、过冷液氦的超
  • 社保基金会全国社会保障基金理事会标志1999年规定:国家行政机关内设机构或直属单位的印章,直径不大于4.5厘米,中央刊五角星,由中华人民共和国财政部制发。全国社会保障基金理事会,简称社保
  • Astro集团Astro控股私人有限公司(英文:Astro Holdings SDN. BHD.,简称Astro集团)为马来西亚一家跨国传媒娱乐投资公司。Astro集团为马来西亚第二大富豪阿南达克里斯南(Ananda Krishnan)的Us
  • 蒙山施食蒙山施食仪(放蒙山),汉传佛教中的一种仪轨,源自于密宗,类似放焰口,经由持咒、观想及开示等仪式,将无量饮食及水布施给饿鬼道的众生(施饿鬼),解除他们的饥渴与痛苦,并授与三昧耶戒,以令其
  • 汤霖汤霖(1850年-1911年),字崇道,号雨三,湖北省黄州府黄梅县人,清朝政治人物、同进士出身,中国国学大师汤用彤之父。光绪十六年(1890年),参加光绪庚寅科殿试,登进士三甲127名。同年五月,著交
  • 比德尔苏丹国比德尔苏丹国(Bidar Sultanate,1489年-1619年),也称巴里德·沙赫王朝(Barid Shahi dynasty),是一个中世纪后期印度德干苏丹国。他的建立者卡西姆·巴里迪是一个来自格鲁吉亚的突厥人
  • 宋宋宋宋(英语、查莫罗语:Songsong),是美属北马里亚纳群岛所辖罗塔岛的一座城镇,2000年人口1,321,也是该岛最大的聚落。“Songsong”在查莫洛语中为“村落”之意。宋宋位于罗塔岛狭窄