Ordering Traces Logically to Identify Lateness in Message Passing Programs
نویسندگان
چکیده
منابع مشابه
Fault Tolerance in Message Passing Interface Programs
In this paper we examine the topic of writing fault-tolerant Message Passing Interface (MPI) applications. We discuss the meaning of fault tolerance in general and what the MPI Standard has to say about it. We survey several approaches to this problem, namely checkpointing, restructuring a class of standard MPI programs, modifying MPI semantics, and extending the MPI specification. We conclude ...
متن کاملEARL - A Programmable and Extensible Toolkit for Analyzing Event Traces of Message Passing Programs
This paper describes a new meta-tool named EARL which consists of a new highlevel trace analysis language and its interpreter which allows to easily construct new trace analysis tools. Because of its programmability and flexibility, EARL can be used for a wide range of event trace analysis tasks. It is especially well-suited for automatic and for application or domain specific trace analysis an...
متن کاملA Message Ordering Problem in Parallel Programs
We consider a certain class of parallel program segments in which the order of messages sent affects the completion time. We give characterization of these parallel program segments and propose a solution to minimize the completion time. With a sample parallel program, we experimentally evaluate the effect of the solution on a PC cluster.
متن کاملStatic Verification of Message Passing Programs
Many industrial applications, including safety-critical ones, consist of several disjoint components that use message passing to communicate according to some protocol. These components are typically highly concurrent, since message exchanges may occur in any order. Developing correct message passing programs is therefore very challenging, which makes proving their correctness crucial [4]. A po...
متن کاملOrthogonal Processor Groups for Message-Passing Programs
We consider a generalization of the SPMD programming model to orthogonal processor groups. In this model different partitions of the processors into disjoint processor groups can be exploited in a single parallel implementation. The parallel programming model is appropriate for grid based applications with computations and dependence pattern mainly aligned in horizontal or vertical directions. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Parallel and Distributed Systems
سال: 2016
ISSN: 1045-9219
DOI: 10.1109/tpds.2015.2417531