增量计算

✍ dations ◷ 2025-12-01 16:04:47 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 果皮果皮,又简称皮,是指水果或蔬菜外侧一层可以取下的部分,这个外层通常可以徒手剥开或用削皮刀切下,如果比较硬或难以用手取下,通常称为果壳。果皮的厚度因果实而异,西瓜的果皮相对而
  • 语言障碍言语障碍(Speech and language impairment),是包括听觉、说话的能力、语言能力等等沟通问题的总称。听觉问题一般会交由耳科医生处理,而语言病理学家或语言治疗师则负责诊断、治
  • 伊利诺伊大学香槟分校伊利诺伊大学厄巴纳-尚佩恩分校(英语:University of Illinois at Urbana-Champaign,简称U of I,亦简称作UIUC)位于美国伊利诺伊州厄巴纳-尚佩恩市,是一所享有世界声望的一流公立研究
  • 美国网络司令部美国网络司令部(英语:United States Cyber Command USCYBERCOM)是美国军方机构,负责开展网络军事行动及保护军方电脑系统,属于美国国防部的一体化作战司令部。2009年6月23日,由美
  • 里维尔 (马萨诸塞州)坐标:42°24′30″N 71°00′45″W / 42.40833°N 71.01250°W / 42.40833; -71.01250里维尔(英语:Revere)是美国马萨诸塞州沙福克县的一个城市,位于波士顿以北,东临大西洋。面积2
  • 胜野洋胜野洋(日语:勝野 洋/かつの ひろし ,1949年7月27日-),本名胜野六洋,日本的电视剧、电影、舞台剧演员。出生于熊本县阿苏郡,毕业于青山学院大学。胜野的首次亮相是在1974年电视连续
  • 阿都拉萨·巴金达阿都拉萨·巴金达(马来语:Abdul Razak Baginda,1960年-)马来西亚战略研究中心智库的国防分析家,曾担任前副首相(前首相)纳吉·阿都拉萨的助理。2006年,阿都拉萨·巴金达被控唆使谋杀
  • 汉斯·冯·曼戈尔特 (数学家)汉斯·卡尔·弗里德里希·冯·曼戈尔特(Hans Carl Friedrich von Mangoldt,1854年5月18日-1925年10月27日),德国数学家。出生于图林根威玛,1878年在柏林洪堡大学完成哲学博士,其导
  • 应用文应用文,又称实用文,是个人或机关、团体相互间,因公因私往来而使用之各种特定的文字格式。
  • 史氏伞管螺史氏伞管螺(学名:),是柄眼目烟管蜗牛科伞管螺属的一种。本物种见于中国大陆的湖南省。常栖息在热带、亚热带雨林中的潮湿,多腐殖质环境,栖息于石灰岩、岩缝、洞穴及潮湿的树干上。