Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
Russell Aubusson and Ivor Catt "Wafer-Scale Integration — A Fault-Tolerant Procedure." IEEE Journal of Solid State Circuits, Vol. SC-13, June 1978.
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.
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.
L. Cardelli "Compiling a Functional Language". Proceedings of the ACM Conference on Lisp and Functional Programming, Austin, Texas (1984).
E.W. Dijkstra "A Mild Variant of Combinatory Logic". EWD735 (1980).
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.
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.
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.
The FPM Hope Compiler. Department of Computing. Imperial College of Science and Technology, 180 Queen's Gate, London SW7 2BZ, United Kingdom.
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).
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.
J.R. Kennaway and M.R. Sleep "Director Strings as Combinators". University of East Anglia Report (1981).
J.W. Klop Term Rewriting Systems. Notes provided for the seminar on reduction machines. Ustica, September 1985. Center for Mathematics and Computer Science, Amsterdam.
Alan Mycroft Abstract Interpretation and Optimising Transformations for Applicative Programs. PhD. thesis, Department of Computer Science, University of Edinburgh, 1981.
Simon L. Peyton Jones Implementing Functional Languages using Graph Reduction. To appear. Prentice-Hall (1987).
C.R. Jesshope and W.R. Moore Wafer-Scale Integration, Adam Hilger Ltd. (1986).
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–16
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anderson, P., Hankin, C., Kelly, P., Osmon, P., Shute, M. (1987). Cobweb-2: Structured specification of a wafer-scale supercomputer. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds) PARLE Parallel Architectures and Languages Europe. PARLE 1987. Lecture Notes in Computer Science, vol 258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17943-7_120
Download citation
DOI: https://doi.org/10.1007/3-540-17943-7_120
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17943-6
Online ISBN: 978-3-540-47144-8
eBook Packages: Springer Book Archive