增量计算

✍ dations ◷ 2025-12-06 01:09:43 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 量子神秘主义量子神秘主义(英语:Quantum mysticism),是指一些受量子力学和量子物理学的原理和解释所启发,而产生对超自然力量、神秘主义、形而上学、意识、灵魂及宗教的思想和解释。常见于新
  • 程耿东程耿东(1941年9月-),江苏苏州人,力学家,中国科学院院士。程耿东于1958年考入北京大学固体力学专业。1964年毕业后考入大连工学院数理力学系读研究生,师从著名力学家唐立民。1968年
  • 星卫HD电影台星卫HD电影台(英语:Star Chinese Movies HD, SCMHD)是福斯国际电视网(Fox International Channels, FIC)在台湾的高画质电影频道。星卫HD电影台由新闻集团(News Corp, NC)旗下星空
  • 奶牛阴谋《奶牛阴谋: 永远不能说的秘密》(Cowspiracy: The Sustainability Secret),又译为《畜牧业的阴谋》,是由吉普·安德森及基冈·库恩于2014年所制作的一部纪录影片 。影片在探讨
  • 七五三节七五三节是日本一个独特的节日。神道教里有一个习俗,新生儿出生后30至100天内需至神社参拜保护神,到了三岁(男女童)、五岁(男孩)、七岁(女孩)则于每年的11月15日(明治维新前是农历十
  • 德国联邦内政、建设和家园部德国联邦内政部(德语:Bundesministerium des Innern,简称BMI)是德国联邦政府的部委之一,主办公室位于柏林,另在波恩设有第二办公区。内政部的职责是维护国内安全与宪政秩序、保护
  • .om.om为阿曼国家及地区顶级域(ccTLD)的域名。此外还拥有阿拉伯语顶级域名عمان.‎。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .b
  • 侯世达道格拉斯·理查·郝夫斯台特(英语:Douglas Richard Hofstadter,1945年2月15日-),中文名侯世达,美国学者、作家。他的主要研究领域包括意识、类比、艺术创造、文学翻译以及数学和物
  • 印第安纳步行者印第安纳步行者(英语:Indiana Pacers),是一支位于美国印第安纳州印第安纳波利斯的NBA篮球队,分属于东部的中部赛区,主场为银行家生活球馆。现时球队的总裁是Kevin Pritchard,现任主
  • 暴风骤雨《暴风骤雨》是周立波于1948年创作的小说。1961年被谢铁骊拍摄成电影。小说描写第二次国共内战时期东北地区的土地革命运动,反映了中国共产党领导下的农民和地主的土地归属权