Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono
| Main Author: | |
|---|---|
| Publication Date: | 1997 |
| Format: | Master thesis |
| Language: | por |
| Source: | Biblioteca Digital de Teses e Dissertações da USP |
| Download full: | https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205254/ |
Summary: | Neste trabalho especificamos o método de checkpointing para programas distribuídos no contexto do projeto Sampa. Por se tratar de um método de checkpointing assíncrono e orientado ao programa da aplicação, a participação do programador na definição do estado relevante e na inclusão de checkpoints no código fonte do programa de aplicação é fundamental. Para permitir o completo restabelecimento de estado da nova instância de um processo faltoso, o método utiliza um mecanismo de rastreamento de mensagens entre processos. Nosso protótipo implementa o método de rastreamento de mensagens baseado no remetente proposto originalmente por Johnsom e zwaenepoel, adaptado à arquitetura do sistema Sampa. A validação do método foi feita através de diversos exemplos de execução e vários padões de comunicação tais como multiplexador FIFO, anel bidirecional e servidor concorrente FIFO |
| id |
USP_266d52fb4a2b2f58d13342df1c60d6b3 |
|---|---|
| oai_identifier_str |
oai:teses.usp.br:tde-20210729-205254 |
| network_acronym_str |
USP |
| network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
| repository_id_str |
2721 |
| spelling |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrononot availableArquitetura E Organização De ComputadoresNeste trabalho especificamos o método de checkpointing para programas distribuídos no contexto do projeto Sampa. Por se tratar de um método de checkpointing assíncrono e orientado ao programa da aplicação, a participação do programador na definição do estado relevante e na inclusão de checkpoints no código fonte do programa de aplicação é fundamental. Para permitir o completo restabelecimento de estado da nova instância de um processo faltoso, o método utiliza um mecanismo de rastreamento de mensagens entre processos. Nosso protótipo implementa o método de rastreamento de mensagens baseado no remetente proposto originalmente por Johnsom e zwaenepoel, adaptado à arquitetura do sistema Sampa. A validação do método foi feita através de diversos exemplos de execução e vários padões de comunicação tais como multiplexador FIFO, anel bidirecional e servidor concorrente FIFOIn this work we specified the checkpointing method for distributed programs in the context of the Sampa project. Since the method performs assyncronous checkpointing and is application-oriented, the participation of the programmer in the definition of the relevant state and the checkpoints within the program source code is fundamental. To allow a correct re-establishment of the state of a new instance of a faulty process, the method uses a logging mechanism for messages sent among processes. Our prototype implements the sender-based message logging originally proposed by Johnson and Zwaenepoel, and adapted to the architecture of the Sampa system. The correctness of the method was verified through the prototype execution of several examples and communication patterns such as FIFO multiplex server, two-way token ring and concurrent FIFO serverBiblioteca Digitais de Teses e Dissertações da USPEndler, MarkusConceição, Sérgio Ricardo da1997-09-26info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205254/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/openAccesspor2021-07-31T19:17:50Zoai:teses.usp.br:tde-20210729-205254Biblioteca 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:27212021-07-31T19:17:50Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
| dc.title.none.fl_str_mv |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono not available |
| title |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono |
| spellingShingle |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono Conceição, Sérgio Ricardo da Arquitetura E Organização De Computadores |
| title_short |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono |
| title_full |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono |
| title_fullStr |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono |
| title_full_unstemmed |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono |
| title_sort |
Um protocolo para rastreamento de mensagens em sistemas com checkpointing assíncrono |
| author |
Conceição, Sérgio Ricardo da |
| author_facet |
Conceição, Sérgio Ricardo da |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Endler, Markus |
| dc.contributor.author.fl_str_mv |
Conceição, Sérgio Ricardo da |
| dc.subject.por.fl_str_mv |
Arquitetura E Organização De Computadores |
| topic |
Arquitetura E Organização De Computadores |
| description |
Neste trabalho especificamos o método de checkpointing para programas distribuídos no contexto do projeto Sampa. Por se tratar de um método de checkpointing assíncrono e orientado ao programa da aplicação, a participação do programador na definição do estado relevante e na inclusão de checkpoints no código fonte do programa de aplicação é fundamental. Para permitir o completo restabelecimento de estado da nova instância de um processo faltoso, o método utiliza um mecanismo de rastreamento de mensagens entre processos. Nosso protótipo implementa o método de rastreamento de mensagens baseado no remetente proposto originalmente por Johnsom e zwaenepoel, adaptado à arquitetura do sistema Sampa. A validação do método foi feita através de diversos exemplos de execução e vários padões de comunicação tais como multiplexador FIFO, anel bidirecional e servidor concorrente FIFO |
| publishDate |
1997 |
| dc.date.none.fl_str_mv |
1997-09-26 |
| 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://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205254/ |
| url |
https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-205254/ |
| 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_ |
1826318885809291264 |