LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Chechina, Natalia; Huiqing, Li; Trinder, Phil; Thompson, Simon (2014)
Publisher: Glasgow University
Languages: English
Types: Book
Subjects: QA76

Classified by OpenAIRE into

ACM Ref: 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.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 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.
    • [PAS11] Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas. PropEr: A QuickCheck-inspired property-based testing tool for Erlang, 2011. http://proper.softlab.ntua.gr.
  • No related research data.
  • No similar publications.
  • BioEntity Site Name
    GitHub

Share - Bookmark

Download from

Cite this article