Self-stabilizing virtual machine hypervisor architecture for resilient cloud

Alexander Binun; Mark Bloch; Shlomi Dolev; Martin Ramzi Kahil; Boaz Menuhin; Reuven Yagel; Thierry Coupaye; Marc Lacoste; Aurélien Wailly

doi:https://doi.org/10.1109/SERVICES.2014.44

Self-stabilizing virtual machine hypervisor architecture for resilient cloud

Alexander Binun, Mark Bloch, Shlomi Dolev, Martin Ramzi Kahil, Boaz Menuhin, Reuven Yagel, Thierry Coupaye, Marc Lacoste, Aurélien Wailly

Department of Computer Science

Ben-Gurion University of the Negev

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

Abstract

This paper presents the architecture for a self-stabilizing hypervisor able to recover itself in the presence of Byzantine faults regardless of the state it is currently in. Our architecture is applicable to wide variety of underlying hardware and software and does not require augmenting computers with special hardware. The actions representing defense and recovery strategies can be specified by a user. We describe our architecture in OS-independent terms, thus making it applicable to various virtualization infrastructures. We also provide a prototype extending the Linux-based hypervisor KVM with the self-stabilizing functionality. These features allow augmenting KVM with robustness functionality in the coming stages and moving to cloud management system architectures such as OpenStack to support more industrial scenarios.

Original language	American English
Title of host publication	Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014
Editors	Liang-Jie Zhang, Rami Bahsoon
Pages	200-207
Number of pages	8
ISBN (Electronic)	9781479950690
DOIs	https://doi.org/10.1109/SERVICES.2014.44
State	Published - 18 Sep 2014
Event	2014 IEEE 10th World Congress on Services, SERVICES 2014 - Anchorage, United States Duration: 27 Jun 2014 → 2 Jul 2014

Publication series

Name	Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

Conference

Conference	2014 IEEE 10th World Congress on Services, SERVICES 2014
Country/Territory	United States
City	Anchorage
Period	27/06/14 → 2/07/14

Keywords

Hypervisor
IaaS
Resilience
Self-stabilization

All Science Journal Classification (ASJC) codes

General Computer Science
General Business,Management and Accounting

Access to Document

https://doi.org/10.1109/SERVICES.2014.44

Cite this

Binun, A., Bloch, M., Dolev, S., Kahil, M. R., Menuhin, B., Yagel, R., Coupaye, T., Lacoste, M., & Wailly, A. (2014). Self-stabilizing virtual machine hypervisor architecture for resilient cloud. In L-J. Zhang, & R. Bahsoon (Eds.), Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014 (pp. 200-207). Article 6903266 (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014). https://doi.org/10.1109/SERVICES.2014.44

@inproceedings{cecf436a160641989ff134829f19ca06,

title = "Self-stabilizing virtual machine hypervisor architecture for resilient cloud",

abstract = "This paper presents the architecture for a self-stabilizing hypervisor able to recover itself in the presence of Byzantine faults regardless of the state it is currently in. Our architecture is applicable to wide variety of underlying hardware and software and does not require augmenting computers with special hardware. The actions representing defense and recovery strategies can be specified by a user. We describe our architecture in OS-independent terms, thus making it applicable to various virtualization infrastructures. We also provide a prototype extending the Linux-based hypervisor KVM with the self-stabilizing functionality. These features allow augmenting KVM with robustness functionality in the coming stages and moving to cloud management system architectures such as OpenStack to support more industrial scenarios.",

keywords = "Hypervisor, IaaS, Resilience, Self-stabilization",

author = "Alexander Binun and Mark Bloch and Shlomi Dolev and Kahil, {Martin Ramzi} and Boaz Menuhin and Reuven Yagel and Thierry Coupaye and Marc Lacoste and Aur{\'e}lien Wailly",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE; 2014 IEEE 10th World Congress on Services, SERVICES 2014 ; Conference date: 27-06-2014 Through 02-07-2014",

year = "2014",

month = sep,

day = "18",

doi = "https://doi.org/10.1109/SERVICES.2014.44",

language = "American English",

series = "Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014",

pages = "200--207",

editor = "Liang-Jie Zhang and Rami Bahsoon",

booktitle = "Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014",

}

