Recovery oriented programming (extended abstract)

Olga Brukman; Shlomi Dolev

doi:10.1007/978-3-540-49823-0_11

Recovery oriented programming (extended abstract)

Olga Brukman
, Shlomi Dolev

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

Writing a perfectly correct code is a challenging and a nearly impossible task, In this work we suggest the recovery oriented programming paradigm in order to cope with eventual Byzantine programs. The program specification composer enforces the program specifications (both the safety and the liveness properties) in run time using predicates over input and output variables. The component programmer will use these variables in the program implementation. We suggest using the "sand-box" approach in which every instruction of the program that changes a specification variable, is executed first with temporary variables and that is in order to avoid execution of an instruction that violates the specifications. In addition, external monitoring is used for coping with transient faults and for ensuring convergence to a legal state. The implementation of these ideas includes the definition of new instructions in the programming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery actions is self-stabilizing and, under the restartability assumption, eventually fulfills its specifications.

Original language	English
Title of host publication	Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings
Publisher	Springer Verlag
Pages	152-168
Number of pages	17
ISBN (Print)	3540490183, 9783540490180
DOIs	https://doi.org/10.1007/978-3-540-49823-0_11
State	Published - 1 Jan 2006
Event	8th International Symposium on Self-Stabilizing Systems, SSS 2006 - Dallas, TX, United States Duration: 17 Nov 2006 → 19 Nov 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4280 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Symposium on Self-Stabilizing Systems, SSS 2006
Country/Territory	United States
City	Dallas, TX
Period	17/11/06 → 19/11/06

Keywords

Autonomie computing
Self-stabilization

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-49823-0_11

Cite this

Brukman, O., & Dolev, S. (2006). Recovery oriented programming (extended abstract). In Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings (pp. 152-168). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4280 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-49823-0_11

@inproceedings{03f182c8ac7e4803a7a34a99fd4e2081,

title = "Recovery oriented programming (extended abstract)",

abstract = "Writing a perfectly correct code is a challenging and a nearly impossible task, In this work we suggest the recovery oriented programming paradigm in order to cope with eventual Byzantine programs. The program specification composer enforces the program specifications (both the safety and the liveness properties) in run time using predicates over input and output variables. The component programmer will use these variables in the program implementation. We suggest using the {"}sand-box{"} approach in which every instruction of the program that changes a specification variable, is executed first with temporary variables and that is in order to avoid execution of an instruction that violates the specifications. In addition, external monitoring is used for coping with transient faults and for ensuring convergence to a legal state. The implementation of these ideas includes the definition of new instructions in the programming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery actions is self-stabilizing and, under the restartability assumption, eventually fulfills its specifications.",

keywords = "Autonomie computing, Self-stabilization",

author = "Olga Brukman and Shlomi Dolev",

year = "2006",

month = jan,

day = "1",

doi = "10.1007/978-3-540-49823-0\_11",

language = "English",

isbn = "3540490183",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "152--168",

booktitle = "Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings",

address = "Germany",

note = "8th International Symposium on Self-Stabilizing Systems, SSS 2006 ; Conference date: 17-11-2006 Through 19-11-2006",

}

Brukman, O & Dolev, S 2006, Recovery oriented programming (extended abstract). in Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4280 LNCS, Springer Verlag, pp. 152-168, 8th International Symposium on Self-Stabilizing Systems, SSS 2006, Dallas, TX, United States, 17/11/06. https://doi.org/10.1007/978-3-540-49823-0_11

Recovery oriented programming (extended abstract). / Brukman, Olga; Dolev, Shlomi.
Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings. Springer Verlag, 2006. p. 152-168 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4280 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Recovery oriented programming (extended abstract)

AU - Brukman, Olga

AU - Dolev, Shlomi

PY - 2006/1/1

Y1 - 2006/1/1

N2 - Writing a perfectly correct code is a challenging and a nearly impossible task, In this work we suggest the recovery oriented programming paradigm in order to cope with eventual Byzantine programs. The program specification composer enforces the program specifications (both the safety and the liveness properties) in run time using predicates over input and output variables. The component programmer will use these variables in the program implementation. We suggest using the "sand-box" approach in which every instruction of the program that changes a specification variable, is executed first with temporary variables and that is in order to avoid execution of an instruction that violates the specifications. In addition, external monitoring is used for coping with transient faults and for ensuring convergence to a legal state. The implementation of these ideas includes the definition of new instructions in the programming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery actions is self-stabilizing and, under the restartability assumption, eventually fulfills its specifications.

AB - Writing a perfectly correct code is a challenging and a nearly impossible task, In this work we suggest the recovery oriented programming paradigm in order to cope with eventual Byzantine programs. The program specification composer enforces the program specifications (both the safety and the liveness properties) in run time using predicates over input and output variables. The component programmer will use these variables in the program implementation. We suggest using the "sand-box" approach in which every instruction of the program that changes a specification variable, is executed first with temporary variables and that is in order to avoid execution of an instruction that violates the specifications. In addition, external monitoring is used for coping with transient faults and for ensuring convergence to a legal state. The implementation of these ideas includes the definition of new instructions in the programming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery actions is self-stabilizing and, under the restartability assumption, eventually fulfills its specifications.

KW - Autonomie computing

KW - Self-stabilization

UR - https://www.scopus.com/pages/publications/33845549391

U2 - 10.1007/978-3-540-49823-0_11

DO - 10.1007/978-3-540-49823-0_11

M3 - Conference contribution

AN - SCOPUS:33845549391

SN - 3540490183

SN - 9783540490180

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 152

EP - 168

BT - Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings

PB - Springer Verlag

T2 - 8th International Symposium on Self-Stabilizing Systems, SSS 2006

Y2 - 17 November 2006 through 19 November 2006

ER -

Brukman O, Dolev S. Recovery oriented programming (extended abstract). In Stabilization, Safety, and Security of Distributed Systems - 8th International Symposium, SSS 2006. Proceedings. Springer Verlag. 2006. p. 152-168. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-49823-0_11

Recovery oriented programming (extended abstract)

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this