增量计算

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

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

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

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

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

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

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

相关

  • 霍乱霍乱(Cholera)是由霍乱弧菌的某些致病株感染小肠而导致的急性腹泻疾病。症状可能相当轻微,也可能相当严重。典型症状为连续数日严重水泻。可能合并有呕吐、肌肉抽搐的现象 。霍
  • 奥地利-巴伐利亚语奥地利-巴伐利亚语(巴伐利亚语:Boarisch .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","
  • 美国国家公园列表美国共有62座国家公园保护区,由内政部下属的国家公园管理局运作。国家公园需经国会立法建立。1872年,总统尤利西斯·辛普森·格兰特签署法案,设立第一个国家公园:黄石国家公园,之
  • 罗伯特二世约翰二世罗伯特·斯图尔特 (奥尔巴尼公爵)亚力山大,巴肯伯爵简·斯图尔特凯瑟琳·斯图尔特戴维,凯斯内斯伯爵沃尔特,伯爵的城堡托马斯·斯图尔特 伊莎贝尔·斯图尔特罗伯特二
  • 清双唇鼻音是辅音的一种,用于一些口语中。清双唇鼻音在国际音标的符号是 ⟨m̥⟩,X-SAMPA音标的符号则是m_0。当符号成对出现时,左边的是清音,右边的是浊音。阴影区域表示被认为
  • 崔溥崔溥(1454年-1504年)字渊渊,号锦南,朝鲜王朝官员,全罗道罗州人。崔溥24岁中进士第三名,29岁中文科乙科第一名,1487年任朝鲜弘文馆副校理。弘治元年闰正月初三(1488年2月15日),时任济州
  • 沈惟敬沈惟敬(?-1597年),明朝嘉兴(今浙江省嘉兴市)人,市井出身。沈惟敬在万历朝鲜战争爆发时奉命出使朝鲜与日本谈判,但却私自违逆明朝的外交内容以图利自满,清朝官修的《明史》认为沈惟敬
  • 方增先方增先(1931年7月-2019年12月3日),浙江兰溪人,中国画家、美术教育家,上海美术馆馆长,“新浙派人物画”艺术奠基人。1931年生于浙江省兰溪市横溪镇西塘下。曾在私塾读书。1949年7月
  • 切维·切斯切维·切斯(英语:Cornelius Crane "Chevy" Chase,1943年10月8日-)是美国的一位喜剧演员、演员和作家。他是著名综艺节目《周末夜现场》的固定成员之一。
  • 安吉拉·沃兹尼亚克安吉拉·M·沃兹尼亚克(英语:Angela M. Wozniak;1987年3月11日-),是一名美国政治人物,为纽约州众议院第一百四十三选区(包含奇克托瓦加、兰开斯特和迪皮尤(英语:Depew, New York))在2014