Binun, A, Bloch, M, Dolev, S, Kahil, MR, Menuhin, B, Yagel, R, Coupaye, T, Lacoste, M & Wailly, A 2014, Self-stabilizing virtual machine hypervisor architecture for resilient cloud. in L-J Zhang & R Bahsoon (eds), Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014., 6903266, Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014, pp. 200-207, 2014 IEEE 10th World Congress on Services, SERVICES 2014, Anchorage, United States, 27/06/14. https://doi.org/10.1109/SERVICES.2014.44

Self-stabilizing virtual machine hypervisor architecture for resilient cloud. / Binun, Alexander; Bloch, Mark; Dolev, Shlomi et al.
Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014. ed. / Liang-Jie Zhang; Rami Bahsoon. 2014. p. 200-207 6903266 (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014).

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

TY - GEN

T1 - Self-stabilizing virtual machine hypervisor architecture for resilient cloud

AU - Binun, Alexander

AU - Bloch, Mark

AU - Dolev, Shlomi

AU - Kahil, Martin Ramzi

AU - Menuhin, Boaz

AU - Yagel, Reuven

AU - Coupaye, Thierry

AU - Lacoste, Marc

AU - Wailly, Aurélien

PY - 2014/9/18

Y1 - 2014/9/18

N2 - This paper presents the architecture for a self-stabilizing hypervisor able to recover itself in the presence of Byzantine faults regardless of the state it is currently in. Our architecture is applicable to wide variety of underlying hardware and software and does not require augmenting computers with special hardware. The actions representing defense and recovery strategies can be specified by a user. We describe our architecture in OS-independent terms, thus making it applicable to various virtualization infrastructures. We also provide a prototype extending the Linux-based hypervisor KVM with the self-stabilizing functionality. These features allow augmenting KVM with robustness functionality in the coming stages and moving to cloud management system architectures such as OpenStack to support more industrial scenarios.

AB - This paper presents the architecture for a self-stabilizing hypervisor able to recover itself in the presence of Byzantine faults regardless of the state it is currently in. Our architecture is applicable to wide variety of underlying hardware and software and does not require augmenting computers with special hardware. The actions representing defense and recovery strategies can be specified by a user. We describe our architecture in OS-independent terms, thus making it applicable to various virtualization infrastructures. We also provide a prototype extending the Linux-based hypervisor KVM with the self-stabilizing functionality. These features allow augmenting KVM with robustness functionality in the coming stages and moving to cloud management system architectures such as OpenStack to support more industrial scenarios.

KW - Hypervisor

KW - IaaS

KW - Resilience

KW - Self-stabilization

UR - http://www.scopus.com/inward/record.url?scp=85027874286&partnerID=8YFLogxK

U2 - https://doi.org/10.1109/SERVICES.2014.44

DO - https://doi.org/10.1109/SERVICES.2014.44

M3 - Conference contribution

T3 - Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

SP - 200

EP - 207

BT - Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014

A2 - Zhang, Liang-Jie

A2 - Bahsoon, Rami

T2 - 2014 IEEE 10th World Congress on Services, SERVICES 2014

Y2 - 27 June 2014 through 2 July 2014

ER -

Binun A, Bloch M, Dolev S, Kahil MR, Menuhin B, Yagel R et al. Self-stabilizing virtual machine hypervisor architecture for resilient cloud. In Zhang L-J, Bahsoon R, editors, Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014. 2014. p. 200-207. 6903266. (Proceedings - 2014 IEEE 10th World Congress on Services, SERVICES 2014). doi: https://doi.org/10.1109/SERVICES.2014.44

Self-stabilizing virtual machine hypervisor architecture for resilient cloud

Abstract

Publication series

Conference

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this