Dissemination of State Information in Distributed Autonomous Systems

Get BibTex-formatted data

Author

Steve J. Chapin, Eugene H. Spafford

Entry type

article

Abstract

Many researchers are devising algorithms for task pladement in distrubuted 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 ditributed 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 propogate system description information throughout the system.

Key alpha

Chapin

Pages

1-21

Affiliation

U. of Virginia, Purdue U.

Publication Date

0000-00-00

Keywords

parallel and distributed systems, task scheduling, autonomy, state dissemination

Language

English

Location

A hard-copy of this is in the Papers Cabinet

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

@Article{ Chapin,
	title = "Dissemination of State Information in Distributed Autonomous Systems",
	author = "Steve J. Chapin, Eugene H. Spafford",
	pages = "1-21",
	abstract = "Many researchers are devising algorithms for task pladement in distrubuted 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 ditributed 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 propogate system description information throughout the system.",
	affiliation = "U. of Virginia, Purdue U.",
	keywords = "parallel and distributed systems, task scheduling, autonomy, state dissemination",
	language = "English",
}