liVEROTATPSWJOTHEK

lORMATlGNSBIBUOTHEK

PROCEEDINGS

The 1stInternationalConference on

DISTRIBUTEDCOMPUTINGSYSTEMSHuntsville, Alabama October 1-5,1979

SPONSORED BY

US Army Ballistic Missile DefenseAdvanced Technology Center (BMDATC),Huntsville, Alabama

ADMINISTERED BY

Auburn University96 Engineering Extension ServiceAuburn, Alabama

Cooperating Organizations

@ IEEE Computer Society

Institut de Recherche d'informatique et d'Automatique (IRIA)Information Processing Society of Japan (IPSJ)

UNIVERSlTATSBiBLIOTHEKhannover

technis:.:he

INFORMATIONSBJBLIOTHEK

IEEE Catalog No. 79CH1445-6C^

Library of Congress No. L/C 79-87924

«THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, INC.

Additional copies available from:

IEEE Computer Society IEEE Service Center

5855 Naples Plaza, Suite 301 445 Hoes Lane

Long Beach, CA 90803 Piscataway, NJ 08854

2-D*

Session T-1-3

DESIGN AND REQUIREMENTS SPECIFICATIONMETHODOLOGY -1

Chairperson: Dan Diewiorek, Carnegie-Mellon Univer¬sity

Requirements for Distributed Data Processing Design- 1M. Alford, TRW r

A Model fora Combined Communication Network 15Design and File Allocation for Distributed Data Bases-K. B. Iran and N. G. Khabbaz, University of MichiganSystem Eng. Lab

Distributed Computing System Design at the Subsys- 22tern Network Level-D. F. Palmer, General*ResearchCorporation

An Approach to Distributed Computing System Soft- 31ware Design—S. S. Yau and C. C. Yang, Northwestern

University

Session T-11-3

TESTING AND EVALUATION - I

Chairperson: Richard Merwin, George WashingtonUniversityMultilevel Specification and Validation of the Control 43in a Communication System-M. Devy and M. Diaz, duCentre National de la Recherche Scientifique

Interprocessor Communication in TRAC-i). V. 51Premkumar, et al., University of Texas at Austin

A Hierarchical Multicomputer for Problem-Solving 63Decomposition-^. B. Kieburtz, SUNY-Stony Brook

Session T-111-3

NETWORK DESIGN FOR DISTRIBUTED SYSTEMSChairperson: Philip S. Enslow, Georgia Institute of

TechnologyLoad-Sensitive Software Distribution in Satellite 72GraphicsSystems-N. Cullmann, TechnischeHochschule Darmstadt

A Formal Definition of the ISOANSI Open Systems 79Interconnection Reference Model-A Brief OverviewandProposal fora State-Oriented SystemsApproach—T. F. Piatkowski, Iowa State UniversitySystem Design of the Distributed Double-L oop 95

Computer Network (DDLCN)-M. T. Liu, et al., OhioState UniversityAn Interconnection Network for Mu/timicro- 772

processor Enulator Systems-H. J. Siegel, Purdue

University and S. D. Smith, University of Wisconsin

Session T-1-4

DISTRIBUTED ARCHITECTURES -1Chairperson: Michael J. Flynn, Stanford UniversityArchitecture, Communication Procedures and Perform- 106ance Evaluation of the u.* Multimfcroprocessor System-M. A. Marsan, et al., Instituto di Elettronica e Telecom-mecazioni

Scheduling on a LightPipe Simplex Ring-A. Goyal 116and J. Lipovski, University of Texas at Austin

Parallelism, Architecture and Representation Problems 124in Computer Systems-M. J. Flynn and J. Hennessy,Stanford University

Architecture Considerations for Local Computer Net- 131works-K. J. Thurber and Harvey A. Freeman, Sperry-Univac

Session T-11-4TESTING AND EVALUATION - IIChairperson: Stephen S. Yau, Northwestern UniversityThe Analysis of Distributed Computer Networks Using 143M/D/YandM/M/l Queues-H. K. Samari and G. M.Schneider, University of Minnesota

A Framework for the Quantitative Evaluation of Distri- 156buted Computer Systems-M. J. Gonzalez, et al., Uni¬

versity of Texas at San Antonio

DUCS-I: A Reconfigurable Software Emulator System 166for DDP Development andAlgorithm Evaluation—1.McConnell, et al., Carnegie-Mellon Institute of Research

A Configurable Distributed Computing System-P, 172Hsia, University of Alabama in Huntsville

Session T-l11-4

COMMUNICATIONS PROTOCOLS FOR

DISTRIBUTED COMPUTING SYSTEMSChairperson: Robert Lucky, Bell Telephone Labs

Performance ofProtocols in the Satellite Channel- 177E. Gelenbe and C. Poulain, University de Paris-Sud

The Contract Net Protocol; High-Level Communica- 185tion and Control in a Distributed Problem Solver—R. G. Smith, Defense Research Establishment Atlantic

