TAO THANH Vinh

Кандидат наук
Подразделение : REGAL
Местонахождение : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 26-00, Étage 2, Bureau 209
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 45 15, Vinh.Tao (at) nulllip6.fr
https://pages.lip6.fr/Vinh.Tao
Научны(е)й руководител(и)ь : Marc SHAPIRO
Со-руководитель : RANCUREL Vianney

Ensuring Availability and Managing Consistency in Geo-Replicated File Systems

Geo-distributed systems suffer from high latency and network partitions. Because of this, and to ensure high availability, such systems typically commit updates locally, with no latency, and propagate them in the background. Such optimistic replication faces two major challenges: (i) detecting conflicts between concurrent updates and resolving them in a way meaningful for users, while maintaining system integrity invariants; and (ii) supporting legacy applications that are not prepared to deal with concurrency anomalies.
Our PhD research addresses these challenges for the specific use case of a large-scale geo-distributed file system. This is a good showcase: indeed, a geo-distributed file system has a complex hierarchical structure; maintaining the file-system invariants (e.g., tree structure) against parallel updates is challenging; and applications view the file system through the legacy POSIX API.
We present our solution to the above problems in the design and implementation of a prototype geo-distributed file system, named Tofu. Its design includes a new session abstraction to support the legacy API, while allowing optimistic updates. Unlike previous approaches, our solution is based on a formal model covering all aspects of a Unix-like file system, including directories, inodes, hard links, etc. It is able to detect all conflicts on those data structures, and resolves them in a way that we believe users will find generally reasonable. Experiments show that Tofu is highly scalable, and incurs linear overhead, improving over existing academic and industrial systems.
Защита диссертаций : 08.12.2017 - 10h - Site Jussieu 25-26/105
Члены жюри :
Mme. BOUCHENAK Sara, INSA de Lyon [Rapporteur]
M. MOLLI Pascal, Université de Nantes [Rapporteur]
Mme. BIENIUSA Annette, University of Kaiserslautern
Mme. LAWALL Julia, Inria de Paris
M. QUEMA Vivien, Grenoble INP
M. RANCUREL Vianney, Scality
M. SHAPIRO Marc, Inria de Paris

Публикации 2014-2017

 Mentions légales
Карта сайта |