增量计算

✍ dations ◷ 2025-11-22 17:49:04 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 冰,也就是冻结成固态的水。或者是由甲烷和二氧化碳形成,取决于冰内含的杂质(如土壤或气泡颗粒),冰可以是透明的、或著带有一点不透明的蓝白色。在太阳系中冰的含量非常丰富。从最
  • 监国监国,是君主制国家的制度,相当于君主的代理人。通常是指君主出外巡狩时,由储君留守宫廷处理政务。或者指君主因故未能亲政,由皇族宗室代理朝政;也有可能是君主已死,但新任君主尚未
  • 吕留良案吕留良(1629年-1683年),别名光轮,字用晦,又字庄生,号晚村,别号有耻斋老人、耻翁、吕医山人、南阳布衣等,暮年剃发出家,法名耐可,字不昧,号何求老人。浙江嘉兴府崇德县(今桐乡市崇福镇)人,明
  • 大卫·安德森戴维·安德森(英语:David Andersen,1980年6月23日-),澳大利亚职业篮球运动员。他在2002年的NBA选秀中第2轮第37顺位被亚特兰大老鹰选中。他也代表澳大利亚国家队参加国际赛事。
  • 刘易斯·卡斯刘易斯·卡斯(Lewis Cass,1782年10月9日-1866年6月17日),美国军官、政治家,曾任密歇根领地总督(1813年-1831年)、美国战争部长(1831年-1836年)、美国参议员(1845年-1848年、1849年-1857
  • 不信者不信者,或异教徒(英语:Infidel,字面意“不信者”)为基督教或伊斯兰教对无宗教或异教人士的称呼。在一神教世界通常为骂人词汇。不过某些伊斯兰教学者认为伊斯兰教中引用“异教徒
  • 欧内斯特·沙克尔顿欧内斯特·亨利·沙克尔顿爵士,CVO,OBE(英语:Sir Ernest Henry Shackleton,1874年2月15日-1922年1月5日),又译薛克頓或谢克顿,爱尔兰(有英国、爱尔兰血统)南极探险家,在10个孩子中排行第
  • 交响乐之雨交响乐之雨爱藏版游戏封面《交响乐之雨》(日语:シンフォニック=レイン,英语:Symphonic Rain)是日本工画堂工作室所发行的恋爱冒险音乐游戏。《交响乐之雨》于2004年3月26日在日本
  • 贝尔特朗·克洛泽尔贝尔特朗,克洛泽尔伯爵(Bertrand, comte Clauzel,1772年12月12日-1842年4月21日),法国元帅,诞生于米尔普瓦(阿列日省)。1791年法国革命战争时将领和阿尔及利亚总督(1835年-1837年)。1795
  • 汤尼潘帝汤尼潘帝是在小说《时间的女儿》当中出现的名词,泛指任何出于政治或其他因素而被过度夸大或炒作的历史事件,特别是指那些成为传奇而知道真相的人全都袖手旁观的事件(P.112)汤