11 Matching Results

Search Results

Advanced search parameters have been applied.

Use of Monitors in FORTRAN: a Tutorial on the Barrier, Self-Scheduling DO-Loop, and Ask for Monitors

Description: A set of macro libraries has been developed that allows programmers to write portable FORTRAN code for multiprocessors. This document presents, in tutorial form, the macros used to implement three common synchronization patterns: self-scheduling DO-loops, barrier synchronization, and the askfor monitor.
Date: July 1984
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Use of Monitors in FORTRAN: a Tutorial on the Barrier, Self-Scheduling DO-Loop, and Askfor Monitors

Description: A set of macro libraries has been developed that allows programmers to write portable FORTRAN code for multiprocessors. This document presents, in tutorial form, the macros used to implement three common synchronization patterns: self-scheduling DO-loops, barrier synchronization, and the askfor monitor.
Date: June 1985
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

An LMA-Based Theorem Prover

Description: We describe here a theorem prover constructed from the facilities provided by Logic Machine Architecture (LMA). This program is not part of LMA itself, but illustrates the level of inference-based system which can be constructed from the LMA package of tools. It is a clause-based theorem prover supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user which includes a number of useful utility commands.
Date: December 1982
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Logic Machine Architecture Inference Mechanisms: Layer 2 User Reference Manual

Description: Logic Machine Architecture (LMA) is a package of software tools for the construction of inference-based systems. This is the reference manual for layer 2 of LMA. It contains the information necessary to write LMA-based systems at the level of layer 3. Such systems would include theorem provers, expert system reasoning components, and customized deduction components for a variety of application systems.
Date: December 1982
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Logic Machine Architecture Inference Mechanisms: Layer 2 User Reference Manual Release 2.0

Description: Logic Machine Architecture (LMA) is a package of software tools for the construction of inference-based systems. This document is the reference manual for layer 2 of LMA. It contains the information necessary to write LMA-based systems at the level of layer 3. Such systems include theorem provers, reasoning components for expert systems, and customized deduction components for a variety of application systems.
Date: April 1984
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

An Approach to Programming Multiprocessing Algorithms on the Denelcor HEP

Description: In the process of learning how to write code for the Denelcor HEP, we have developed an approach that others may well find useful. We believe that the basic synchronization primitives of the HEP (i.e., asynchronous variables), along with the prototypical patterns for their use given in the HEP FORTRAN 77 User's Guide, form too low-level a conceptual basis for the formulation of multiprocessing algorithms. We advocate the use of monitors, which can be easily implemented using the HEP primitives. Attempts to solve substantial problems without introducing higher-level constructs such as monitors can produce code that is unreliable, unintelligible, and restricted to the specific dialect of FORTRAN currently supported on the HEP. Our experience leads us to believe that solutions which are both clear and efficient can be formulated using monitors.
Date: December 1983
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Implementation of Monitors with Macros: A Programming Aid for the HEP and Other Parallel Processors

Description: In a previous paper, the advantages of using monitors when implementing multiprocessing algorithms for the Denelcor HEP were delineated. A detailed presentation is given here of how monitors can be implemented on the HEP using a simple macro processor. The thesis is developed that a small body of general-purpose monitors can be defined to handle most standard synchronization patterns. We include the macro packages required to implement some of the more common synchronization patterns, including the fairly complex logic discussed before. Code produced using these macro packages is portable from one multiprocessing environment to another. Indeed, by recoding the set of basic macros (about 100 lines of code for the Denelcor HEP), most programs that are now being written could be moved to any similar multiprocessing system.
Date: December 1983
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Implementation of Monitors with Macros: A Programming Aid for the HEP and Other Parallel Processors, Revision 1

Description: In this report we give a detailed presentation of how monitors can be implemented on the HEP using a simple macro processor. We then develop the thesis that a small body of general-purpose monitors can be defined to handle most standard synchronization patterns. We include the macro packages required to implement some of the more common synchronization patterns, including the fairly complex logic discussed in a previous paper. Code produced using these macro packages is portable from one multiprocessing environment to another. Indeed, by recoding the set of basic macros (about 100 lines of code for the Denelcor HEP), most programs that we are new writing could be moved to any similar multiprocessing system.
Date: July 1984
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

A Test Implementation of the MPI Draft Message-Passing Standard

Description: Message passing is a common method for programming parallel computers. The lack of a standard has significantly impeded the development of portable software libraries for these machines. Recently, an ad-hoc committee was formed to develop a standard for message-passing software for parallel computers. This group first met in April 1992 at a workshop sponsored in part by the Center for Research on Parallel Computation (CRPC). Four of the attendees at that meeting produced a draft standard, henceforth referred to as the MPI (Message-Passing Interface) draft standard. After review by a larger group, and significant changes in the document, a meeting was held in November to discuss the MPI draft standard. This document is a result of those discussions; it describes a running implementation of in most of the proposed standard, plus additional routines that were suggested by the discussions at the November meeting.
Date: December 1992
Creator: Gropp, William & Lusk, Ewing L.
Partner: UNT Libraries Government Documents Department

The Automated Reasoning System ITP

Description: This report describes a system designed to provide a portable environment for the study of automated reasoning. The system is built on the LMA automated reasoning subroutine package. This program is not part of LMA itself but illustrates the level of inference-based system that can be constructed from the LMA package of tools. It is a clause-based reasoning system supporting a wide variety of techniques which have proven valuable over the years in a long-running automated deduction research project. In addition, it is designed to present a convenient, interactive interface to its user.
Date: April 1984
Creator: Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department

Use of Monitors in Pascal on the Lemur: a Tutorial on the Barrier, Self-Scheduling FOR-Loop, and Askfor Monitors

Description: A set of macro libraries has been developed that allows programmers to write portable Pascal code for multiprocessors. This document presents, in tutorial form, the macros used to implement three common synchronization patterns: self-scheduling FOR-loops, barrier synchronization, and the askfor monitor.
Date: July 1984
Creator: Clausing, J. A.; Hagstrom, R. T.; Lusk, Ewing L. & Overbeek, Ross A.
Partner: UNT Libraries Government Documents Department