Dissemination of state information in distributed autonomous systems

Authors:
Steve J. Chapin;Eugene H. Spafford
Affiliations:
Department of Computer Science, Thornton Hall, University of Virginia, Charlottesville, VA 22903, USA;Department of Computer Sciences, 1398 Computer Science Building, Purdue University, West Lafyette, IN 47907-1398, USA
Venue:
Computer Communications
Year:
1998

Citing 12
Cited 0

Heuristic Algorithms for Task Assignment in Distributed Systems

IEEE Transactions on Computers
Node autonomy in distributed systems

DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
A distributed batching system for parallel processing

Software—Practice & Experience
Assignment of independent tasks to minimize completion time

Software—Practice & Experience
Scheduling support mechanisms for autonomous, heterogeneous, distributed systems

Scheduling support mechanisms for autonomous, heterogeneous, distributed systems
Support for implementing scheduling algorithms using MESSIAHS

Scientific Programming - Special issue on operating system support for massively parallel computer architectures
The Legion vision of a worldwide virtual computer

Communications of the ACM
Partitioning and Scheduling Parallel Programs for Multiprocessors

Partitioning and Scheduling Parallel Programs for Multiprocessors
The Design and Analysis of Computer Algorithms

The Design and Analysis of Computer Algorithms
Scheduling parallel applications in distributed networks

Cluster Computing
Scheduling From the Perspective of the Application

HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
Multiprocessor Scheduling with the Aid of Network Flow Algorithms

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.24

Visualization

Abstract

Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those algorithms. Fundamental to these mechanisms is an accurate means for information exchange between distributed systems. The MESSIAHS project investigated the construction of a set of mechanisms to support task placement in autonomous, heterogeneous, distributed systems. In this paper we describe the semantics of the protocols used to exchange system state information within MESSIAHS, and develop formal models to prove that the protocols accurately propagate system description information throughout the system.