增量计算

✍ dations ◷ 2025-12-08 17:59:32 #计算机编程,程序分析

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

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

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

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

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

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

相关

  • 鲜味鲜味(日语:うま味, 英语:umami)和甜、酸、苦、咸一样,为五种基本味觉之一。其词源源自日语“旨味”,概念泛指某种食物十分美味。20世纪以来,科学家一直争论鲜味是否确实是一种基本
  • 东学西渐东学西渐,是中国科学及文化向西方传播的整个历史过程。芝加哥大学历史学者诺埃尔•斯瓦德罗的研究论文《哥白尼行星理论初稿与起源》,文中首先指哥白尼大约从1504年起,已在波隆
  • 布里杰-蒂顿布里杰蒂顿国家森林(英语:Bridger-Teton National Forest)是美国的一处国家森林,1908年7月1日建立,位处怀俄明州西部,占地面积约3,402,684英亩(13,770.17平方千米),最近的城市为杰克
  • 一府六曹一府六曹(朝鲜语:1부 6조/1府6曺)是高丽和朝鲜王朝时期的官制。1894年,一府六曹制被朝鲜废除。
  • 栉鼠科栉鼠是单型科栉鼠科(Ctenomyidae)下啮齿类动物的统称,种类很多,分布于南美洲。
  • 威克罗杰·弗雷德里克·威克(英语:Roger Frederick Wicker;1951年7月5日-),是一位美国共和党政治人物,2007年起担任密西西比州美国参议院议员。自密西西比大学毕业后,威克于1976年到1980
  • 武义县武义县是中国浙江省金华市下辖的一个县,素有“温泉之城、萤石之乡”的美称。春秋时期属越国,战国后期属楚国。秦朝至东汉属乌伤县,三国至隋属永康县。武周天授二年(691年),始设武
  • 瓦西里·谢苗诺维奇·格罗斯曼瓦西里·谢苗诺维奇·格罗斯曼 (俄语:Василий Семёнович Гроссман,1905年12月12日-1964年9月14日),苏联作家、记者,生于俄罗斯帝国别尔季切夫的一个犹太人
  • 中和线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 总铺师 (电影)《总舖师》(英语:),是一部于2013年上映的台湾喜剧类电影,由夏于乔、林美秀、杨祐宁领衔主演,陈玉勋执导,李烈、叶如芬监制。20多年前,台湾办桌界有三大传奇“总铺师”,被乡民们尊称“