Inria Paris-Rocquencourt, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : In this paper, we study the problem of maintaining the consistency of distributed objects in real-time. Sporadic transactions sent by a set of clients must be processed by a set servers with a bounded end-to-end response time. We propose in this article a solution, following the state machine approach, based on a particular non-preemptive scheduling denoted EDF* (Earliest Deadline First *). The scheduling on the servers is based on timestamps set by the clients and on an end-to-end deadline to respect. The clock of clients and servers are $\epsilon$ synchronized. We establish in this article the feasibility conditions of the distributed real-time system that permits to grant the consistency of distributed objects and the respect of end-to-end deadlines associated to transactions in charge of read/write access to the objects.
https://hal.inria.fr/inria-00459397
Contributeur : Pascale Minet
<>
Soumis le : mardi 23 février 2010 - 18:12:57
Dernière modification le : mardi 17 avril 2018 - 11:32:47
Pascale Minet, Laurent George. Preserving the Consistency of Distributed Objects With Real-Time Transactions. Second Workshop sur la cohérence des données en univers réparti - CDUR 2008, Jun 2008, Lyon, France. 2008. 〈inria-00459397〉