Advertisement

Asynchronous Client-Side Coordination of Cluster Service Sessions

  • Karolis PetrauskasEmail author
  • Romas Baronas
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 838)

Abstract

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.

Keywords

Session management Cluster Formal specification 

References

  1. 1.
    Armbrust, M., et al.: A view of cloud computing. Commun. ACM 53(4), 50–58 (2010).  https://doi.org/10.1145/1721654.1721672CrossRefGoogle Scholar
  2. 2.
    Ayari, N., Barbaron, D., Lefevre, L., Primet, P.: Fault tolerance for highly available internet services: concepts, approaches, and issues. IEEE Commun. Surv. Tutor. 10(2), 34–46 (2008).  https://doi.org/10.1109/COMST.2008.4564478CrossRefGoogle Scholar
  3. 3.
    Bailis, P., Ghodsi, A.: Eventual consistency today: limitations, extensions, and beyond. Queue 11(3), 20:20–20:32 (2013).  https://doi.org/10.1145/2460276.2462076CrossRefGoogle Scholar
  4. 4.
    Hinze, A., Voisard, A.: EVA: an event algebra supporting complex event specification. Inf. Syst. 48, 1–25 (2015).  https://doi.org/10.1016/j.is.2014.07.003CrossRefGoogle Scholar
  5. 5.
    Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872–923 (1994).  https://doi.org/10.1145/177492.177726CrossRefGoogle Scholar
  6. 6.
    Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)Google Scholar
  7. 7.
    Li, D., Zhang, Q., Zio, E., Havlin, S., Kang, R.: Network reliability analysis based on percolation theory. Reliab. Eng. Syst. Saf. 142, 556–562 (2015).  https://doi.org/10.1016/j.ress.2015.05.021CrossRefGoogle Scholar
  8. 8.
    Lowell, D.E., Chandra, S., Chen, P.M.: Exploring failure transparency and the limits of generic recovery. In: Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation, vol. 4, p. 15, OSDI 2000, USENIX Association, Berkeley (2000). Article No. 20Google Scholar
  9. 9.
    Luckham, D.C.: Event Processing for Business: Organizing the Real-Time Enterprise. Wiley, Hoboken (2015).  https://doi.org/10.1002/9781119198697CrossRefGoogle Scholar
  10. 10.
    Newcombe, C., Rath, T., Zhang, F., Munteanu, B., Brooker, M., Deardeuff, M.: How amazon web services uses formal methods. Commun. ACM 58(4), 66–73 (2015).  https://doi.org/10.1145/2699417CrossRefGoogle Scholar
  11. 11.
    Petcu, D.: Consuming resources and services from multiple clouds. J. Grid Comput. 12(2), 321–345 (2014).  https://doi.org/10.1007/s10723-013-9290-3CrossRefGoogle Scholar
  12. 12.
    Tsai, W., Bai, X., Huang, Y.: Software-as-a-service (saas): perspectives and challenges. Sci. Chin. Inf. Sci. 57(5), 1–15 (2014).  https://doi.org/10.1007/s11432-013-5050-zCrossRefGoogle Scholar
  13. 13.
    Vogels, W.: Eventually consistent. Commun. ACM 52(1), 40–44 (2009).  https://doi.org/10.1145/1435417.1435432CrossRefGoogle Scholar
  14. 14.
    Xie, R., Wen, Y., Jia, X., Xie, H.: Supporting seamless virtual machine migration via named data networking in cloud data center. IEEE Trans. Parallel Distrib. Syst. 26(12), 3485–3497 (2015).  https://doi.org/10.1109/TPDS.2014.2377119CrossRefGoogle Scholar
  15. 15.
    Yu, Y., Manolios, P., Lamport, L.: Model checking TLA\(^+\) specifications. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 54–66. Springer, Heidelberg (1999).  https://doi.org/10.1007/3-540-48153-2_6CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Vilnius University, Institute of Computer ScienceVilniusLithuania

Personalised recommendations