Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!usc!sdsu!bionet!agate!saturn!banatre@irisa.irisa.fr
From: banatre@irisa.irisa.fr (Michel Banatre)
Newsgroups: comp.os.research
Subject: Submission for comp-os-research
Message-ID: <9077@saturn.ucsc.edu>
Date: 5 Sep 89 13:47:26 GMT
Sender: usenet@saturn.ucsc.edu
Organization: IRISA, Rennes (Fr)
Lines: 48
Approved: comp-os-research@jupiter.ucsc.edu


	GOTHIC is a researh project aiming at providing an advanced
programming system for developping fault-tolerant distributed applications.
	Two main issues in this project:
	-The design and the realization of fault-tolerant multi-processor
workstations based on the active stable storage mechanism which incorporates
built-in mechanisms for the implementation of atomicity.
	-The design and the implementation of languages features which
reconciled object-oriented programming and parallelism. This is achieved
with the introduction of the concept of multiprocedure which allows the
expression of fine grain parallelism and its control within a generalized
procedural framework. Multiprocedures operate on fragmented objects which
are instances of abstract data types (classes), the concrete representation 
of such objects can be located on a set of virtual nodes. These language
features have been added to Modula-2.

	A first prototype version of the GOTHIC system has been designed and
implememted to run on a collection of fault-tolerant multiprocessor
workstations connected by a local area network.

Contact:	Michel BANATRE
		INRIA
		IRISA, Campus de Beaulieu,
		35042- RENNES cedex, FRANCE.
	
		tel:+33/ 99 36 20 00
		E-mail: banatre@irisa.fr

References.

BANATRE J.P., BANATRE M., PLOYETTE F.
The Concept of Multi-function: a General Structuring Tool for Distributing
Operating Systems.
Proc of 6th DCS, Cambridge, Mass, May 1986.pp.478-485.

BANATRE M., MULLER G., BANATRE J.P.
Ensuring Data Security with a Fast Stable Storage.
Proc. of 4th Int Conf on Data Eng. L.A., Feb. 88.

BANATRE J.P., BANATRE M., MULLER G.
Main Aspects of the GOTHIC Distributed System.
in R. Speth (ed), Research into Networks and Distributed Applications 
-EUTECO'88- Vienna, Austria, April 88.(North-Holland).

BANATRE J.P., BANATRE M., MORIN Ch.
Implementing Atomic Rendezvous within a Transactional Framework.
Proc of 8th Symp on Reliable Distributed Systems, Seatle, Oct 10-12 1989 
(to appear).