36796122
Programming SIMPLE for Parallel Portability
The Phase Abstractions formulation of Livermore's SIMPLE computation is described in detail. This new program is of interest for three reasons. First, it enables the Phase Abstractions approach to be easily compared with the many other programming styles illustrated by SIMPLE in the past. Secondly, this program has recently been reported to execute on five diverse MIMD computers, in all cases achieving speedups in excess of 50% of linear. Thirdly, the Phase Abstractions permit easy revisions of the program that enable performance experimentation. Specifically, “array blocks” are compared to “column strips” as a means of array decomposition. Results comparing the two approaches are presented for the Sequent Symmetry, BBN Butterfly, Intel iPSC/2 and NCUBE/7. The results confirm the intuition that blocks are superior.
15307682
Accommodating polymorphic data decompositions in explicitly parallel programs
Explicitly parallel programs have the potential for greater performance than their implicitly parallel counterparts. However, this benefit can be accompanied by additional programming difficulties. We address one particular problem that has implications for both scalability and portability: the need for programs do accommodate diverse data decompositions. We explain why programs with explicit communication have difficulties in handling changes in data decomposition, and we present a solution to this problem which involves the notions of derivative functions and configuration parameters. We illustrate the technique by using three different data decompositions to solve the Modified Gram-Schmidt method on four parallel machines.<<ETX>>
5795237
The portable parallel implementation of two novel mathematical biology algorithms in ZPL
This paper shows that mathematical models of biological pattern formation are ideally suited to data parallelism. We present two new algorithms, one for simulating the dynamic structure of fibroblasts, and the other for studying the self-organization of motile bacteria. We describe implementations of these algorithms using a high level data parallel language called ZPL, and we give performance results for the Kendall Square Research KSR-2 and the Intel Paragon that include comparisons against sequential Fortran.
27000155
Towards a Machine-Independent Solution of Sparse Cholesky Factorization
9009444
A Portable Parallel N-Body Solver
We present parallel solutions for direct and fast n-body solvers written in the ZPL language. We describe the direct solver, compare its performance against a sequential C program, and show performance results for two very different parallel machines; the KSR-2 and the Paragon. We also discuss the implementation of the fast solver in ZPL, including factors pertinent to data movement.
7870525
Adaptive History-Based Memory Schedulers
As memory performance becomes increasingly important to overall system performance, the need to carefully schedule memory operations also increases. This paper presents a new approach to memory scheduling that considers the history of recently scheduled operations. This history-based approach provides two conceptual advantages: (1) it allows the scheduler to better reason about the delays associated with its scheduling decisions, and (2) it allows the scheduler to select operations so that they match the program's mixture of Reads and Writes, thereby avoiding certain bottlenecks within the memory controller. We evaluate our solution using a cycle-accurate simulator for the recently announced IBM Power5. When compared with an in-order scheduler, our solution achieves IPC improvements of 10.9% on the NAS benchmarks and 63% on the data-intensive Stream benchmarks. Using microbenchmarks, we illustrate the growing importance of memory scheduling in the context of CMP's, hardware controlled prefetching, and faster CPU speeds.
7645082
An annotation language for optimizing software libraries
This paper introduces an annotation language and a compiler that together can customize a library implementation for specific application needs. Our approach is distinguished by its ability to exploit high level, domain-specific information in the customization process. In particular, the annotations provide semantic information that enables our compiler to analyze and optimize library operations as if they were primitives of a domain-specific language. Thus, our approach yields many of the performance benefits of domain-specific languages, without the effort of developing a new compiler for each domain.
This paper presents the annotation language, describes its role in optimization, and illustrates the benefits of the overall approach. Using a partially implemented compiler, we show how our system can significantly improve the performance of two applications written using the PLAPACK parallel linear algebra library.
11189498
On the spanning connectivity of graphs
Abstract A k-container C ( u , v ) of G between u and v is a set of k internally disjoint paths between u and v . A k -container C ( u , v ) of G is a k * - container if it contains all vertices of G . A graph G is k * - connected if there exists a k * -container between any two distinct vertices. The spanning connectivity of G , κ * ( G ) , is defined to be the largest integer k such that G is w * -connected for all 1 ⩽ w ⩽ k if G is a 1 * -connected graph. In this paper, we prove that κ * ( G ) ⩾ 2 δ ( G ) - n ( G ) + 2 if ( n ( G ) / 2 ) + 1 ⩽ δ ( G ) ⩽ n ( G ) - 2 . Furthermore, we prove that κ * ( G - T ) ⩾ 2 δ ( G ) - n ( G ) + 2 - | T | if T is a vertex subset with | T | ⩽ 2 δ ( G ) - n ( G ) - 1 .
40521773
Cycle decompositions of crowns
Abstract For an integer n ⩾3, the crown S n 0 is defined to be the graph with vertex set { x 0 , x 1 ,…, x n −1 , y 0 , y 1 ,…, y n −1 } and edge set {x i y j : 0⩽i,j⩽n−1, i≠j} . In this paper we give some sufficient conditions for the edge decomposition of the crown into isomorphic cycles.
5812336
A Key Embedded Video Codec for Secure Video Multicast
The problem of controlling access to multimedia multicasts requires the distribution and maintenance of keying information. This paper proposes a new key embedded video codec for the media-dependent approach that involves the use of a data-dependent channel, and can be achieved for multimedia by using data embedding techniques. Using data embedding to convey keying information can provide an additional security and reduce the demand of bandwidth. In this paper, we develop a new statistical data embedding algorithm on compression-domain, then, by combining FEC (Forward Error Correction) algorithm and our proposed key information frame format. After a series of simulation experiments, we find that the new codec can satisfy the special demand of media-dependent approach. At the same time, the codec provides good performance.
17351609
Two-dimensional LMS adaptive linear phase filters
Two-dimensional least mean square (2D LMS) adaptive filters are used in image processing applications for reducing noise. A new two-dimensional LMS algorithm is proposed, in which an additional linear phase constraint is added to the constraints of the existing 2D LMS algorithms. Compared with the conventional algorithms, the results show that the proposed algorithm is much more efficient both in computation time and memory storage.<<ETX>>