Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Cedar Fortran and other vector and parallel Fortran dialects (1990)
    Springer
    The journal of supercomputing 4 (1990), S. 37-62 
    Details
    ISSN: 1573-0484
    Keywords: block-parallel ; Cedar Fortran ; Doall ; Doacross ; Fortran ; language constructs ; macrotasking ; microtasking ; multiprocessing ; synchronization ; unstructured tasking ; vector processing
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00162342
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    OR parallel execution of Prolog programs with side effects (1988)
    Springer
    The journal of supercomputing 2 (1988), S. 209-223 
    Details
    ISSN: 1573-0484
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00128177
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    A Constant Propagation Algorithm for Explicitly Parallel Programs (1998)
    Springer
    International journal of parallel programming 26 (1998), S. 563-589 
    Details
    ISSN: 1573-7640
    Keywords: COMPILER OPTIMIZATION ; CONSTANT PROPAGATION ; CONTROL FLOW GRAPH ; EXPLICIT PARALLELISM ; INTERMEDIATE REPRESENTATION ; STATIC SINGLE ASSIGNMENT FORM
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1018772514882
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    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
    Keywords: compiler analysis ; parallelism ; data speculation ; dependence analysis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: 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.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1007564701813
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Book
    Book
    Advances in languages and compilers for parallel processing (1991)
    Cambridge, MA u.a. :MIT Press,
    Details
    Title: Advances in languages and compilers for parallel processing
    Contributer: Nicolau, Alexandru , Gelernter, David , Gross, Thomas , Padua, David
    Publisher: Cambridge, MA u.a. :MIT Press,
    Year of publication: 1991
    Pages: 467 S.
    Series Statement: Research monographs in parallel and distributed computing
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 6
    Book
    Book
    Languages and compilers for parallel computing. 6th international workshop, Portland, Oregon, August 12-14, 1993, Proceedings.; 768 (1994)
    Berlin u.a. :Springer,
    Details
    Title: Languages and compilers for parallel computing. 6th international workshop, Portland, Oregon, August 12-14, 1993, Proceedings.; 768
    Contributer: Banerjee, Utpal , Gelernter, David , Nicolau, Alexandru , Padua, David
    Publisher: Berlin u.a. :Springer,
    Year of publication: 1994
    Pages: 655 S.
    Series Statement: Lecture notes in computer science 768
    Type of Medium: Book
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...