增量计算

✍ dations ◷ 2025-12-10 20:58:15 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 野生生物野生动物泛指各种生活在自然状态下,未经人类驯化的动物。自然界里,野生动物会用排泄物来标识其领土,宣示主权的习惯。野生动物,故名思意,为野外生长繁殖的动物,一般而言,具有以下特
  • 俄罗斯城市列表以下是俄罗斯城镇的列表。根据2002年俄罗斯人口普查,全俄罗斯有 1,108 城镇。粗体字和加*的城市为联邦主体首府。1- 莫斯科2- 圣彼得堡3- 新西伯利亚4- 叶卡捷琳堡5- 下诺夫
  • 溶解度表这是各种元素在水中的溶解度列表,以化学品中特征元素的拼音顺序排列。所有数据均为1atm下的数据,单位为g/100g水。
  • 平太阳平太阳或假太阳是一个假想的天体,它每年和真太阳同时从春分点出发,在天赤道上从西向东匀速运行,这个速度相当于真太阳在黄道上运行的平均速度,最后和真太阳同时回到春分点。平太
  • 梅丝黛·苏巴索迪梅丝黛·苏巴-索迪(Mercedes Scelba-Shorte,又名Mercedes Yvette;1981年8月24日-)美国模特儿及演员。她是《全美超级模特儿新秀大赛》第二季的亚军。在比赛期间,梅丝黛公开自己患
  • 裸体沙滩裸体沙滩或称天体沙滩,是人们可以合法、自由地裸体的沙滩。其他称呼有clothing-optional beach(可选择穿上衣物的沙滩)或free beach(自由沙滩)。裸泳是公开裸体最常见的一种形式
  • 洛杉矶轻轨绿线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 约瑟·德怀尔约瑟·“乔”·帕特里克·德怀尔专业下士(英语:Spc. Joseph "Joe" Patrick Dwyer,1977年-2008年6月28日),是一名美国陆军军医。在2003年伊拉克战争期间,媒体拍摄到救助伊拉克小孩离
  • 亚历山大·米哈伊洛维奇·克拉斯诺谢科夫亚历山大·米哈伊洛维奇·克拉斯诺谢科夫(俄语:Алекса́ндр Миха́йлович Краснощёков,1880年10月10日-1937年11月26日),苏联政治家,苏联卫星国远东
  • 如果是她的话《如果是她的话》(韩语:그녀로 말할 것 같으면,英语:Let Me Introduce Her),为韩国SBS于2018年7月14日起播出的周末特别计划连续剧,由《依然是你》朴庆烈导演执导与朴言熙作家再度