An Introduction to Echo Algorithms- E. Chang, 193University of Waterloo

Some issues in Distributed Processes Communication- 199Y. Yemini and D. Cohen, USC/lnformation SciencesInstitute

Session W-MDESIGN AND REQUIREMENTS SPECIFICATIONMETHODOLOGY-IIChairperson: C, V. Ramamoorthy, University ofCalifornia at Berkeley

A Distributed Computing Architecture for Real Time 204System Control and Information Processing-Donald R.Mott, Syracuse Research Corporation

A Methodology for Represen ting the Formal Specifica- 212tion of Distributed Computing System Software Design—P. M. Lu and S. S. Yau, Northwestern University

An Analysis of Different Approaches to Distributed 222

Computing-Q. E. Lelann, IRIA/SFRTUS

Session W-11-1

PROGRAMMING LANGUAGES FOR DISTRIBUTEDSYSTEMS

Chairperson: William Wulf, Carnegie-Mellon UniversityMOD-A Language for DistributedProcessing- 233Robert P. Cook, University of Wisconsin at Madison

vii

Data Flow Computing: Software Development-James 242

R. McGraw, University of California

Communications Port-A Language Concept for Con- 252

current Programming—Tsar\% William Mao and

Raymond T. Yeh, University of Texas at Austin

Session W-1-2

DISTRIBUTED ARCHITECTURES - II

Chairperson: Svetlana Kartaschev

Performance of Reconfigurable Buses for Dynamic 261

Architectures—Svetlana P. Kartaschev, University of

Nebraska

An Assessment of the Applicability of Highly Variable 274

Computer Architectures to Radar Data Processing— K. J.

Thurber, et al., Sperry-Univac

Error Detection, Reconfiguration and Recovery in 284

Distributed Processing Systems- K. H. Kim, SUNY-

Binghamton

Session W-11-2

NETWORK LANGUAGE AND SYSTEM SOFTWARE

Chairperson: Oscar Garcia, University of South Florida

Toward a Partitioning Compiler for a Distributed 296

Computer System—0. El-Dessouki, et al., Illinois

Institute of Technology

A Network System Language—Fabio Tarini, et al., 305

CNUCE

PCL-A Process Oriented Job Control Language-^. R. 315

Lesser, et al., University of Mass.

Session W-1-3

SPECIFICATION AND DESIGN OF COMMUNICATIONSYSTEMS

Chairperson: Jack Goldberg, SRI

Synchronization for Distributed Systems Using a 330

Single Broadcast Channel—J. S. Banino, et al., IRIA

andCNAM

Abstract Specification of Communication Systems- 339

Ph. Darondeau, et al., Universite de Rennes

Security and Modularity in Message Passing—C. 347

Hewitt, etal., MIT

Session W-11-3

DISTRIBUTED COMPUTING, RELIABILITY AND

FAULT TOLERANCE

Chairperson: K. H. Kim, State University of New York

RHEA-A Damage and Fault Tolerant Digital Com- 359munication Support for Distributed Avionic Processing—D. R. Powell, Centre National de al Recherche Scientifi-

que

Protection Against External Errors in a Dedicated 374

System: Test, Rollback and Recovery—C. Bellon and G.

Saucier, ENSIMAG

Reliability Modeling of Multiprocessor Architectures- 384R. Joobbani and D. P. Siewiorek, CMU

Session W-1 -4

IMPLEMENTATION SCHEMES FOR INTERPROCESS

COMMUNICATIONS SYSTEMS

Chairperson: Gerald LeLann, I RIA

USA: Communication Mechanism for Local Networks— 399

Marian Marinescu, University of Grenobie

An Interprocess Communication Scheme for the Sup- 405

port of Cooperating Process Networks-Jack A. Test,Prime Computer, Inc.

An Inter-Module Communication System fora 412

Distributed Computer System—Bjarne Stoustrup, Bell

Laboratories

A Unified Interface for Process Communication- 419Hulmut G. Stiegler, Siemens AG

Session W-11-4

DATA BASE COMPUTERS

Chairperson: Jack Lipovski, University of Texas at

Austin

The Varieties of Data Flow Computers—Jack Dennis, 430

MIT

A Performance Tool for Design and Installation Sup- 440

port of Distributed Data Base Systems—Joachim Bieber

and S. Florek, Technische University of Berlin

A Distributed File System for a Hierarchical Multi- 448

computer—Jishnu Mukerji and R. B. Kiebutz, SUNY-

Stony Brook

MUFFIN: A Distributed Data Base Machine-Michael 459

Stonebraker, University of California at Berkeley

Session W-111-4

APPLICATIONS OF DISTRIBUTED COMPUTING TO

RADAR SYSTEMS

Chairperson: E. Swartzlander, TRW

Implementation of a Distributed Node of Radar 470

Control-U. J. Sarig and D. S. Bowser, G.E.

Distributed Computer Architecture for the Discrete 480

Address Beacon System—C. M. Applewhite, Tl

