loading...
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems
Antibes, France July 04-July 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISCC.2000.860710Fifth IEEE Symposium on Computers and ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Moez Yeddes, Laboratoire d'Automatique de Grenoble
Hassane Alla, Laboratoire d'Automatique de Grenoble
René David, Laboratoire d'Automatique de Grenoble
Synchronous systems can be distributed using different schemes of distribution. One possible distribution scheme is that transforming the synchronous systems into a globally asynchronous locally synchronous system in which each site behaves synchronously while the exchanges between sites are asynchronous; this is a case of synchronous distributed systems. However, the obtained synchronous distributed system will present some bad behaviors due to delays introduced by the partial asynchronous behavior. Thus, we introduce order-insensitivity by analogy with delay -insensitivity of asynchronous hardware in order to have a same behavior in distributed and centralized implementations. This property characterizes systems where the parallel execution is equivalent to all possible sequential executions. Moreover, this property is not an intrinsic property to the state machine but only of its implementation. Consequently, we propose an algorithm for transforming an order -sensitive transition function into an equivalent order-insensitive one.
Citation:
Moez Yeddes, Hassane Alla, René David, "The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems," iscc, pp.635, Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 2000
Usage of this product signifies your acceptance of the Terms of Use.