增量计算

✍ dations ◷ 2025-11-26 12:47:13 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 蓝光疗法光照治疗或光线治疗(英语:Light Therapy 或 Phototherapy)指的是日光或是以特定波长的光(例如:激光光)为光源来做治疗,本篇主要介绍以紫外线(UV)为光源的治疗方式。所谓UV是指光波长
  • 自由大宪章《大宪章》(拉丁语:Magna Carta,英语:The Great Charter),又称作《自由大宪章》(拉丁语:Magna Carta Libertatum;英语:The Great Charter of the Liberties)是英格兰国王约翰最初于1215
  • 生态系统多样性生态系统多样性(英语:Ecosystem diversity),可指一个地区的生态系统层次上的多样性,或一个生物圈中的各种生态系统。此词语和生物多样性不同,生物多样性是指是生物或物种变化的程
  • 西引岛坐标:26°22′36″N 120°30′24″E / 26.37667°N 120.50667°E / 26.37667; 120.50667东引岛(福州语平话字:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL",
  • 角田觉治角田觉治(1890年9月23日-1944年8月2日)是第二次世界大战太平洋战争中大日本帝国海军航空队中将司令官,最后于天宁岛战役自杀。角田出生于1890年(明治23年)9月23日,是日本新潟县南蒲
  • 陈洪绶陈洪绶(1598年-1652年),字章侯,号老莲、云门僧、迟云、弗迟、悔迟、悔已迟、悔僧、迟和尚,浙江省绍兴诸暨人,明代画家。陈于朝之子。万历二十六年戊戌(1598)出生,自幼喜爱绘画,传说他曾
  • ATC代码 (D10)(Antifungals for dermatological use)(Emollients and protectives)(Preparations for treatment of wounds and ulcers)(Antipruritics, including antihistamines, anesthetics,
  • β-羟基-β-甲基丁酸β-羟基-β-甲基丁酸(英语:β-Hydroxy β-methylbutyric acid,HMB)其共轭碱为β-羟基-β-甲基丁酸根(β-hydroxy β-methylbutyrate),是一种人体内天然产生的物质,可用作膳食补充剂,
  • 艾米莉·勃朗特艾米莉·简·勃朗特(英语:Emily Jane Brontë,1818年7月30日-1848年12月19日),19世纪英国作家与诗人,著名的勃朗特三姐妹之二姐,世界文学名著《呼啸山庄》的作者,而且这其实也是她一
  • 怀履光怀履光(William Charles White,1873年8月22日-1960年1月24日)是加拿大圣公会在中国的传教士主教,后来成为一位汉学家。怀履光出生于英格兰德文郡,为家中长子。8岁时全家移民加拿大