A Distributed Processor Architecture for BMD Signal 490

and Data Processing Application—R. L. South and

R. J. Purdy.MIT

Automatic Integration of Missile Element Radar- 507

David A. Bennett and C. A. Landauer, Pattern Analysisand Recognition Corp.

Session Th-1-1

DECENTRALIZED CONTROL -1

Chairperson: Tom Steding, SCI

The Modular System Control Development Model 514

(MSCDM)-Marsba\ Potter and D. J. Paulish, Def.

Communications Eng. Center

Evaluating the Trade-off Between Centralized and 520

Distributed Computing— I. Mitrani, University of New¬

castle Upon Tyne, and K. C. Sevcik, University of

Toronto

A Decentralized Control Method in a Distributed Com- 529

puter System—J. P. Cabanel, et al., Universite Paul

Sabatier

Session Th-11-1

DISTRIBUTED SYSTEMS: SIMULATION ANDMODELING

Chairperson: Sue Mitchell, GRC-Huntsville

Distributed Emulation Control: An Algorithm with 536

ESP-B. P. Buckles and H. D. Fitzgibbon, GRC

Simulation on a Distributed System-Randal E. Bryant, 544MIT

An Experiment in Distributed Interpretation-M. R. 553

Lesser and L. D. Erman, University of Massachusetts

Session Th-l-2

DECENTRALIZED CONTROL - II

Chairperson: Carroll Johnson, University of Alabama

in Huntsville

viii

Foundations of Spatial Dynamic Programming— R. E. 572

Larson, et al., SCI

On Decentralized Information and Data Processing 579

Considerations for Stochastic Real Time Control

Algorithms—Jason L. Speyer, University of Texas at

Austin

"On the Performance of Di/kstra 's Self-Stabilizing 586

Algorithms in Spite of Distributed Control"-C. Whitby-Strevens, University of Warwick

Session Th-11-2

DISTRIBUTED DATA BASES APPLICATIONS AND

TECHNIQUES

Chairperson: Bill McDonald, System DevelopmentCorporation

Limitations of the Use of Distributed Environment 593

Simulation asa Means ofSystem Testing-David A.

Spencer, MIT

Logical Clock Synchronization Method for Duplicated 601

Data Base Control-A. Kaneko, et al., NEC Central

Research Lab

Setting Clocks Back in a Distributed Computing 612

System-Geneva G. Belford, University of Illinois

Session Th-l-3

DISTRIBUTED DATA BASES PROCESSING AND

CONTROL -1

Chairperson: Leslie Lamport

A Majority Consensus Algorithm for the Consistency 617

of Duplicated and Distributed Information- J. Seguin,etal., IMAG

An Algorithm for Maintaining the Consistency of 625

Multiple Copies— D. Herman and J. P. Verius, Univer¬

sity de Rennes

A Posted Update Approach to Concurrency Control in 632

Distributed Data Base Systems—Saeed K. Rahimi and

W. R. Franta, University of Minnesoda

The Placement of Relations as a Distributed Relational 642

Data Base-C. V. Ramamoorthy and B. W. Wah, Uni¬

versity of California at Berkeley

Session Th-ll-3

DISTRIBUTED OPERATING SYSTEMS

Chairperson: Edith Martin, Georgia Tech ExperimentStation

A Decentralized Control Method in a Distributed 651

System-^. P. Cabanel, Universite Paul Sabatier

Multiprocessor Scheduling Policies-Kichard Y. Kain, 660

et al., University of Minnesota

A Distributed OS for a Reconfigurable Network 669

Computer-Larry D. Wittie, SUNY-Buffalo

Session Th-l-4

DISTRIBUTED DATA BASES PROCESSING AND

CONTROL-II

Chairperson: Raymond Yeh, University of Texas at

Austin

A Unified Method for Query Decomposition and 679

Shared Information Updating in Distributed Systems-Nguyen Gia Toan, IMAG

A Strategy for Optimizing the Distributed Query 686

/Vocess//7ff-ln-Sup Paik and C. Delobel, IMAG

Centralized Control Update Algorithms for Fully Re- 699

dundant Distributed Data Bases-Hector Garcia-Molina,Stanford University

SPIRIT: A Mew Relational Database Computer Em- 757

ploying Functional-Distributed Multi-Microprocessor

Configuration-H. Aisa, et al., Keiha University, Japan

Session Th-11-4APPLICATION OF DISTRIBUTED COMPUTING TO

MODULAR MISSILE-BORNE COMPUTERS

Chairperson: Tony Johnson, BMDATC

MMBC Architecture-^. G. Arnold, et al., Honeywell 707

NNBC Software Structuresand Implementation-H. L. 725

Applewhite, et al., Honeywell

MMBC Hardware Modules-l. I. Kinney, et al., 736

Honeywell

An Overview of the MMBC Architecture from the Re- 747

quirements and Constraints Point of View- R. R.

Ramseyer and R. G. Arnold, Honeywell