Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreeme...
Google Tech Talks
April, 18 2008
ABSTRACT
Agreement problems are fundamental building blocks of reliable distributed systems, and the issue of designing reliable solutions that can cope with the high dynamism and self-organization nature of mobile ad-hoc and peer-to-peer networks is a very active field of current research. The core problem behind agreement problems is the consensus problem.
Informally, a group of processes achieves consensus in the following sense: each process initially proposes a value and all correct processes must reach a common decision on some value that is equal to one of the proposed values. It is well known that in classical environments, in which entities behave asynchronously and where identities are known, consensus cannot be solved in the presence of even one process crash. It appears that self-organizing systems are even less favorable because the set and identity of participants are not known.
In this talk, we are going to present necessary and sufficient conditions under which fault-tolerant consensus become solvable in these environments. Those conditions are related to the synchrony requirements of the environment, as well as the connectivity of the knowledge graph constructed by the nodes in order to communicate with their peers.
Joint work with Professor Sébastien Tixeuil, from LIP6, Université Paris 6, France
Speaker: Fabíola Greve
Fabíola Greve received the PhD degree in computer science in 2002 from Rennes University, INRIA Labs, France for her work on agreement protocols and group communication middleware. She is currently an associate professor in the Department of Computer Science at the Federal University of Bahia, Brazil, where she acts as the leader of the Gaudi distributed computing group. Her research interests are distributed computing and fault tolerance. Her current projects aim at identifying conditions and protocols able to provide fault tolerance in dynamic and self organizing systems, like as Manets and P2P systems.
Видео Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreeme... канала Google TechTalks
April, 18 2008
ABSTRACT
Agreement problems are fundamental building blocks of reliable distributed systems, and the issue of designing reliable solutions that can cope with the high dynamism and self-organization nature of mobile ad-hoc and peer-to-peer networks is a very active field of current research. The core problem behind agreement problems is the consensus problem.
Informally, a group of processes achieves consensus in the following sense: each process initially proposes a value and all correct processes must reach a common decision on some value that is equal to one of the proposed values. It is well known that in classical environments, in which entities behave asynchronously and where identities are known, consensus cannot be solved in the presence of even one process crash. It appears that self-organizing systems are even less favorable because the set and identity of participants are not known.
In this talk, we are going to present necessary and sufficient conditions under which fault-tolerant consensus become solvable in these environments. Those conditions are related to the synchrony requirements of the environment, as well as the connectivity of the knowledge graph constructed by the nodes in order to communicate with their peers.
Joint work with Professor Sébastien Tixeuil, from LIP6, Université Paris 6, France
Speaker: Fabíola Greve
Fabíola Greve received the PhD degree in computer science in 2002 from Rennes University, INRIA Labs, France for her work on agreement protocols and group communication middleware. She is currently an associate professor in the Department of Computer Science at the Federal University of Bahia, Brazil, where she acts as the leader of the Gaudi distributed computing group. Her research interests are distributed computing and fault tolerance. Her current projects aim at identifying conditions and protocols able to provide fault tolerance in dynamic and self organizing systems, like as Manets and P2P systems.
Видео Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreeme... канала Google TechTalks
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![GTAC 2011: Automating Hadoop Stack Deployment and Testing](https://i.ytimg.com/vi/eUcej07dGu4/default.jpg)
![The Chinese Computer: A Global History of the Information Age](https://i.ytimg.com/vi/XBVNy-pUqVk/default.jpg)
![OpenMRS](https://i.ytimg.com/vi/tou-Ei_AKAw/default.jpg)
![Electrodynamic Signaling by the Dendritic Cytoskeleton (Google Workshop on Quantum Biology)](https://i.ytimg.com/vi/0OO8E1_GJ4o/default.jpg)
![Return to the RNAi World: Rethinking Gene Expression and...](https://i.ytimg.com/vi/81iN7zzlIPM/default.jpg)
![Visual 3D modeling of real-world objects and scenes from...](https://i.ytimg.com/vi/v-d0CQUQlAs/default.jpg)
![Improvement of Web Accessibility in Japan](https://i.ytimg.com/vi/OIDynkrTmN0/default.jpg)
![Analyzing the Privacy of Android Apps](https://i.ytimg.com/vi/hYSkpjndBjE/default.jpg)
![PhotoTechEDU Day 6: Digital Camera Image Processing...](https://i.ytimg.com/vi/8ZTVal7ofZ8/default.jpg)
![Sparse codes for natural sounds](https://i.ytimg.com/vi/uvrIfb9_qzQ/default.jpg)
![GTAC 2016: OpenHTF - The Open-Source Hardware Testing Framework](https://i.ytimg.com/vi/bC5YhAo1kHc/default.jpg)
![Modeling Science: Dynamic Topic Models of Scholarly...](https://i.ytimg.com/vi/8nBE5Qm8y6I/default.jpg)
![GTAC 2013: Web Performance Testing with WebDriver](https://i.ytimg.com/vi/0_kAPWSZNY4/default.jpg)
![Privacy Preserving ML with Fully Homomorphic Encryption](https://i.ytimg.com/vi/g1Zlu63TP0Y/default.jpg)
![Google Production Environment](https://i.ytimg.com/vi/dhTVVWzpc4Q/default.jpg)
![Building Brains to Understand the World's Data](https://i.ytimg.com/vi/4y43qwS8fl4/default.jpg)
![Complexities of Capacity Management for Distributed Services](https://i.ytimg.com/vi/pOo0oKNM9I8/default.jpg)
![GTAC 2013: Espresso: Fresh Start to Android UI Testing](https://i.ytimg.com/vi/T7ugmCuNxDU/default.jpg)
![GTAC 2013: AddressSanitizer, ThreadSanitizer and MemorySanitizer -- Dynamic Testing Tools for C++](https://i.ytimg.com/vi/Q2C2lP8_tNE/default.jpg)
![The Paxos Algorithm](https://i.ytimg.com/vi/d7nAGI_NZPk/default.jpg)