增量计算

✍ dations ◷ 2025-08-10 16:02:43 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 年表列表这是年表列表,年表或历史年表(Timeline),又称时间表、时间轴,是将有关历史的资料依时间或年份先后排列而成的列表,即将一件发生在某年某月某日的历史事件,以最简单的形式,重点地记录
  • 非洲苏铁非州苏铁是非洲苏铁属(Encephalartos)的苏铁,原产于非洲,但却处于濒危。它们是最原始的裸子植物之一。非洲苏铁是由德国植物学家Johann Georg Christian Lehmann于1834年描述的
  • 蜂蜜酒蜂蜜酒(英文:Mead),是一种蜂蜜酿成的酒。蜂蜜中加水稀释,经过发酵生成酒精而制成。蜂蜜中含有极高的糖分,极高的渗透压使微生物难以繁殖。将蜂蜜以水稀释后,糖分的浓度下降,酵母菌能
  • 成会明成会明(1963年-),中国材料科学家。于中国科学院金属研究所获工学博士学位。2013年被选为中科院技术科学部院士。1993年从日本回国后在金属所研究碳素及其复合材料系列,发展了纤维
  • 东方蜚蠊东方蠊或黑蠊(学名:Blatta orientalis),是蟑螂的一个庞大的品种。成年东方蠊身体光滑,呈深褐色或黑色,雄性体长18~29 mm(0.71~1.14英寸),雌性体长20~27 mm(0.79~1.06英寸)。乍一看,雌性东
  • 阳明山阳明山国家公园是中华民国设置的第三个国家公园,由内政部营建署管辖,前身为台湾日治时期成立之大屯国立公园(1937-1945)。位于台北都会区近郊,行政区域 包括台北市北投区、士林区
  • 土壤地理学土壤地理学(Soil geography),是研究土壤与地理环境之间相互关系的科学。总任务是充分合理地开发利用土壤资源,保护土壤的生态平衡,恢复和重建良好的土壤生态系统。主要研究内容如
  • 上海美国法院上海美国法院,全称美国中国事务法院(The U.S. Court for China)是美国在20世纪于上海设立的法院。1844年美国同清朝政府签订了《中美望厦条约》,从此美国拥有了在中国的“治外法
  • 光电工程光电工程学(Optoelectronics),又称光电子学,指的是与光、电同时相关的科学,将光转换为电的科学。光电子学是以光的量子力学(quantum photonics)为基础,应用于半导体材料上,有时也表现
  • 南美土著马南美土著马(学名:)是南美洲的一属大小如威尔士小型马的马。南美土著马曾被认为是约于250万年前迁徙到南美洲的上新马的后裔DNA分析却发现它们应属于马属,与马有亲密的关系。南美