Mesobi: memória transacional em software tolerante a faltas bizantinas

Detalhes bibliográficos
Autor(a) principal: Ribeiro, Tulio Alberton
Data de Publicação: 2015
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/136337
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.
id UFSC_43a46a10261a8f4bda6ff1ffe856d774
oai_identifier_str oai:repositorio.ufsc.br:123456789/136337
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Mesobi: memória transacional em software tolerante a faltas bizantinasComputaçãoMemória compartilhada distribuídaSistemas operacionais distribuídos (Computadores)Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.Memória Transacional em Software (STM) é um modelo utilizado para tratar acesso concorrente a dados compartilhados, onde programadores não precisam lidar explicitamente com mecanismos de controle de concorrência, como locks. O programador, apenas delineia qual parte do código necessita ser tratado como concorrente e sua execução seguirá o modelo transacional, respeitando as propriedades: atomicidade, consistência e isolação. É proposto nessa dissertação um modelo denominado Mesobi: Memória Transacional em Software Tolerante a Faltas Bizantinas onde transações somente leitura não abortam. Existem algumas abordagens na literatura que utilizam Memória Transacional em Software, das quais grande parte tolera faltas de parada mas pouco se fala sobre faltas maliciosas. Somente o trabalho de Zhang 2012 faz tolerância a faltas Bizantinas no contexto de STM; sua proposta utiliza dois clusters para alcançar tolerância a faltas Bizantinas.No modelo de Zhang, transações somente leitura podem ser abortadas, não é suportada a execução de transações interativas e não é possível executar transações de forma otimista. O Mesobi permite alcançar tolerância a faltas Bizantinas utilizando (3f+1) réplicas, sendo que, f é o número de faltas toleradas. O modelo consiste em inicialmente tentar executar as transações de forma otimista sem a necessidade de executar o protocolo Bizantino. Transações conflitantes localmente não são iniciadas de imediato com isso evita-se trabalho improdutivo. É possível e viável a execução de transações pré-declaradas e interativas no mesmo ambiente, sendo que, transações interativas têm pior desempenho devido a sua maior troca de mensagens.<br>Abstract : Software Transactional Memory (STM) is a model to deal concurrent accesses on shared data. With STM developers do not need to cope with explicit concurrency control mechanisms like locks. Instead developers can write parallel portions of code as transactions, which are garanteed to execute atomically and in isolation regardless of eventual data races. In this dissertation we propose a model named Mesobi: Memória Transacional em Software Tolerante a Faltas Bizantinas in which read-only transactions do not abort. There are some approaches in literature that use STM, but most of them treat crash faults, but few deal with arbitrary faults. The work presented by Zhang 2012 mentions Byzantine Fault Tolerance (BFT) in STM context, but two clusters are necessary, one for consensus and another to execute transactions. Zhang's model abort read-only transactions, does not use optimistic execution neither interactive transactions processing. It achieves BFT using (3f+1) replicas where f represents the number of tolerated faults. The model executes in an optimistic fashion the transactions without the BFT protocol. Conflicting local transactions are not executed immediately thereby saving wasted work. Execution and consistency tests showed that execution of interactive and pre-declared transactions on same environment are possible and practical. Interactive transactions have worse performance than pre-declared due to need of more message exchanges.Lung, Lau CheukUniversidade Federal de Santa CatarinaRibeiro, Tulio Alberton2015-11-10T03:08:42Z2015-11-10T03:08:42Z2015info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis153 p.| il., grafs., tabs.application/pdf335943https://repositorio.ufsc.br/xmlui/handle/123456789/136337porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2016-03-07T18:54:47Zoai:repositorio.ufsc.br:123456789/136337Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732016-03-07T18:54:47Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Mesobi: memória transacional em software tolerante a faltas bizantinas
title Mesobi: memória transacional em software tolerante a faltas bizantinas
spellingShingle Mesobi: memória transacional em software tolerante a faltas bizantinas
Ribeiro, Tulio Alberton
Computação
Memória compartilhada distribuída
Sistemas operacionais distribuídos (Computadores)
title_short Mesobi: memória transacional em software tolerante a faltas bizantinas
title_full Mesobi: memória transacional em software tolerante a faltas bizantinas
title_fullStr Mesobi: memória transacional em software tolerante a faltas bizantinas
title_full_unstemmed Mesobi: memória transacional em software tolerante a faltas bizantinas
title_sort Mesobi: memória transacional em software tolerante a faltas bizantinas
author Ribeiro, Tulio Alberton
author_facet Ribeiro, Tulio Alberton
author_role author
dc.contributor.none.fl_str_mv Lung, Lau Cheuk
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Ribeiro, Tulio Alberton
dc.subject.por.fl_str_mv Computação
Memória compartilhada distribuída
Sistemas operacionais distribuídos (Computadores)
topic Computação
Memória compartilhada distribuída
Sistemas operacionais distribuídos (Computadores)
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015.
publishDate 2015
dc.date.none.fl_str_mv 2015-11-10T03:08:42Z
2015-11-10T03:08:42Z
2015
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 335943
https://repositorio.ufsc.br/xmlui/handle/123456789/136337
identifier_str_mv 335943
url https://repositorio.ufsc.br/xmlui/handle/123456789/136337
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 153 p.| il., grafs., tabs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652358129811456