Mecanismos para efetivação de transações distribuídas.
| Ano de defesa: | 1992 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Dissertação |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-122236/ |
Resumo: | Em um ambiente distribuído, a atomicidade das transações é assegurada por mecanismos específicos, denominados protocolos de efetivação (Commit Protocols). Este trabalho apresenta o estudo e análise dos dois principais protocolos de efetivação: o protocolo bifásico, mais citado pela literatura, e o protocolo trifásico, que corresponde a uma extensão do bifásico. Esse estudo é feito através da descrição detalhada do comportamento desses protocolos durante operação normal e também na presença de falhas, utilizando um modelo de representação formal baseado em automatos de estados finitos. Como resultado desse estudo é apresentada a especificação de um protocolo de comunicação para execução de transações distribuídas, em uma rede local. Esse protocolo utiliza um mecanismo de efetivação trifásico para terminação de transações, que mostrou ser mais robusto que o mecanismo bifásico na presença de certos tipos de falhas. |
| id |
USP_e7b4fb8a0db8e3448105342f0b526f64 |
|---|---|
| oai_identifier_str |
oai:teses.usp.br:tde-17122024-122236 |
| network_acronym_str |
USP |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
| repository_id_str |
|
| spelling |
Mecanismos para efetivação de transações distribuídas.Untitled in englishAtomicidade de transaçõesCompletion mechanismsDistributed transactionsMecanismos de efetivaçãoTransações distribuídasTransaction atomicityEm um ambiente distribuído, a atomicidade das transações é assegurada por mecanismos específicos, denominados protocolos de efetivação (Commit Protocols). Este trabalho apresenta o estudo e análise dos dois principais protocolos de efetivação: o protocolo bifásico, mais citado pela literatura, e o protocolo trifásico, que corresponde a uma extensão do bifásico. Esse estudo é feito através da descrição detalhada do comportamento desses protocolos durante operação normal e também na presença de falhas, utilizando um modelo de representação formal baseado em automatos de estados finitos. Como resultado desse estudo é apresentada a especificação de um protocolo de comunicação para execução de transações distribuídas, em uma rede local. Esse protocolo utiliza um mecanismo de efetivação trifásico para terminação de transações, que mostrou ser mais robusto que o mecanismo bifásico na presença de certos tipos de falhas.In a distributed environment, the atomicity property of transactions is ensured by specific mechanisms named commit protocols. This work presents an overview and an analysis of the two most important mechanisms: the two-phase commit protocol, which is more frequently cited in the literature, and the three-phase protocol, which is an extension of the previous one. A detailed description and behavior analysis of these protocols is done, based on a finite state automata formal representation model, in normal operation conditions, as well as in the presence of failures. As a result, a communication protocol for distributed transactions execution is specified to be used in a local area network environment. This protocol uses a three-phase commit mechanism for transaction termination, which has proven to be more robust than the two-phase one, in the presence of failures.Biblioteca Digitais de Teses e Dissertações da USPGrassiani, EditSantos, José Renato Goncalves dos1992-07-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-122236/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2024-12-17T14:27:02Zoai:teses.usp.br:tde-17122024-122236Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212024-12-17T14:27:02Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
| dc.title.none.fl_str_mv |
Mecanismos para efetivação de transações distribuídas. Untitled in english |
| title |
Mecanismos para efetivação de transações distribuídas. |
| spellingShingle |
Mecanismos para efetivação de transações distribuídas. Santos, José Renato Goncalves dos Atomicidade de transações Completion mechanisms Distributed transactions Mecanismos de efetivação Transações distribuídas Transaction atomicity |
| title_short |
Mecanismos para efetivação de transações distribuídas. |
| title_full |
Mecanismos para efetivação de transações distribuídas. |
| title_fullStr |
Mecanismos para efetivação de transações distribuídas. |
| title_full_unstemmed |
Mecanismos para efetivação de transações distribuídas. |
| title_sort |
Mecanismos para efetivação de transações distribuídas. |
| author |
Santos, José Renato Goncalves dos |
| author_facet |
Santos, José Renato Goncalves dos |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Grassiani, Edit |
| dc.contributor.author.fl_str_mv |
Santos, José Renato Goncalves dos |
| dc.subject.por.fl_str_mv |
Atomicidade de transações Completion mechanisms Distributed transactions Mecanismos de efetivação Transações distribuídas Transaction atomicity |
| topic |
Atomicidade de transações Completion mechanisms Distributed transactions Mecanismos de efetivação Transações distribuídas Transaction atomicity |
| description |
Em um ambiente distribuído, a atomicidade das transações é assegurada por mecanismos específicos, denominados protocolos de efetivação (Commit Protocols). Este trabalho apresenta o estudo e análise dos dois principais protocolos de efetivação: o protocolo bifásico, mais citado pela literatura, e o protocolo trifásico, que corresponde a uma extensão do bifásico. Esse estudo é feito através da descrição detalhada do comportamento desses protocolos durante operação normal e também na presença de falhas, utilizando um modelo de representação formal baseado em automatos de estados finitos. Como resultado desse estudo é apresentada a especificação de um protocolo de comunicação para execução de transações distribuídas, em uma rede local. Esse protocolo utiliza um mecanismo de efetivação trifásico para terminação de transações, que mostrou ser mais robusto que o mecanismo bifásico na presença de certos tipos de falhas. |
| publishDate |
1992 |
| dc.date.none.fl_str_mv |
1992-07-08 |
| 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 |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-122236/ |
| url |
https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17122024-122236/ |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.relation.none.fl_str_mv |
|
| dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.coverage.none.fl_str_mv |
|
| dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
| dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
| instname_str |
Universidade de São Paulo (USP) |
| instacron_str |
USP |
| institution |
USP |
| reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
| collection |
Biblioteca Digital de Teses e Dissertações da USP |
| repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
| repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
| _version_ |
1831214831913402368 |