An order-based algorithm for implementing multiparty synchronization
Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interac...
Saved in:
| Published in | Concurrency and computation Vol. 16; no. 12; pp. 1173 - 1206 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Chichester, UK
John Wiley & Sons, Ltd
01.10.2004
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1532-0626 1532-0634 |
| DOI | 10.1002/cpe.903 |
Cover
| Summary: | Multiparty interactions are a powerful mechanism for coordinating several entities that need to cooperate in order to achieve a common goal. In this paper, we present an algorithm for implementing them that improves on previous results in that it does not require the whole set of entities or interactions to be known at compile‐ or run‐time, and it can deal with both terminating and non‐terminating systems. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, and compare the results with well‐known proposals by other authors. This study proves that our algorithm still performs comparably to other proposals in which the set of entities and interactions is known beforehand, but outperforms them in some situations that are clearly identified. In addition, these results prove that our algorithm can be combined with a technique called synchrony loosening without having an effect on efficiency. Copyright © 2004 John Wiley & Sons, Ltd. |
|---|---|
| Bibliography: | ArticleID:CPE903 Spanish Ministry of Science and Technology - No. TIC-2003-02737-C02-01; No. FIT-150100-2001-78 istex:B61F9CA02BE3E230D04BB60BE1EC16E7CE488223 ark:/67375/WNG-P2HJ5H9N-Q ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISSN: | 1532-0626 1532-0634 |
| DOI: | 10.1002/cpe.903 |