Duplication et cohérence configurables dans les applications réparties à base de composants

Cette these s'interesse a la gestion configurable de la duplication et de la coherence dans les applications reparties. Elle vise la definition de mecanismes de configuration qui n'impliquent pas de modification du code metier des applications et qui permettent la reutilisation du code de gestion de la duplication et de la coherence. Le premier objectif permet d'executer les applications dans differents environnements sans les reimplementer. Le deuxieme objectif permet de reutiliser les protocoles de duplication et de coherence dans differents domaines d'application. Cette these se place dans le contexte des applications reparties a base de composants. Elle permet la configuration non intrusive de la duplication et de la coherence en se basant sur la separation entre le code metier et le code systeme des composants. Elle permet la reutilisation du code de gestion de la duplication et de la coherence en modelisant les protocoles en termes de composants qui sont independants des applications metier. Les modeles de programmation, de composition et d'execution proposes sont valides a l'aide d'un prototype Java. Le cout de gestion de la duplication et de la coherence est evalue et l'applicabilite de l'approche aux environnements CCM et EJB est etudiee. Les capacites de configuration et de reutilisation sont demontrees par des experimentations avec plusieurs applications et plusieurs protocoles.

[1]  Mehdi Jazayeri,et al.  Mobile push: delivering content to mobile users , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[2]  Andrew S. Tanenbaum,et al.  Globe: a wide area distributed system , 1999, IEEE Concurr..

[3]  Gustavo Alonso,et al.  Understanding replication in databases and distributed systems , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[4]  Peter Honeyman,et al.  Partially Connected Operation , 1995, Comput. Syst..

[5]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[6]  Eric Bruneton,et al.  Un support d'exécution pour l'adaptation des aspects non-fonctionnels des applications réparties , 2001 .

[7]  Marvin Theimer,et al.  Managing update conflicts in Bayou, a weakly connected replicated storage system , 1995, SOSP.

[8]  John P. Warne,et al.  A model for interface groups , 1991, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems.

[9]  Marten van Sinderen,et al.  Transparent dynamic reconfiguration for CORBA , 2001, Proceedings 3rd International Symposium on Distributed Objects and Applications.

[10]  David A. Goldberg,et al.  Design and Implementation of the Sun Network Filesystem , 1985, USENIX Conference Proceedings.

[11]  Kenneth P. Birman,et al.  The process group approach to reliable distributed computing , 1992, CACM.

[12]  Marvin Theimer,et al.  Dealing with server corruption in weakly consistent replicated data systems , 1999, Wirel. Networks.

[13]  Brian D. Noble,et al.  Safety, Visibility, and Performance in a Wide-Area File System , 2002, FAST.

[14]  Laurence Duchien,et al.  JAC : A Flexible and Efficient Framework for AOP in Java , 2001 .

[15]  Pierangela Samarati,et al.  A classification of update methods for replicated databases , 1991 .

[16]  Andrew S. Grimshaw,et al.  LegionFS: A Secure and Scalable File System Supporting Cross-Domain High-Performance Applications , 2001, International Conference on Software Composition.

[17]  Jacques Mossière,et al.  The Arias Distributed Shared Memory: An Overview , 1996, SOFSEM.

[18]  Peter L. Reiher,et al.  Roam: a scalable replication system for mobile computing , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[19]  Stanley B. Zdonik,et al.  An Efficient Scheme for Dynamic Data Replication , 1993 .

[20]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[21]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[22]  David R. Cheriton,et al.  Leases: an efficient fault-tolerant mechanism for distributed file cache consistency , 1989, SOSP '89.

[23]  Gianluca Dini,et al.  Replicated File Management in Large-Scale Distributed Systems , 1994, WDAG.

[24]  Benjamin C. Pierce,et al.  What is a file synchronizer? , 1998, MobiCom '98.

[25]  Pavlin Radoslavov,et al.  Topology-informed Internet replica placement , 2002, Comput. Commun..

[26]  David E. Culler,et al.  Using smart clients to build scalable services , 1997 .

[27]  Terence Kelly,et al.  Thin-client Web access patterns: Measurements from a cache-busting proxy , 2002, Comput. Commun..

[28]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[29]  James R. Larus,et al.  Experience with a Language for Writing Coherence Protocols , 1997, DSL.

[30]  Antony I. T. Rowstron,et al.  Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility , 2001, SOSP.

[31]  Roberto Baldoni,et al.  An Interoperable Replication Logic for CORBA systems , 2000, Proceedings DOA'00. International Symposium on Distributed Objects and Applications.

