Cobweb-2: Structured specification of a wafer-scale supercomputer
Using an informal presentation of the specification techniques being used in COBWEB-2's design, this paper has described the machine and the principles of its operation.
An on-wafer communications network with a fault-tolerant packet routing mechanism has been described. These techniques. Cartesian routing with convex wrapping, are a substantial improvement on Catt's spiral (used in COBWEB-1). The use of the network to increase “harvest” without requiring very high yield processing elements provides the key to feasible wafer scale integration.
KeywordsProcessing Element Engineering Model Abstract Machine Parallel Evaluation Graph Reduction
Unable to display preview. Download preview PDF.
- [Ansade et al. 86]Y. Ansade, R. Cornu-Emieux, B. Faure and G. Mazare "WSI Asynchronous Cells Network". Presented at IFIP Workshop on Wafer Scale Integration. Grenoble, France, 17–19 March 1986.Google Scholar
- [Aubusson & Catt 78]Russell Aubusson and Ivor Catt "Wafer-Scale Integration — A Fault-Tolerant Procedure." IEEE Journal of Solid State Circuits, Vol. SC-13, June 1978.Google Scholar
- [Barendregt et al. 86]H.P. Barendregt, M.C.J.D. van Eekelen and M.J. Plasmeijer "Specification of Reduction Strategies in Term Rewriting Systems." Preprint, Department of Computing Science, Nijmegen University, The Netherlands.Google Scholar
- [Burn, Hankin & Abramsky 85]Geoff Burn, Chris Hankin and Samson Abramsky "Strictness Analysis for Higher-Order Functions". Imperial College Department of Computing Report DoC 85/6, April 1985. To appear in Science of Computer Programming.Google Scholar
- [Cardelli 84]L. Cardelli "Compiling a Functional Language". Proceedings of the ACM Conference on Lisp and Functional Programming, Austin, Texas (1984).Google Scholar
- [Dijkstra 80]E.W. Dijkstra "A Mild Variant of Combinatory Logic". EWD735 (1980).Google Scholar
- [Greene & El Gamal 84]J.W. Greene and A. El Gamal "Configuration of VLSI Arrays in the Presence of Defects". JACM, Vol. 31, No. 4, October 1984, pp. 694–717.Google Scholar
- [Hankin, Burn & Peyton Jones 86]Chris Hankin, Geoff Burn and Simon Peyton Jones "A Safe Approach to Parallel Combinator Reduction" (Extended Abstract). Proceedings ESOP 86 (European Symposium on Programming), Saarbrucken, Federal Republic of Germany, March 1986, Robinet B. and Wilhelm R. (eds.) Springer Verlag LNCS 213, pp. 99–110.Google Scholar
- [Hankin, Osmon & Shute 85]Chris Hankin, Peter Osmon and Malcolm Shute "COBWEB — A Combinator Reduction Architecture." Functional Programming and Computer Architecture, Nancy, France, September 1985. J.-P. Jouannaud (ed.), Springer Verlag LNCS 201 pp.99–112.Google Scholar
- [Hope 86]The FPM Hope Compiler. Department of Computing. Imperial College of Science and Technology, 180 Queen's Gate, London SW7 2BZ, United Kingdom.Google Scholar
- [Hudak & Kranz 83]Paul Hudak and David Kranz "A Combinator-Based Compiler for a Functional Language". Principles of Programming Languages, 11th Annual Symposium, ACM SIGACT-SIGPLAN pp. 122–132 (Jan. 1984).Google Scholar
- [Kelly & Shute 86]Paul Kelly and Malcolm Shute "Cartesian Routing and Fault Tolerance in Wafer-Scale Multi-computer." Presented at IFIP Workshop on Wafer Scale Integration. Grenoble, France, 17–19 March 1986.Google Scholar
- [Kennaway & Sleep 81]J.R. Kennaway and M.R. Sleep "Director Strings as Combinators". University of East Anglia Report (1981).Google Scholar
- [Klop 85]J.W. Klop Term Rewriting Systems. Notes provided for the seminar on reduction machines. Ustica, September 1985. Center for Mathematics and Computer Science, Amsterdam.Google Scholar
- [Mycroft 81]Alan Mycroft Abstract Interpretation and Optimising Transformations for Applicative Programs. PhD. thesis, Department of Computer Science, University of Edinburgh, 1981.Google Scholar
- [Peyton Jones 87]Simon L. Peyton Jones Implementing Functional Languages using Graph Reduction. To appear. Prentice-Hall (1987).Google Scholar
- [Jesshope & Moore 86]C.R. Jesshope and W.R. Moore Wafer-Scale Integration, Adam Hilger Ltd. (1986).Google Scholar
- [Turner 85]David Turner "Miranda: a Non-strict Functional Language with Polymorphic Types." Functional Programming and Computer Architecture, Nancy, France, September 1985. J.-P. Jouannaud (ed.), Springer Verlag LNCS 201 pp.1–16Google Scholar