| Title |
Effectiveness of the asynchronous client-side coordination of cluster service sessions / |
| Authors |
Petrauskas, Karolis ; Baronas, Romas |
| DOI |
10.3233/978-1-61499-941-6-95 |
| ISBN |
9781614999409 |
| eISBN |
9781614999416 |
| Full Text |
|
| Is Part of |
Databases and information systems X : 13th international Baltic conference on databases and information systems, DB&IS 2018, held in Trakai, Lithuania, in July 2018 / editors: Audrone Lupeikiene, Olegas Vasilecas, Gintautas Dzemyda.. Cham : IOS Press, 2019. p. 95-108.. ISBN 9781614999409. eISBN 9781614999416 |
| Keywords [eng] |
session management ; cluster ; simulation |
| Abstract [eng] |
A system-to-system communication involving stateful sessions between a clustered service provider and a service consumer is investigated in this paper. An algorithm allowing to decrease a number of calls to failed provider nodes is proposed. It is designed for a clustered client and is based on an asynchronous communication. A formal specification of the algorithm is formulated in the TLA+ language and was used to investigate the correctness of the algorithm. An agent-based model was constructed and used to evaluate effectiveness of the proposed algorithm by performing simulations. |
| Published |
Cham : IOS Press, 2019 |
| Type |
Conference paper |
| Language |
English |
| Publication date |
2019 |
