WFRF:(Nyström Bengt)
Sökning: WFRF:(Nyström Bengt) > Analysing Fault Tol...
Analysing Fault Tolerance for Erlang Applications
-
- Nyström, Jan Henry, 1968- (författare)
- Uppsala universitet,Avdelningen för datorteknik,Datorteknik
-
- Jonsson, Bengt, Professor (preses)
- Uppsala universitet,Avdelningen för datorteknik
-
- Nyström, Sven-Olof, Universitetsadjunkt (preses)
- Uppsala universitet,Avdelningen för datalogi
- visa fler...
- visa färre...
- (creator_code:org_t)
- ISBN 9789155475321
- Uppsala : Acta Universitatis Upsaliensis, 2009
- Engelska 178 s.
- Doktorsavhandling (övrigt vetenskapligt/konstnärligt)
Abstract
Ämnesord
Stäng
- ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. In these structures, parent processes monitor failures of their children and are responsible for their restart. Libraries support the creation of such structures during system initialisation.A technique to automatically analyse that the process structure of an ERLANG application from the source code is presented. The analysis exposes shortcomings in the fault tolerance properties of the application. First, the process structure is extracted through static analysis of the initialisation code of the application. Thereafter, analysis of the process structure checks two important properties of the fault handling mechanism: 1) that it will recover from any process failure, 2) that it will not hide persistent errors.The technique has been implemented in a tool, and applied it to several OTP library applications and to a subsystem of a commercial system the AXD 301 ATM switch.The static analysis of the ERLANG source code is achieved through symbolic evaluation. The evaluation is peformed according to an abstraction of ERLANG’s actual semamtics. The actual semantics is formalised for a nontrivial part of the language and it is proven that the abstraction of the semantics simulates the actual semantics.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)
Nyckelord
- formal methods
- symbolic evaluation
- fault tolerance
- erlang
- Computer engineering
- Datorteknik
- Computer Systems
- Datorteknik
Publikations- och innehållstyp
- vet (ämneskategori)
- dok (ämneskategori)
Hitta via bibliotek
- Analysing Fault Tolerance for Erlang Applications (Sök publikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Nyström, Jan Hen ...
- Jonsson, Bengt, ...
- Nyström, Sven-Ol ...
- Hughes, John, Pr ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datorteknik
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
