---------------------------------------------------------------------
Speaker:                Prof. Shlomi Dolev
                        Department of Computer Science
                        Ben-Gurion  University of the Negev
                        Israel
                        http://www.cs.bgu.ac.il/~dolev

Title:                  "Self-stabilizing distributed file systems"

Date:                   Thursday, October 17, 2002

Time:                   11:00 a.m. - 12 noon

Location:               Room 3464 (Math/CS conference room)
                        Phase II, via lift nos. 25/26
                        HKUST

Abstract:

Self-stabilization is a paradigm for designing systems that can be started
in an arbitrary state. In other words, a self-stabilizing system recovers
from unexpected faults that brought it to an arbitrary state.

A self-stabilizing distributed file system is presented. The system
constructs and maintains a spanning tree for each file volume. The
spanning tree consists of the servers that have volume replicas and caches
for the specific file volume.

The spanning trees are constructed and maintained by self-stabilizing
distributed algorithms. File system updates use the spanning tree to
implement read and write operation to a file.


                For enquiry, please call 2358 7008
                        ** All are Welcome **
---------------------------------------------------------------------------