[32]  Ian T. Foster,et al.  A decentralized, adaptive replica location mechanism , 2002, Proceedings 11th IEEE International Symposium on High Performance Distributed Computing.

[33]  H. Guyennet,et al.  The Pilgrim: a new consistency protocol for distributed shared memory , 1997, Proceedings of 3rd International Conference on Algorithms and Architectures for Parallel Processing.

[34]  Emmanuel Cecchet,et al.  Whoops!: a clustered Web cache for DSM systems using memory mapped networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[35]  Andrew S. Tanenbaum,et al.  Distributed operating systems , 2009, CSUR.

[36]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[37]  M. Frans Kaashoek,et al.  Mobile Computing with the Rover Toolkit , 1997, IEEE Trans. Computers.

[38]  David Powell,et al.  Distributed fault tolerance: lessons from Delta-4 , 1994, IEEE Micro.

[39]  S.M. Klerer.  The OSI management architecture: an overview , 1988, IEEE Network.

[40]  Sampath Rangarajan,et al.  Filterfresh: Hot Replication of Java RMI Server Objects , 1998, COOTS.

[41]  Ragunathan Rajkumar,et al.  Processor group membership protocols: specification, design and implementation , 1993, Proceedings of 1993 IEEE 12th Symposium on Reliable Distributed Systems.

[42]  Esther Pacitti,et al.  Optimistic Replication for Collaborative Applications on the Web , 2001, Workshop on Information Integration on the Web.

[43]  Peter Scheuermann,et al.  Web++: A System for Fast and Reliable Web Service , 1999, USENIX Annual Technical Conference, General Track.

[44]  John B. Carter,et al.  Design of the Munin Distributed Shared Memory System , 1995, J. Parallel Distributed Comput..

[45]  Paddy Nixon,et al.  A flexible framework for consistency management , 2002, Concurr. Comput. Pract. Exp..

[46]  Jeffrey D. Case,et al.  Simple Network Management Protocol (SNMP) , 1989, RFC.

[47]  Marc Shapiro,et al.  Replication: Optimistic Approaches , 2002 .

[48]  Mahadev Satyanarayanan,et al.  Mobile Information Access , 1996 .

[49]  Roy Friedman,et al.  Implementing a Caching Service for Distributed CORBA Objects , 2000, Middleware.

[50]  Gustavo Alonso,et al.  Database replication techniques: a three parameter classification , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[51]  Dennis Shasha,et al.  The dangers of replication and a solution , 1996, SIGMOD '96.

[52]  Rachid Guerraoui,et al.  Software-Based Replication for Fault Tolerance , 1997, Computer.

[53]  Gustavo Alonso,et al.  A new approach to developing and implementing eager database replication protocols , 2000, TODS.

[54]  B. Neuman.  Scale in Distributed Systems , 1994 .

[55]  James G. Mitchell,et al.  Subcontract: a flexible base for distributed programming , 1994, SOSP '93.

[56]  Fritz Hohl,et al.  Mole – Concepts of a mobile agent system , 1999, World Wide Web.

[57]  John B. Carter,et al.  Khazana: an infrastructure for building distributed services , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[58]  Rajmohan Rajaraman,et al.  A dynamic object replication and migration protocol for an Internet hosting service , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

[59]  Rachid Guerraoui,et al.  Flexible protocol composition in BAST , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[60]  Kenneth P. Birman,et al.  Building Secure and Reliable Network Applications [Book Review] , 1998, IEEE Concurrency.

[61]  Geoffrey H. Kuenning,et al.  Automated hoarding for mobile computers , 1997, SOSP.

[62]  Michael Williams,et al.  Replication in the harp file system , 1991, SOSP '91.

[63]  Frantisek Plasil,et al.  SOFA/DCUP: architecture for component trading and dynamic updating , 1998, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159).

[64]  Henri E. Bal,et al.  Performance evaluation of the Orca shared-object system , 1998, TOCS.

[65]  Rachid Guerraoui,et al.  Garf: a tool for programming reliable distributed applications , 1997, IEEE Concurrency.

[66]  Dean Daniels,et al.  Oracle's symmetric replication technology and implications for application design , 1994, SIGMOD '94.

[67]  Andrew S. Tanenbaum,et al.  Dynamically Selecting Optimal Distribution Strategies for Web Documents , 2002, IEEE Trans. Computers.

