Advertisement

Typenkennung, Datenstruktur-Architekturen, Sprach-Architekturen

  • Wolfgang K. Giloi
Part of the Springer-Lehrbuch book series (SLB)

Zusammenfassung

Ein Rechner, bei dem auf der Hardware-Ebene die verschiedenen in ihm existierenden Datentypen gekennzeichnet sind, nennen wir eine Architektur mit Typenkennung (tagged architecture). Die Kennzeichnung kann dabei durch zusätzliche Kennbits (tags) in jedem Speicherwort erfolgen. Handelt es sich dabei urn die Datentypen einer höheren Programmiersprache bzw. der in ihr geschriebenen Anwendungsprogramme, so sprechen wir von einer Datentypen-Architektur. Werden insbesondere Daten-strukturtypen eingeführt, so sprechen wir auch von einer Datenstruktur-Architektur. Die im vorhergehenden Kapitel betrachteten Vektormaschinen stellen eine einfache Form einer Datenstruktur-Architektur dar.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur zu Kapitel 8

  1. [BaG 87]
    Beer J., Giloi W.K.: POPE — A Parallel Operating Prolog Engine, Future Generation Computer Systems 3,2 (May 1987), 83–92CrossRefGoogle Scholar
  2. [BaG 89]
    Brüning U., Giloi W.K.: Architecture of a Functionally Parallelized Processor With Hardware Synchronization and Communication, in Kartashev & Kartashev (eds.): Proc. Supercomputing’ 89: Supercomputing Structures & Computations, vol. I, Internat. Supercomputing Inst, Inc., St. Petersburg, FL 1989Google Scholar
  3. [BaG 92]
    Bi H., Giloi W.K.: Supporting Matrix Operations in Vector Architectures, Proc. Internat Parallel Processing Sympos. 1992, IEEE Order no. 2672Google Scholar
  4. [BDB 91]
    Böttcher A., Diestelkamp W., Bi H.: Modula-S, A Language to Exploit Two-dimensional Parallelism, Proc. 1st Internat. Conf. of the Austrian Center for Parallel Computation, Salzburg, Austria 1991Google Scholar
  5. [Bea 92]
    Bohlender G., Cordes D., Knöfel A., Kulisch U., Lohner R., Walter W.V.: Proposal for Accurate Floating-Point Arithmetic, in Adams/ Kulisch (eds.): Scientific Computing with Automatic Result Verification, Academic Press, Orlando, FL 1992, 87–102Google Scholar
  6. [BEE 87]
    Concepts, Design, and Performance Analysis of a Parallel Prolog Machine, Dissertation, Techn. Universität Berlin, FB Informatik 1987Google Scholar
  7. [BEE 88]
    Beer J.: The Occur-Check Problem Revisited, Journal of Logic Programming 5 (1988), 243–261zbMATHCrossRefGoogle Scholar
  8. [BIH 91]
    Bi H.: Exploiting Two-dimensional Explicit Parallelism On Vector Architectures, Dissertation, Techn. Universität Berlin, FB Informatik 1991Google Scholar
  9. [BOT 92a]
    Böttcher A.: Closing the Parallel Gap — A Data Structure Architecture, Dissertation, Technische Universität Berlin, FB Informatik 1992zbMATHGoogle Scholar
  10. [BOT 92b]
    Böttcher A.: Closing the Parallel Gap — A Data Structure Architecture, Proc. ATABLE 2nd Internal Workshop on Array Structures, Montreal, Canada 1992Google Scholar
  11. [BRU 88]
    Brüning U.: Realisierunsgprinzipien von Mikrorechners hoher numerischer Leistung, Dissertation, Techn. Universität Berlin, FB Informatik 1987Google Scholar
  12. [ENS 74]
    Enslow P.H. (ed.): Multiprocessors and Parallel Processing, Wiley-Interscience, New York 1974zbMATHGoogle Scholar
  13. [Fea 84]
    Fisher J.A., Ellis J.R., Ruttenberg J.C., Nikolau A.: Parallel Processing: A Smart Compiler and a Dumb Machine, Proc. ACM SIGPLAN 1984 Sympos. on Compiler Construction (June 1984), 37–47Google Scholar
  14. [FEU 73]
    Feustel E.A.: On the Advantages of Tagged Architectures, IEEE Trans. on Computers C-22, 7 (July 1973), 644–656CrossRefGoogle Scholar
  15. [GaB 78]
    Giloi W.K., Berg H.K.: Data Structure Architectures — A Major Operational Principle, Proc. 5th Annual Sympos. on Computer Architecture, IEEE Catalog no. 78CH1284-9C, 44–51Google Scholar
  16. [GaG 82]
    Giloi W.K., Güth R.: Concepts and Realization of a High-Performance Data Type Architecture, InternaL J. of Computer and Information Sciences 11,1 (Jan. 1982), 25–54zbMATHCrossRefGoogle Scholar
  17. [Gea 91]
    Giloi W.K., Beer J., Nozad-Tehrani K., Schramm A., Student M. Xia H.: The Parallel-Operating Prolog Engine POPE, Techn. Report, GMD FIRST 1991Google Scholar
  18. [GIL 79]
    Giloi W.K.: The DRAMA Principle and Data Type Architectures, in Niedereichholz J. (ed.): Datenbanktechnologie,Teubner-Verlag, Stuttgart 1979, 81–100Google Scholar
  19. [GIL 90]
    Giloi W.K.: Whither Image Analysis System Architecture ?, in Burkhardt H., Neuvo Y., Simon J.C. (eds): From Pixels to Features II: Parallelism in Image Processing, ESPRIT BRA 3030 Workshop, Bonas, France (1990)Google Scholar
  20. [GRC 89]
    Gössel M., Rebel B., Creutzburg R.: Speicherarchitektur und Parallelzugriff, Akademie-Verlag, Berlin1989zbMATHGoogle Scholar
  21. [GUE 82]
    Güth R.: Entwurf einer Datentyp-Architektur, Dissertation, Techn. Universität Berlin, FB Informatik 1982Google Scholar
  22. [ILI 72]
    Iliffe J.K.: Basic Machine Principles, Macdonald, London 1972 (2nd. ed.)Google Scholar
  23. [INT 81]
    Anonymous: Introduction to the iAPX 432 Architecture, Intel Corporation, Santa Clara, CA 1981Google Scholar
  24. [IVE 62]
    Iverson K.E.: A Programming Language, J. Wiley & Sons, New York 1962zbMATHGoogle Scholar
  25. [J0H71]
    Johnson J.B.: The Contour Model of Block-Structured Process, in Tou/ Wegner(eds.): Proc. Sympos. on Data Structures, ACM 1971, 55–82Google Scholar
  26. [KaM 81]
    Kulisch U., Miranker W.L.: Computer Arithmetic in Theory and Practice, Academic Press, New York 1981zbMATHGoogle Scholar
  27. [KUL 89]
    Kulisch U. (Hrsg.): Wissenschaftliches Rechnen mit Ergebnisverifikation — Eine Einfuhrung, Akademie-Verlag, Berlin, und Vieweg-Verlag, Wiesbaden 1989Google Scholar
  28. [Lea 77]
    Liskov B.H., Snyder A., Atkinson R., Schaffert C: Abstraction Mechanism in CLU, Comm. ACM 20,8 (Aug. 1977), 564–576zbMATHCrossRefGoogle Scholar
  29. [LEI 74]
    Leilich H.-O.: Assoziative Speicher, in Steinbuch/ Weber(eds,): Taschenbuch der Informatik, Band 1, Kapitel 4.4, Springer-Verlag 1974Google Scholar
  30. [MYE 78]
    Meyers G.J.: Advances in Computer Architecture, John Wiley & Sons, New York 1978Google Scholar
  31. [ORG 73]
    Organick E.I.: Computer System Organization — The B5700/B6700 Series, Academic Press, New York 1973Google Scholar
  32. [RaS 71]
    Rice R., Smith W.R.: SYMBOL — A Major Departure From Classic Software Dominated von Neumann Computing System, Proc. AFIPS 1971 SJCC, 575–587Google Scholar
  33. [RAS 90]
    Rasche R.: Die ULM — Ein RISC für Lisp, Dissertation, Technische Universität Berlin, FB Informatik 1990Google Scholar
  34. [Rea 78]
    Robinson L., Levitt K.N., Neumann P.G., Saxena A.R.: A Formal Methodology for the Design of Operating System Software, in Yeh R.T.(ed.): Current Trends in Programming Methodology, vol. 1, Prentice-Hall, Engewood Cliffs, NJ 1977Google Scholar
  35. [RUD 72]
    Rudolph J.A.: A Production Implementation of an Associative Array Processor STARAN, Proc. AFIPS Fall Joint Computer Conf. 1972, 229–241Google Scholar
  36. [TaW 75]
    Thurber K.J., Wald L.D.: Associative and Parallel Processors, Computing Surveys 7,4 (Dec. 1975), 215–255zbMATHCrossRefGoogle Scholar
  37. [TUZ 88]
    Töpfer H.J., Ungerer T., Zehendner E.: Computer Architectures: A Case For Top-Down Design, Proc. IEEE Workshop on Future Trends of Distributed Computing Systems in the’ 90s, Hong Kong, IEEE-CS Press 1988Google Scholar
  38. [UNG 84]
    Ungar D.: Generation Scavenging: A Non-disruptive High Performance Storage Reclamation Algorithm, Comm. ACM (Aug. 1984)Google Scholar
  39. [UNG 86]
    Ungerer T.: Die Programmflußsteuerung der Augsburger strukturorientierten Rechnerarchitektur ASTOR, Dissertation, Universität Augsburg 1986Google Scholar
  40. [WAR 83]
    Warren D.H.D.: An Abstract Prolog Instruction Set, SRI Technical Note 309, Stanford Research Institute International, Menlo Park, CA (1983)Google Scholar
  41. [WEG 71]
    Wegner P.: Programming Languages, Information Structures, and Machine Organization, McGraw-Hill, New York 1971Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Wolfgang K. Giloi
    • 1
  1. 1.GMD und TU BerlinBerlin

Personalised recommendations