de.mpg.escidoc.pubman.appbase.FacesBean

Post

 
 Vis
  Exception Handling in Communicating Sequential Processes
Item is

Ophav

 Ophav:
Ohm Larsen, Mads1, Forfatter
Filinski, Andrzej2, Vejleder
Vinter, Brian3, Vejleder
Tilknytninger:
1Det Naturvidenskabelige Fakultet, Københavns Universitet, København, Danmark, diskurs:7010              
2Datalogisk Institut, Det Naturvidenskabelige Fakultet, Københavns Universitet, København, Danmark, diskurs:7022              
3Niels Bohr Institutet, Det Naturvidenskabelige Fakultet, Københavns Universitet, København, Danmark, diskurs:7023              
skjul Ophav
Vis Ophav

Indhold

Ukontrollerede emneord: CSP, exceptions, PyCSP, checkpointing
 Abstract: Fejl kan opstå i al slags software, men pålidelige programmer skal kunne håndtere disse. Fejlhåndtering er blevet formaliseret i Communicating Sequential Processes (CSP). For at gøre dette, blev de grundlæggende kanaler undersøgt og et vejlederparadigme blev lavet. Kanaler bliver diskuteret som kommunikationshændelser, som bliver overvåget af denne vejlederproces. Vejlederprocesen bliver også brugt til at formalisere forgiftnings- og pensioneringshændelser. Fejlhåndtering og checkpointing bliver brugt til at komme tilbage efter en fejl. Vejlederprocesen er vital for checkpointing og tilbagerulning.

Fem forskellige slags fejlhåndtering bliver diskuteret: fail-stop, retire-like fail-stop, broadcast, message replay og checkpointing. Fail-stop og retire-like fail-stop virker som forgiftning og pensionering, når en proces går i en fejltilstand. Checkpointing virker ved at fortælle vejlederprocesen at denne skal rulle alle deltagere i en kommunikationshændelse tilbage til en tilstand lige efter deres sidste succesfulde kommunikation. Disse fejlhåndteringsmetoder, og implisit pensionering, er blevet implementeret i PyCSP.
 Abstract: Exceptions can occur in all software, however, to be reliable, a program should be able to handle it. Exception handling has been formalised in Communicating Sequential Processes (CSP). Before doing this, the basics of channels has been investigated, and a super- visor paradigm has been created. Channels are discussed as communication events which are monitored by this supervisor process. The supervisor process is also used to formalise poison and retire events. Exception handling and checkpointing are used as means of recovering from an error. The supervisor process is central to checkpointing and recovery as well.

Five different kinds of exception handling is discussed: fail-stop, retire-like fail-stop, broadcast, message replay, and checkpointing. Fail-stop and retire-like fail-stop works like poison and retire, when a process enters an exception state. Checkpointing works by telling the supervisor process to roll back both participants in a communication event, to a state immediately after their last successful communication. These exception patterns, as well as implicit retirement, was implemented in PyCSP.

In addition to this thesis, a paper was submitted and accepted to Communicating Process Architectures 2012, a conference on concurrent and parallel programming.
skjul Indhold
Vis Indhold

Filer

Navn:
thesis.pdf (Hovedtekst)
Bemærkninger:
-
Tilgængelighed:
Offentlig
Mime-type / størrelse:
application/pdf / 666KB
Copyright dato:
2012-10-17
Copyright information:
De fulde rettigheder til dette materiale tilhører forfatteren.
skjul Filer
Vis Filer

Basal

Bogmærk denne post: https://diskurs.kb.dk/item/diskurs:31831:1
 Type: Speciale
skjul Basal
Vis Basal

Links

Vis Links

Detaljer

Sprog: English - eng
 Datoer: 2012-08-17
 Sider: 94
 Publiceringsinfo: København : Københavns Universitet
 Indholdsfortegnelse: -
 Note: -
 Type: Speciale
skjul Detaljer
Vis Detaljer

Kilde

Vis Kilde