Argus Reference Manual.

Abstract

Argus is an experimental language/system designed to support the construction and execution of distributed programs. Argus is intended to support only a subset of the applications that could benefit from being implemented by a distributed program. Two properties distinguish these applications: they make use of on-line data that must remain consistent in spite of concurrency and hardware failures, and they provide services under real-time constraints that are not severe. Examples of such applications are office automation systems and banking systems. Argus is based on CLU. It is largely an extension of CLU, but there are number of differences. Like CLU, Argus provides procedures for procedural abstraction, iterators for control abstraction, and clusters for data abstraction. In addition, Argus provides guardians that encapsulate and control access to one or more resources. Argus also provides equate modules as a convenient way to refer to constants. As in CLU, modules may be parameterized, so that a single module can define a class of related abstractions. Keywords: Fault tolerant computing.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1987
Accession Number
ADA190382

Entities

People

  • Barbara Liskov
  • Gary Leavens
  • Mark Day
  • Maurice Herlihy
  • Paul Johnson

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Coding
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Databases
  • Decoding
  • Department Of Defense
  • Fault Tolerance
  • Information Processing
  • Language
  • Massachusetts
  • Military Research
  • Multithreading
  • Programming Languages

Fields of Study

  • Engineering

Readers

  • Canadian European Scientific Immigration and Epilepsy Clearance Studies
  • Computer Science.
  • Educational Psychology