Towards a rigorous base for the design of P2P systems
As a part of the RiSE seminar series, the Institute of Information Systems hosted a talk by Christian Scheideler.
|DATE:||Thursday, December 4, 2014|
|VENUE:||Semina room Zemanek, Favoritenstraße 9-11, 1040 Vienna|
Many P2P systems have already been proposed in the literature, but only very few of them are truly self-organizing in a sense that they can recover from any state. While certain degenerate states might be very rare, and may require major attacks to occur, it would nevertheless be much safer to use these systems if we knew that they would be able to recover from any bad event without human intervention. In theory, a system that can recover from any initial state is called self-stabilizing. While many self-stabilizing algorithms have already been proposed for static distributed systems, not many constructions for self-stabilizing dynamic distributed systems are known. In my presentation, I will present a rigorous base for the design of such systems which is based on our insights that we have gained from our various self-stabilizing constructions for P2P systems.