增量计算

✍ dations ◷ 2025-12-05 12:07:32 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 分子演化现代生物分类群体从它们的 共同祖先遗传分化的图示。进化论介绍(英语:Introduction to evolution) 演化的证据 共同起源 共同起源的证据群体遗传学 · 遗传多样性 突变 · 自
  • 帝王世纪《帝王世纪》,西晋皇甫谧所撰,原书已轶,现存十卷为后世辑本。记述自三皇至汉魏历代帝王世系、年谱及其事迹的史学专著。此书为司马迁《史记》后,第二部系统记述历代帝王世系的史
  • 永安区永安区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Íng-
  • 原台南刑务所合宿原台南刑务所合宿位于台南市中西区,于民国九十二年(2003年)5月13日公告为台南市市定古迹,其名称里的刑务所指的即是原位于今大亿丽致酒店和新光三越台南新天地上的“台南刑务所(
  • 莲花县莲花县是中国江西省萍乡市下辖的一个县,全县总面积1062平方公里,辖5个镇、8个乡、一个国营垦殖场。莲花地域春秋战国时期先后属于吴、越、楚。秦灭楚后,莲花地域为安成县属长沙
  • 希瑟·诺尔特希瑟·安·诺尔特(英语:Heather Ann Nauert,1970年1月27日-)是美国记者和前政府官员,自2017年4月24日起至2019年4月3日担任美国国务院发言人。她现在是一位哈德逊研究所的高级研究
  • 52 Hz I Love You《52 Hz I Love You》(中文片名《52赫兹我爱你》为副标题,英语:)是一部于2017年上映的台湾音乐电影,由魏德圣执导,黄志明与吴明宪担任监制,魏德圣、游文兴及苏达共同编剧。演员包含
  • 轴腹菌科轴腹菌属 蜡蘑属 柄轴腹菌属 轴腹菌科(学名:Hydnangiaceae)是伞菌目的一个科,其下有四个属,共约30种物种,广泛分布于热带与温带树林中,本科物种常与落叶树或针叶树形成外菌根(英
  • 刘校刘校(1477年-1519年),字宗道,河南承宣布政使司开封府许州(今河南省许昌市)人,明朝政治人物、进士出身。正德五年(1510年)河南乡试第三十一名。正德六年(1511年)辛未科会试联捷第二百九十
  • 西米西米又称西谷米、硕硪米(英语:Sago),是由几种棕榈树树干内所储碳水化合物制造的食用淀粉。原料主要来自西米椰属棕榈,尤其是原产于印度尼西亚群岛的西谷椰子(),还有桄榔、酒假桄榔(,