Dr. Roy Friedman

Consistency Conditions for a CORBA Caching Service

Distributed object caching is essential for building and deploying Internet wide services based on middlewares such as CORBA. By caching objects, it is possible to mask much of the latency associated with accessing remote objects, to provide more predictable quality of service to clients, and to improve the scalability of the service.

In this talk I will start by presenting the CASCADE system for caching active CORBA objects in the Internet. I will discuss the unique challenges of this system, and how they are addressed by our design. In the second part of the talk, I will discuss a combined theoretical and practical view on specifying and implementing consistency conditions for such a service. This includes a formal definition of a set of basic consistency conditions which are given in a very abstract, implementation independent manner. I will show that common consistency conditions such as sequential consistency, causal consistency, and PRAM can be formally specified as a combination of these more basic conditions. Finally, time permitting, I will describe the implementation of the proposed basic consistency conditions in CASCADE.

* The talk is based on joint work with Roman Vitenberg from the Technion, and Grisha Chockler and Danny Dolev from the Hebrew University in Jerusalem.



 
Referent:    Dr. Roy Friedman,
             Computer Science Department
             Israel Institute of Technology

Zeitpunkt:   Dienstag, 3. Oktober 2000, 14:15 Uhr

Ort:         HS 2 der Universität Klagenfurt


Dr. Roy Friedman is a senior lecturer at the department of Computer Science at the Technion - Israel Institute of Technology since October 1997. Friedman holds a B.Sc. and D.Sc. in computer science from the Technion, and has spent 3 years as a researcher at Cornell University. His main areas of interest are distributed systems, group communication, fault-tolerance, CORBA, reliable distributed multimedia systems, and soft real-time.