Skip to main content
SpringerLink
Log in

Cobweb-2: Structured specification of a wafer-scale supercomputer

  • Conference paper
  • First Online:
PARLE Parallel Architectures and Languages Europe (PARLE 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 258))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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 

  2. 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 

  3. 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 

  4. 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 

  5. L. Cardelli "Compiling a Functional Language". Proceedings of the ACM Conference on Lisp and Functional Programming, Austin, Texas (1984).

    Google Scholar 

  6. E.W. Dijkstra "A Mild Variant of Combinatory Logic". EWD735 (1980).

    Google Scholar 

  7. 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 

  8. 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 

  9. 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 

  10. The FPM Hope Compiler. Department of Computing. Imperial College of Science and Technology, 180 Queen's Gate, London SW7 2BZ, United Kingdom.

    Google Scholar 

  11. 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 

  12. 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 

  13. J.R. Kennaway and M.R. Sleep "Director Strings as Combinators". University of East Anglia Report (1981).

    Google Scholar 

  14. 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 

  15. Alan Mycroft Abstract Interpretation and Optimising Transformations for Applicative Programs. PhD. thesis, Department of Computer Science, University of Edinburgh, 1981.

    Google Scholar 

  16. Simon L. Peyton Jones Implementing Functional Languages using Graph Reduction. To appear. Prentice-Hall (1987).

    Google Scholar 

  17. C.R. Jesshope and W.R. Moore Wafer-Scale Integration, Adam Hilger Ltd. (1986).

    Google Scholar 

  18. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, The City University, Northampton Square, EC1 VOHB, London, UK

    Paul Anderson, Chris Hankin & Peter Osmon

  2. Department of Computing, Imperial College of Science and Technology, 180 Queen's Gate, SW7 2BZ, London, UK

    Paul Kelly

  3. Microelectronics Unit, Middlesex Polytechnic, Bounds Green Road, N11 2NQ, London, UK

    Malcolm Shute

Authors
  1. Paul Anderson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chris Hankin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul Kelly
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter Osmon
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Malcolm Shute
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker A. J. Nijman P. C. Treleaven

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation