Dissemination of state information in distributed autonomous systems

Steve J. Chapin; Eugene H. Spafford

doi:10.1016/S0140-3664(98)00168-6

Dissemination of state information in distributed autonomous systems

Steve J. Chapin, Eugene H. Spafford

Research output: Contribution to journal › Article › peer-review

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.

Original language	English (US)
Pages (from-to)	969-979
Number of pages	11
Journal	Computer Communications
Volume	21
Issue number	11
DOIs	https://doi.org/10.1016/S0140-3664(98)00168-6
State	Published - Aug 10 1998
Externally published	Yes

Keywords

Autonomy
Parallel and distributed systems
State dissemination
Task scheduling

ASJC Scopus subject areas

Computer Networks and Communications

Access to Document

10.1016/S0140-3664(98)00168-6

Cite this

@article{5dd5a8bd41f14b5298f68b91523792e8,

title = "Dissemination of state information in distributed autonomous systems",

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.",

keywords = "Autonomy, Parallel and distributed systems, State dissemination, Task scheduling",

author = "Chapin, {Steve J.} and Spafford, {Eugene H.}",

note = "Funding Information: This work was sponsored in part by NASA GSRP grant number NGT 50919.",

year = "1998",

month = aug,

day = "10",

doi = "10.1016/S0140-3664(98)00168-6",

language = "English (US)",

volume = "21",

pages = "969--979",

journal = "Computer Communications",

issn = "0140-3664",

publisher = "Elsevier",

number = "11",

}

TY - JOUR

T1 - Dissemination of state information in distributed autonomous systems

AU - Chapin, Steve J.

AU - Spafford, Eugene H.

N1 - Funding Information: This work was sponsored in part by NASA GSRP grant number NGT 50919.

PY - 1998/8/10

Y1 - 1998/8/10

N2 - 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.

AB - 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.

KW - Autonomy

KW - Parallel and distributed systems

KW - State dissemination

KW - Task scheduling

UR - http://www.scopus.com/inward/record.url?scp=0032139171&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032139171&partnerID=8YFLogxK

U2 - 10.1016/S0140-3664(98)00168-6

DO - 10.1016/S0140-3664(98)00168-6

M3 - Article

AN - SCOPUS:0032139171

SN - 0140-3664

VL - 21

SP - 969

EP - 979

JO - Computer Communications

JF - Computer Communications

IS - 11

ER -

Dissemination of state information in distributed autonomous systems

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this