Date: Wed, 20 Nov 1996 19:14:42 GMT Server: Apache/1.0.3 Content-type: text/html Content-length: 2033 Last-modified: Mon, 17 Jun 1996 16:16:15 GMT
DSI is an system for symbolic multiprocessing based on the underlying operational model of suspending construction . The fundamental synchronization mechanism in this model is the suspension a transparent object representing a computation. Suspensions evolve into manifest data values, which can be inspected and manipulated by other computations. Computation is demand oriented, a relaxation of demand-driven computation in which a system with available processing resources can speculatively activate suspensions for bounded execution. We are interested in this model as a general basis for improving the performance of limited-scale multiprocessors. Daisy is a surface language for programming in the DSI system. Daisy is an applicative language (a mutation of Scheme) with provisions for exploiting a suspending list constructor. Among these provisions are constructs for building networks of streams, including windowing operations for stream-based I/O. These facilities make Daisy a good language for modeling networks of self-timed communicating processes.
Associated Faculty:
Associated Graduate Students: Eric Jeschke (PhD 1995).
Affiliated Projects: This project has the same heritage as the Reference Counting Memory project and other work on Indiana on architectures for symbolic processing.
Support: Infrastructure support through NSF DCR85-52598 and CDA93-03189
For more information Coming Soon click here