Rediflow architecture prospectus

Journal ArticleRediflow is intended as a multi-function (symbolic and numeric) multiprocessor, demonstrating techniques for achieving speedup for Lisp-coded problems through the use of advanced programming concepts, high-speed communication, and dynamic load-distribution, in a manner suitable for scaling to upwards of 10,000 processors. An initial physical realization is proposed employing 16 nodes (initially in a hypercube topology), with processor, memory, and intelligent switch at each node

Toward function-based distributed database systems

Journal ArticleWe discuss the suitability of a function-based (or "applicative") approach to the construction of distributed database systems. Certain aspects of applicative systems are immediatley appealing for this purpose (e.g. data oriented toward conceptual objects rather than toward particular representations in memory). However, distributed systems present special requirements (e.g. updating of shared data) that appear to make the applicative approach less well-suited. We discuss techniques where by the applicative approach can nevertheless profitably be brought to bear. Our methods are illustrated using an existing functional programming language, and a example dealing with a multiuser distributed database system. Some physical aspects of a distributed processing of functional programs are also discussed

Applications of Feedback in Functional Programming

The use of feedback loops in functional programming languages is explored, particularly in the context of graph-based semantic models. In this setting, program cycles (termed “applicative loops”) offer benefits that are both conceptual (e.g. providing simpler programs) and pragmatic (e.g. offering improved execution efficiency). These benefits are discussed under three general categories, each illustrated with a sample problem: (1) direct encoding of cyclic stream processing algorithms, illustrated by a Dynamo-style “continuous” simulation; (2) resolution of complex evaluation order problems, illustrated by attribute grammar parsing; (3) programmed management of computational aggressiveness, illustrated by a bounded-buffer controller