增量计算

✍ dations ◷ 2025-11-24 22:00:00 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 产气荚膜梭菌产气荚膜杆菌(学名:Clostridium perfringens)是革兰氏阳性杆状厌氧菌,因能分解肌肉和结缔组织中的糖类而产出大量气体以及可以在体内能形成荚膜而得名。发现于人类和其他脊椎动
  • 烹调用油烹调用油,亦称为烹饪用油,指在将食物制备餐饮或菜肴时使用的油脂。油脂在餐饮或食品上的用途很广,除赋予香气跟风味外,依照烹调的目的与使用的温度范围等差异,需选择适当的油脂。
  • 谐谑曲诙谐曲(Scherzo),是一种快速,节奏强烈的器乐曲,一般为三拍子,有令人惊奇、幽默的特点,是从小步舞曲中发展出来的,原文是意大利文意思是“玩笑”。海顿首先在写作奏鸣曲时用诙谐曲代
  • AP-1转录因子在分子生物学中,AP-1转录因子(激活蛋白1,英语:activator protein 1,AP-1)是一种异二聚体蛋白转录因子,由c-Fos、c-Jun、JDP以及ATF家族的不同蛋白组成,调节基因表达以响应多种外界信
  • 丝兰属丝兰属(学名:)是天门冬目天门冬科龙舌兰亚科下的一个属,为无茎或有茎植物。该属共有约49种,分布于美洲。丝兰和丝兰蛾间的互利共生关系在生物界中很少见。金棒兰凤尾兰
  • 陈过庭陈过庭(1071年-1130年),本名扬庭,字宾王,宋朝越州山阴县(今浙江省绍兴市)人,宋钦宗时尚书左丞。陈过庭是宋哲宗绍圣进士,为澶州(治今河南濮阳)教授,知中牟县,担任博士。何执中、侯蒙推荐他
  • 芦田爱菜芦田爱菜(日语:芦田愛菜,2004年6月23日-),日本儿童演员。出生于兵库县西宫市,现居于东京都,隶属于Jobbykids(日语:ジョビィキッズプロダクション)旗下。芦田爱菜在朝日放送的电视剧中首
  • 桥本由衣桥本由衣(日语:橋本 由衣/はしもと ゆい ,1990年5月14日-),日本女子羽毛球运动员,前日本国家羽毛球队成员。岩手县出生,毕业于青森山田中学校及青森山田高校,现隶属于NTT东日本株式会
  • 5 (游戏)《5 -ファイブ-》 是RAM推出的第3款十八禁美少女游戏,也是RAM的最终作,于2008年7月25日发售。“5 -ファイブ-”于2002年1月初次发表,当时作品名称是“Calling”。 游戏体验版附
  • 李查理 (计算机科学家)李查理是一位计算机科学家,他最广为人知的身份为莱特币的创办人,他是莱特币基金会的常务董事。 2013年7月,他还任职于交易所Coinbase。李查理出生于科特迪瓦,他于13岁时移居美国