By Topic

The partition method for the order-insensitivity in a synchronous distributed system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yeddes, M. ; Lab. d''Autom., CNRS, St. Martin d''Heres, France ; Alla, H. ; David, R.

Synchronous systems can be distributed using different schemes of distribution. One possible distribution scheme is 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 the 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

Published in:

Computers and Communications, 2000. Proceedings. ISCC 2000. Fifth IEEE Symposium on

Date of Conference:

2000