Search: onr:"swepub:oai:DiVA.org:uu-101975" >
Analysing Fault Tol...
Analysing Fault Tolerance for Erlang Applications
-
- Nyström, Jan Henry, 1968- (author)
- Uppsala universitet,Avdelningen för datorteknik,Datorteknik
-
- Jonsson, Bengt, Professor (thesis advisor)
- Uppsala universitet,Avdelningen för datorteknik
-
- Nyström, Sven-Olof, Universitetsadjunkt (thesis advisor)
- Uppsala universitet,Avdelningen för datalogi
-
show more...
-
- Hughes, John, Professor (opponent)
- Chalmers University of Technology
-
show less...
-
(creator_code:org_t)
- ISBN 9789155475321
- Uppsala : Acta Universitatis Upsaliensis, 2009
- English 178 s.
- Related links:
-
https://uu.diva-port... (primary) (Raw object)
-
show more...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Engineering (hsv//eng)
Keyword
- formal methods
- symbolic evaluation
- fault tolerance
- erlang
- Computer engineering
- Datorteknik
- Computer Systems
- Datorteknik
Publication and Content Type
- vet (subject category)
- dok (subject category)
Find in a library
To the university's database