Bibliothek

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • ZIB Katalog  (2)
  • Artikel: DFG Deutsche Nationallizenzen  (4)
  • 1
    Digitale Medien
    Digitale Medien
    Cedar Fortran and other vector and parallel Fortran dialects (1990)
    Springer
    The journal of supercomputing 4 (1990), S. 37-62 
    Details
    ISSN: 1573-0484
    Schlagwort(e): block-parallel ; Cedar Fortran ; Doall ; Doacross ; Fortran ; language constructs ; macrotasking ; microtasking ; multiprocessing ; synchronization ; unstructured tasking ; vector processing
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The introduction of vector processors and multiprocessors has caused the most dramatic changes in Fortran and its dialects. The emerging generation of supercomputers utilizes both vector processing and multiprocessing. The challenge is to provide language constructs and software tools that will allow the programmer to easily exploit the capabilities of the machine. This paper outlines the development of vector and multiprocessor language constructs in Fortran. Significant architectures, their languages, and optimizers are described. The paper concludes with a description of Cedar Fortran, the language for the Cedar Multiprocessor under development at the University of Illinois, Urbana-Champaign. Cedar is a hierarchical, shared-memory, vector multiprocessor. As such, its language, Cedar Fortran, contains many of the language features that are described for vector processors and multiprocessors.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00162342
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 2
    Digitale Medien
    Digitale Medien
    OR parallel execution of Prolog programs with side effects (1988)
    Springer
    The journal of supercomputing 2 (1988), S. 209-223 
    Details
    ISSN: 1573-0484
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract With the growing availability of multiprocessors, a great deal of attention has been given to executing Prolog in parallel. A question that naturally arises is how to execute standard sequential Prolog programs with side effects in parallel. The problem of performing side effects in AND parallel systems has been considered elsewhere. This paper presents a method that generates sequential semantics of side effect predicates in an OR parallel system. First, a general method is given for performing data side effects such as read and write. This method is then extended to control side effects such as asserta, assertz, and retract. Finally, a constant-time algorithm for performing cut is presented.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00128177
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 3
    Digitale Medien
    Digitale Medien
    A Constant Propagation Algorithm for Explicitly Parallel Programs (1998)
    Springer
    International journal of parallel programming 26 (1998), S. 563-589 
    Details
    ISSN: 1573-7640
    Schlagwort(e): COMPILER OPTIMIZATION ; CONSTANT PROPAGATION ; CONTROL FLOW GRAPH ; EXPLICIT PARALLELISM ; INTERMEDIATE REPRESENTATION ; STATIC SINGLE ASSIGNMENT FORM
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract In this paper, we present a constant propagation algorithm for explicitly parallel programs, which we call the Concurrent Sparse Conditional Constant propagation algorithm. This algorithm is an extension of the Sparse Conditional Constant propagation algorithm. Without considering the interaction between threads, classical optimizations lead to an incorrect program transformation for parallel programs. To make analyzing parallel programs possible, a new intermediate representation is needed. We introduce the Concurrent Static Single Assignment (CSSA) form to represent explicitly parallel programs with interleaving semantics and synchronization. The only parallel construct considered in this paper is cobegin/coend. A new confluence function, the π-assignment, which summarizes the information of interleaving statements between threads, is introduced. The Concurrent Control Flow Graph, which contains information about conflicting statements, control flow, and synchronization, is used as an underlying representation for the CSSA from.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1023/A:1018772514882
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 4
    Digitale Medien
    Digitale Medien
    Containers on the Parallelization of General-Purpose Java Programs (2000)
    Springer
    International journal of parallel programming 28 (2000), S. 589-605 
    Details
    ISSN: 1573-7640
    Schlagwort(e): compiler analysis ; parallelism ; data speculation ; dependence analysis
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Static parallelization of general-purpose programs is still impossible, in general, due to their common use of pointers, irregular data structures, and complex control-flows. One promising strategy is to exploit parallelism at runtime. Runtime parallelization schemes, particularly data speculations, alleviate the need to statically prove independent computations at compile-time. However, studies show that many real-world applications exhibit limited speculative parallelism to offset the overhead and penalty of speculation schemes. This paper addresses this issue by using compiler analyses to compensate for speculative parallelizations. We focus on general-purpose Java programs with extensive use of Java container classes. In our scheme, compilers serve as a guideline of where to speculate by “lazily” detecting dependences that are mostly static, while leaving those that are more dynamic to runtime. We also propose techniques to enhance speculative parallelism in the programs. The experimental results show that, after eliminating static dependences, the four applications we study exhibit significant parallelism that can be gainfully exploited by a speculative parallelization system.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1023/A:1007564701813
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 5
    Buch
    Buch
    Advances in languages and compilers for parallel processing (1991)
    Cambridge, MA u.a. :MIT Press,
    Details
    Titel: Advances in languages and compilers for parallel processing
    Beteiligte Person(en): Nicolau, Alexandru , Gelernter, David , Gross, Thomas , Padua, David
    Verlag: Cambridge, MA u.a. :MIT Press,
    Erscheinungsjahr: 1991
    Seiten: 467 S.
    Serie: Research monographs in parallel and distributed computing
    Materialart: Buch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
  • 6
    Buch
    Buch
    Languages and compilers for parallel computing. 6th international workshop, Portland, Oregon, August 12-14, 1993, Proceedings.; 768 (1994)
    Berlin u.a. :Springer,
    Details
    Titel: Languages and compilers for parallel computing. 6th international workshop, Portland, Oregon, August 12-14, 1993, Proceedings.; 768
    Beteiligte Person(en): Banerjee, Utpal , Gelernter, David , Nicolau, Alexandru , Padua, David
    Verlag: Berlin u.a. :Springer,
    Erscheinungsjahr: 1994
    Seiten: 655 S.
    Serie: Lecture notes in computer science 768
    Materialart: Buch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    ZIB Katalog
    Zuse-Institut Berlin get availability status
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...