增量计算

✍ dations ◷ 2025-05-10 15:06:24 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 神佛习合神佛习合(しんぶつしゅうごう)是将日本本土的信仰和佛教折衷,再习合形成一个信仰系统。一般指的是在日本神道和佛教发生(合一)的现象,在广泛的意义上说,佛教在世界各地蔓延时,也指佛
  • 美国电影艺术与科学学院电影艺术与科学学院(英语:The Academy of Motion Picture Arts and Sciences,缩写:AMPAS),中文简称美国影艺学院,是美国一个由逾6,000名电影界的专业或资深人士组成的非营利组织,同
  • 瑞秋·麦亚当斯瑞秋·安妮·麦克亚当斯(英语:Rachel Anne McAdams,1978年11月17日-),是一名加拿大女演员和活动家,约克大学校友。从约克大学毕业后,她于加拿大从事影视事业,参与了《Perfect Pie》的
  • 高铮高铮(1920年1月23日-),字百冶,河南永城人,中华民国外交官。高铮自国立政治大学外交系毕业后赴美国留学,获南加州大学外交硕士。进入外交部后,历任实习员、科员、科长,中华民国驻洛杉
  • 信川郡大屠杀信川良民虐杀事件,又称为信川大屠杀,(韩语:신천 양민학살 사건,, Sinchon civilian Massacre, 汉字:信川良民虐杀事件) ,发生在韩战爆发的1950年,地点位于朝鲜民主主义人民共和国的
  • 战斗机黑手党战斗机黑手党是美国空军及美国航空产业中一批支持以能量机动理论(英语:Energy–maneuverability theory)为思考核心设计战斗机的群体,它们并没有正式组织,这个名词实际上是美国空
  • 斯塔西国家安全部(德语:Ministerium für Staatssicherheit,缩写为MfS)是德意志民主共和国的国家安全机构,通称“斯塔西”(Stasi,国际音标:.mw-parser-output .IPA{font-family:"Charis SI
  • 礼萨汗礼萨沙阿·巴列维即礼萨汗(波斯语:رضا شاه پهلوی‎,1878年3月16日-1944年7月26日),伊朗沙阿(国王),巴列维王朝的缔造者。礼萨·巴列维1878年生于伊朗山区的一户贫苦人家
  • 勃极烈勃极烈(女真语: .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alter
  • 激光键盘投影键盘是一种输入装置,借由激光光投射在平面上形成虚拟的键盘图形。当使用者碰触到平面的按键图形时,此设备会在平板电脑或电脑萤幕显示出相对应的按键。光学虚拟键盘是由IB