[68]  Antony I. T. Rowstron,et al.  The IceCube approach to the reconciliation of divergent replicas , 2001, PODC '01.

[69]  Quanzhong Li,et al.  Distributed cooperative Apache web server , 2001, WWW '01.

[70]  Samuel T. Chanson,et al.  A bibliography on multicast and group communications , 1989, OPSR.

[71]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.

[72]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[73]  Noel De Palma,et al.  Removing Indirection Objects for Non-functional Properties , 2002, PDPTA.

[74]  Hui Lei,et al.  An analytical approach to file prefetching , 1997 .

[75]  Udo Fritzke.  Les systemes transactionnels repartis pour donnees dupliquees fondes sur la communication de groupes , 2001 .

[76]  Teresa Gon.  Passive Replicator : A Design Pattern for Object Replication , 1997 .

[77]  Israel Ben-Shaul,et al.  System support for dynamic layout of distributed applications , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

[78]  David Garlan,et al.  Formal Connectors , 1994 .

[79]  Gordon S. Blair,et al.  The case for reflective middleware , 2002, CACM.

[80]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[81]  Luiz Eduardo Buzato,et al.  An Overview of MOLDS: A Meta-Object Library for Distributed Systems , 1998 .

[82]  Partha Dasgupta,et al.  The Design and Implementation of the Clouds Distributed Operating System , 1989, Comput. Syst..

[83]  Brian Cantwell Smith,et al.  Procedural reflection in programming languages , 1982 .

[84]  Marvin Theimer,et al.  Flexible update propagation for weakly consistent replication , 1997, SOSP.

[85]  Mahadev Satyanarayanan,et al.  Categories and Subject Descriptors: D.4.3 [Software]: File Systems Management—Distributed , 2022 .

[86]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[87]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[88]  P. Cederqvist,et al.  Version Management with CVS , 1993 .

[89]  Peter L. Reiher,et al.  Peer Replication with Selective Control , 1999, MDA.

[90]  Kenneth P. Birman,et al.  Tools for distributed application management , 1991, Computer.

[91]  Idit Keidar,et al.  Group communication specifications: a comprehensive study , 2001, CSUR.

[92]  Noël de Palma.  Services d'administration d'applications réparties , 2001 .

[93]  John H. Howard,et al.  On Overview of the Andrew File System , 1988, USENIX Winter.

[94]  Morris Sloman,et al.  Constructing Distributed Systems in Conic , 1989, IEEE Trans. Software Eng..

[95]  Sara Bouchenak,et al.  Mobilité et persistance des applications dans l'environnement Java. (Mobility and Persistence of Applications in the Java Environment) , 2001 .

[96]  Roger M. Needham,et al.  Experience with Grapevine: the growth of a distributed system , 1984, TOCS.

[97]  Anoop Gupta,et al.  The SPLASH-2 programs: characterization and methodological considerations , 1995, ISCA.

[98]  Sarita V. Adve,et al.  Shared Memory Consistency Models: A Tutorial , 1996, Computer.

[99]  Paul C. Clements,et al.  A survey of architecture description languages , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[100]  Norman Ramsey,et al.  An algebraic approach to file synchronization , 2001, ESEC/FSE-9.

[101]  Peter Honeyman,et al.  Disconnected Operation for AFS , 1993, Symposium on Mobile and Location-Independent Computing.

[102]  Willy Zwaenepoel,et al.  Techniques for reducing consistency-related communication in distributed shared-memory systems , 1995, TOCS.

[103]  Richard B. Bunt,et al.  Cache Management for Mobile File Service , 1999, Comput. J..

[104]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[105]  Adarshpal S. Sethi,et al.  An analysis of Memnet - an experiment in high-speed shared-memory local networking , 1988, SIGCOMM.

[106]  Amin Vahdat,et al.  Design and evaluation of a conit-based continuous consistency model for replicated services , 2002, TOCS.

[107]  Calton Pu,et al.  A Structural Classification of Integrated Replica Control Mechanisms , 1992 .

[108]  Jeff Magee,et al.  Client-access protocols for replicated services , 1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168).

[109]  Morris Sloman,et al.  Policy driven management for distributed systems , 1994, Journal of Network and Systems Management.

[110]  Paddy Nixon,et al.  Overview of Distributed Shared Memory , 1998 .

[111]  Hector Garcia-Molina,et al.  Consistency in a partitioned network: a survey , 1985, CSUR.

[112]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[113]  Doug Terry,et al.  Epidemic algorithms for replicated database maintenance , 1988, OPSR.