Assessing The Robustness of Paravirtualized Systems

Detalhes bibliográficos
Autor(a) principal: Carvalho, Diogo Manuel Rodrigues de
Data de Publicação: 2016
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/97345
Resumo: Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra.
id RCAP_59b5338e65c19f20535097b5075e0882
oai_identifier_str oai:estudogeral.uc.pt:10316/97345
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Assessing The Robustness of Paravirtualized SystemsHypervisorHypercallParavirtualizationRobustness testingXenDissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra.Virtualization is a technology that allows the creation of virtual in- stances of physical devices such as network, storage or processing units. With hardware getting better and cheaper it is possible to have a single physical machine running di erent virtual machines, which reduces hardware and maintenance costs. Virtualized systems are governed by a hypervisor and resources are shared amongst virtual machines. Virtualization provides many bene ts but also introduces new challenges like security, availability and isolation. Paravirtualization di ers from full virtualization because it enables the optimization of the performance of some virtual machine opera- tions. To achieve that, the hypervisor provides a hypercall interface containing the operations that can be used by the kernel of a paravir- tualized guest. As hypercalls are used to execute sensitive operations, their abuse can lead to harmful e ects. Thus, the hypercall interface has to be robust and secure. The goal of this work is to propose a methodology, based on ro- bustness testing, to assess the hypercall interface of paravirtualized systems. Robustness testing is used to characterize the behavior of a system under unexpected input conditions and has long been used to assess applications in multiple domains. It makes it possible to ex- perimentally assess the robustness of the underlying infrastructure, but rst several challenges must be overcome. With this goal in mind, the hypercall interface of Xen was analyzed to understand which are the data types and domains of the func- tion input parameters. A set of mutations rules, which considers the identi ed data types and domains, is proposed in this work. This dissertation also presents the prototype of a tool capable of generat- ing and executing tests in an automated manner, which allows the systematic evaluation of the hypercall interface.2016-09info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://hdl.handle.net/10316/97345http://hdl.handle.net/10316/97345engCarvalho, Diogo Manuel Rodrigues deinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-05-25T04:38:39Zoai:estudogeral.uc.pt:10316/97345Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:15:24.461017Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Assessing The Robustness of Paravirtualized Systems
title Assessing The Robustness of Paravirtualized Systems
spellingShingle Assessing The Robustness of Paravirtualized Systems
Carvalho, Diogo Manuel Rodrigues de
Hypervisor
Hypercall
Paravirtualization
Robustness testing
Xen
title_short Assessing The Robustness of Paravirtualized Systems
title_full Assessing The Robustness of Paravirtualized Systems
title_fullStr Assessing The Robustness of Paravirtualized Systems
title_full_unstemmed Assessing The Robustness of Paravirtualized Systems
title_sort Assessing The Robustness of Paravirtualized Systems
author Carvalho, Diogo Manuel Rodrigues de
author_facet Carvalho, Diogo Manuel Rodrigues de
author_role author
dc.contributor.author.fl_str_mv Carvalho, Diogo Manuel Rodrigues de
dc.subject.por.fl_str_mv Hypervisor
Hypercall
Paravirtualization
Robustness testing
Xen
topic Hypervisor
Hypercall
Paravirtualization
Robustness testing
Xen
description Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia da Universidade de Coimbra.
publishDate 2016
dc.date.none.fl_str_mv 2016-09
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10316/97345
http://hdl.handle.net/10316/97345
url http://hdl.handle.net/10316/97345
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134050866167808

Registros relacionados