From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_05,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!portal!cup.portal.com!David_A_Wheeler
From: David_A_Wheeler@cup.portal.com
Newsgroups: comp.lang.ada
Subject: Reference: Fault-Tolerant multiprocessors in Ada
Message-ID: <1561@cup.portal.com>
Date: Tue, 24-Nov-87 00:26:40 EST
Article-I.D.: cup.1561
Posted: Tue Nov 24 00:26:40 1987
Date-Received: Fri, 27-Nov-87 06:05:41 EST
References: <16869@clyde.ATT.COM>
Organization: The Portal System (TM)
XPortal-User-Id: 1.1001.2782
List-Id: <comp.lang.ada>


A decent article on implementing a Fault-Tolerant multiprocessor system
in Ada is in the IEEE Transactions on Software Engineering May 1987,
"On the Implementation and Use of Ada on Fault-Tolerant Distributed
Systems" by John C. Knight and John I. A. Urquhart (Vol SE-13, #5, p553).

If you're trying to implement a fault-tolerant system in Ada I recommend
you take a a look... it has a few "here's what you need to do"
sentences in its summary.

--- David