Automatically assigned DDC number: 00436

Manually assigned DDC number: 00436

Title: A New Consistency Protocol Implemented in the CAliF System

Author:

Author:

Author:

Subject: Herve Guyennet,Jean-christophe Lapayre,Michel Trehel A New Consistency Protocol Implemented in the CAliF System

Description: We propose a new consistency protocol for distributed shared memory (DSM) where different shared objects are replicated at each site. This protocol was developed for the cooperative platform called CAliF: Cooperative Application Framework. This system uses DSM to transparently handle the data sharing. We present an algorithm which uses the token technique. Updates of shared data are carried through a virtual ring on the token, named Pilgrim. Pilgrim protocol provides both reliable consistency and guaranteed performance according to the type of application described. In this paper, the protocol is described, proved and then simulated using the SPIN model checker, and we demonstrate its qualities. 1 Introduction Many cooperative work applications are found in literature: text editors [10, 4, 12], or multimedia applications such as CoMEdiA [14]. Standard environments like CORBA or DCE, and parallel programming environments as PVM or MPI do not propose specific facilities for cooperative ...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1999-01-20

Pubyear: unknown

Format: ps

Identifier: http://citeseer.ist.psu.edu/140122.html

Source: http://maarc.usc.edu/~hipc/hipc97/papers/006.ps

Language: en

Rights: unrestricted