Scalable SD Erlang Reliability Model

Book English OPEN
Chechina, Natalia ; Huiqing, Li ; Trinder, Phil ; Thompson, Simon (2014)
  • Publisher: Glasgow University
  • Subject: QA76
    acm: TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS

This technical report presents the work we have conducted to support SD Erlang reliability and to formally specify the semantics of s groups. We have considered the following aspects of SD Erlang reliability: node recovery after failures and s group name uniqueness.
  • References (11)
    11 references, page 1 of 2

    2 Restarting a Failed Node 3 2.1 Recovering S group State . . . . . . . . . . . . . . . . . . . . 3 2.2 Exemplars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.3 Implemented Approach . . . . . . . . . . . . . . . . . . . . . 6

    3 S groups with the Same Name 7 3.1 Joining an S group at Launch . . . . . . . . . . . . . . . . . . 9 3.2 Joining an S group Dynamically . . . . . . . . . . . . . . . . 12 3.2.1 Summary. . . . . . . . . . . . . . . . . . . . . . . . . . 13

    4 S group Operational Semantics 14 4.1 SD Erlang State . . . . . . . . . . . . . . . . . . . . . . . . . 14 4.2 Transitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 4.2.1 SD Erlang Functions . . . . . . . . . . . . . . . . . . . 16 4.2.2 Auxiliary Functions . . . . . . . . . . . . . . . . . . . 21

    5 Validation of S group Semantics and Implementation 27 5.1 Property-based Testing and QuickCheck . . . . . . . . . . . . 27 5.2 Validation of SD Erlang . . . . . . . . . . . . . . . . . . . . . 29 [AHJW06] Thomas Arts, John Hughes, Joakim Johansson, and Ulf Wiger. Testing telecoms software with Quviq QuickCheck. In Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, ERLANG '06, pages 2{10, New York, NY, USA, 2006. ACM.

    [BCC+12] O. Boudeville, F. Cesarini, N. Chechina, K. Lundin, N. Papaspyrou, K. Sagonas, S. Thompson, P. Trinder, and U. Wiger. RELEASE: A highlevel paradigm for reliable large-scale server software. In In Proceedings of the 13th International Symposium on Trends in Functional Programming, volume 7829, pages 263{278. Springer, 2012.

    [CLTG14] N. Chechina, H. Li, P. Trinder, and A. Gha ari. Scalable SD Erlang computation model. Technical Report TR-2014-003, The University of Glasgow, December 2014.

    [CTG+14] N. Chechina, P. Trinder, A. Gha ari, R. Green, K. Lundin, and R. Virding. Scalable reliable SD Erlang design. Technical Report TR-2014-002, The University of Glasgow, December 2014.

    [EDF10] EDF. The Sim-Diasca Simulation Engine, 2010. diasca.com.

    [IOS10] Ahmad Ali Iqbal, Maximilian Ott, and Aruna Seneviratne. Simplistic hashing for building a better bloom lter on randomized data. In Proceedings of the 2010 13th International Conference on Network-Based Information Systems, pages 325{331, Washington, DC, USA, 2010. IEEE Computer Society.

    [LMS05] P. Leach, M. Mealling, and R. Salz. A universally unique identi er (UUID) URN namespace, 2005. RFC 4122.

  • Metrics
    No metrics available
Share - Bookmark