增量计算

✍ dations ◷ 2025-12-10 11:37:54 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 联合国大学联合国大学(英语:United Nations University,简称UNU)是联合国大会的附属研究机构,根据在1973年12月的联合国大会上通过的联合国大学创建决议而成立,扮演联合国系统与会员国的智库
  • 核同质异能素核同质异能素(亦称同核异构体)指的是由于某个原子的原子核内核子(质子或中子)处于激发态,而产生原子核的亚稳态(英语:Metastability),这种状态下原子核内的核子会占用能量更高的核子
  • 学说学说可能是指:
  • 东方白鹳东方白鹳(学名:Ciconia boyciana,英语:Oriental stork,日语:コウノトリ)是一种大型涉禽,属于鹳科鹳属。与白鹳是近亲,但比白鹳更大,体长1.29米,体重4.4千克,翼宽2.22米。与白鹳不同的是,
  • 微分包含式数学分析中的微分包含式(Differential inclusion)是指具有如下形式的常微分方程式:其中(, )表示了一个集合,而非
  • 2016年金砖国家U-17足球杯赛2016年金砖国家U-17足球杯赛是首届金砖国家U-17足球杯赛,由2016年金砖国家峰会举办国印度承办。参赛队伍球员年龄均为17岁以下。所有球队被分在一个小组参加小组循环赛,循环赛
  • 伊顿公学礼拜堂伊顿公学礼拜堂(Eton College Chapel)是英国伊顿公学的礼拜堂,哥特式垂直风格建筑。该堂的长度本应超过目前的一倍,但是由于玫瑰战争而未能完成。今天,教堂礼拜仍然是公学生活的
  • B6B6(原名楼南立,1981年-)是一名中国的电子音乐家,音乐制作人及平面设计师。他在2000年创立独立音乐厂牌Isolation Music;在2006年作为创始人之一成立艺术创意公司Neocha。同年B6还
  • 甲武信岳甲武信岳(日语:甲武信ヶ岳/こぶしがたけ(こぶしだけ) )是位于日本,横跨山梨县、长野县、埼玉县三县,高2,475m的山,位在奥秩父山块(日语:奥秩父山塊)的主脉中央地区。虽然因跨甲斐国(山梨
  • 哈利·格里肯哈利·格里肯(英语:Harry Glicken,1958年3月7日-1991年6月3日)是一名美国火山学家。1980年,位于华盛顿州境内的圣海伦火山发生重大爆发,已在火山上研究多年的格里肯当天因为需要参