Affiliation:
1. Toyota Technological Institute, Chicago, IL
2. Carnegie Mellon University, Pittsburgh, PA
Abstract
We present techniques for incremental computing by introducing adaptive functional programming. As an
adaptive
program executes, the underlying system represents the data and control dependences in the execution in the form of a
dynamic dependence graph
. When the input to the program changes, a change propagation algorithm updates the output and the dynamic dependence graph by propagating changes through the graph and re-executing code where necessary. Adaptive programs adapt their output to any change in the input, small or large.We show that adaptivity techniques are practical by giving an efficient implementation as a small ML library. The library consists of three operations for making a program adaptive, plus two operations for making changes to the input and adapting the output to these changes. We give a general bound on the time it takes to adapt the output, and based on this, show that an adaptive Quicksort adapts its output in logarithmic time when its input is extended by one key.To show the safety and correctness of the mechanism we give a formal definition of AFL, a call-by-value functional language extended with adaptivity primitives. The modal type system of AFL enforces correct usage of the adaptivity mechanism, which can only be checked at run time in the ML library. Based on the AFL dynamic semantics, we formalize thechange-propagation algorithm and prove its correctness.
Publisher
Association for Computing Machinery (ACM)
Reference32 articles.
1. Acar U. A. 2005. Self-Adjusting Computation. Ph.D. dissertation. Department of Computer Science Carnegie Mellon University Pittsburgh PA May.]] Acar U. A. 2005. Self-Adjusting Computation. Ph.D. dissertation. Department of Computer Science Carnegie Mellon University Pittsburgh PA May.]]
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Software Architecture Based on Coarse-Grained Self-Adjusting Computations;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
2. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
3. The essence of online data processing;Proceedings of the ACM on Programming Languages;2022-10-31
4. Demanded abstract interpretation;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. ShortCut;Proceedings of the 27th ACM Symposium on Operating Systems Principles;2019-10-27