23 citations · 23 across the 3 of their papers we have counts for
6 papers
Methods to Model-Check Parallel Systems Software
Olga Shumsky Matlin, William McCune, Ewing Lusk
We report on an effort to develop methodologies for formal verification of parts of the Multi-Purpose Daemon (MPD) parallel process management system. MPD is a distributed collecti…
Optimizing Noncontiguous Accesses in MPI-IO
Rajeev Thakur, William Gropp, Ewing Lusk
The I/O access patterns of many parallel applications consist of accesses to a large number of small, noncontiguous pieces of data. If an application's I/O needs are met by making…
A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids
N. T. Karonis, B. de Supinski, I. Foster +2
The efficient implementation of collective communiction operations has received much attention. Initial efforts produced "optimal" trees based on network communication models that…
SPINning Parallel Systems Software
O. S. Matlin, E. Lusk, W. McCune
We describe our experiences in using SPIN to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect…
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation
E. Ong, E. Lusk, W. Gropp
We describe a family of MPI applications we call the Parallel Unix Commands. These commands are natural parallel versions of common Unix user commands such as ls, ps, and find, tog…
Components and Interfaces of a Process Management System for Parallel Programs
Ralph Butler, William Gropp, Ewing Lusk
Parallel jobs are different from sequential jobs and require a different type of process management. We present here a process management system for parallel programs such as those…