Orientador: Islene Calciolari Garcia / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-08T07:37:22Z (GMT). No. of bitstreams: 1 Sakata_TiemiChristine_D.pdf: 843635 bytes, checksum: 7f950e8bee6e5c7a1dfb19c6212897c2 (MD5) Previous issue date: 2007 / Resumo: Protocolos de checkpointing são responsáveis pelo armazenamento de estados dos processos de um sistema distribuído em memória estável para tolerar falhas. Os protocolos síncronos minimais induzem apenas um número minimal de processos a salvarem checkpoints durante uma execução do protocolo bloqueando os processos envolvidos. Uma versão não-bloqueante desta abordagem garante a minimalidade no número de checkpoints salvos em memória estável com o uso de checkpoints mutáveis, checkpoints que podem ser salvos em memória não-estável. Porém, a complexidade deste protocolo e o fato de ele tolerar apenas a presença de uma execução de checkpointing a cada instante nos motivou a procurar soluções para estes problemas na teoria desenvolvida para os protocolos quase-síncronos. A nova abordagem nos permitiu fazer uma revisão de alguns protocolos síncronos bloqueantes existentes na literatura que até então eram considerados minimais. Nesta mesma linha, obtivemos novos resultados na análise de minimalidade dos protocolos síncronos não-bloqueantes, ao considerarmos a aplicação como um todo e também a existência de execuções concorrentes de checkpointing. Ao estabelecermos esta ponte entre as abordagens para checkpointing, conseguimos desenvolver dois novos protocolos síncronos não-bloqueantes. Ambos fazem uso de checkpoints mutáveis, permitem execuções concorrentes de checkpointing e possuem um mecanismo simples de coleta de lixo. No entanto, o fato de cada um dos protocolos derivar de classes diferentes de protocolos quase-síncronos leva a comportamentos distintos, como evidenciado por resultados de simulação / Abstract: Checkpointing protocols are responsible for the selection of checkpoints in fault-tolerant distributed systems. Minimal checkpointing protocols minimize the number of checkpoints blocking processes during checkpointing. A non-blocking version of this approach assures a minimal number of checkpoints saved in stable memory using mutable checkpoints, those checkpoints can be saved in a non-stable storage. However, the complexity of this protocol and the absence of concurrent checkpointing executions have motivated us to find new solutions in the quasi-synchronous theory. The new approach has allowed us to review some blocking synchronous protocols existent in the literature which were, until now, considered as minimals. In the same way, we present new results analysing the minimality on the number of checkpoints in nonblocking synchronous protocols, considering the whole application and also the existence of concurrent checkpointing executions. On bridging the gap between the checkpointing approaches we could develop two new non-blocking synchronous protocols. Both use mutable checkpoints, allow concurrent checkpointing executions and have a simple mechanism of garbage collection. However, since each protocol derives from a diferent class of quasi-synchronous protocols, they present distinct behaviours, which are evident in the simulation results / Doutorado / Sistemas Distribuidos / Doutor em Ciência da Computação

Orientador: Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-08T13:58:13Z (GMT). No. of bitstreams: 1 Teixeira_FabianoCosta_M.pdf: 2209084 bytes, checksum: 57b8dcbf49ea5765258bd263373b2ebd (MD5) Previous issue date: 2007 / Resumo: A necessidade cada vez maior de um grande poder de processamento e o aumento da complexidade das aplicações motivaram o surgimento de um paradigma de computação distribuído chamado Grade Computacional. Esse paradigma possibilita o compartilhamento de recursos entre participantes heterogêneos, geograficamente separados e sob administrações independentes. No entanto, o comportamento egoísta dos participantes que procuram somente consumir recursos e não fornecer pode dificultar o crescimento e fortalecimento de uma grade computacional. Diante de tal contexto, essa dissertação propõe a utilização de modelos econômicos no escalonamento de recursos de uma grade computacional. Através da utilização de créditos, os participantes devem, de forma virtual, pagar pela utilização dos recursos remotos. De maneira a oferecer uma maior flexibilidade, a arquitetura proposta permite ainda a formação de grupos de trabalho em que diversos participantes podem trabalhar de forma conjunta para adquirirem um maior valor de créditos que um participante sozinho não poderia obter. A arquitetura se preocupa ainda em fornecer garantia de qualidade de serviço, de maneira que um prazo máximo de execução pré-estabelecido por um consumidor seja respeitado. Para essa arquitetura foram desenvolvidos componentes relacionados com a implementação de modelos econômicos e utilizados alguns componentes já existentes no Globus Toolkit / Abstract: The need for a greater processing power and the increased complexity of applications have caused the appearance of a distributed computing paradigm called Computational Grid. This paradigm allows resource sharing among heterogeneous, geographically distributed and autonomous participants. However, the selfish behavior of participants, that only want to consume resources and do not provide them, may hamper the grid growth. Thus this dissertation proposes the use of economic models for scheduling resources of the grid. Participants can pay for grid resources using credits. To offer a greater flexibility, the proposed architecture allows the organization of participants into groups that can work cooperatively to acquire more credits and, thus, to solve problems requiring more credits that a participant alone could not have. This architecture focuses on providing quality of service. Deadlines established by consumers are guaranteed. The architecture includes components related with the implementation of economic models and others from Globus Toolkit / Mestrado / Mestre em Ciência da Computação

Orientador: Hugo Enrique Hernandez Figueroa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T21:34:13Z (GMT). No. of bitstreams: 1 Gois_AlexandredeSouza_M.pdf: 4714370 bytes, checksum: 858c01cc7d73f6988d7f02c5b7a91c3e (MD5) Previous issue date: 2004 / Mestrado

Orientador: Ivan Luiz Marques Ricarte / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-24T15:36:37Z (GMT). No. of bitstreams: 1 Coelho_AndreLuisVasconcelos_M.pdf: 995541 bytes, checksum: d6d3d88b1bd65a2037e51aa123e98130 (MD5) Previous issue date: 1998 / Mestrado

Orientador : Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T05:37:00Z (GMT). No. of bitstreams: 1 Bugatti_IldebertodeGenova_M.pdf: 4937363 bytes, checksum: 648ad884b3e625f6b7fc041565491d7e (MD5) Previous issue date: 1986 / Resumo: Neste trabalho é proposta uma central de comutação controlada por um computador a fluxo de dados com o objetivo de eliminar-se o problema de estrangulamento de software hoje existentes nos grandes sistemas de comutação eletrônica comerciais.No fluxo de dados o mecanismo de execução de instruções é semelhante ao mecanismo de controle de uma central de comutação convencional. Isto permite realizar eficientemente o processamento de uma chamada telefônica. Foi proposta uma arquitetura a fluxo de dados organizada em forma de anel. Esta organização permite flexibilidade para expansões confiabilidade e grande eficiência na execução de instruções. Avaliações preliminares mostram que esse tipo de arquitetura oferece boas perspectivas na obtenç:ão de centrais telefonicas com alto desempenho / Abstract: Not informed. / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador : Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T14:52:35Z (GMT). No. of bitstreams: 1 Kasprzak_Gustavo_M.pdf: 3857848 bytes, checksum: fd2d568076f405b873024e893780358a (MD5) Previous issue date: 2003 / Resumo: Sistemas Gerenciadores de Workflow (SGWFs) tradicionais gerenciam instâncias de workflow e suas respectivas atividades de forma independente. Atividades têm, usualmente, granularidade grossa, longa duração e são altamente dependentes dos processos aos quais elas pertencem. Além disso, utilizam em suas execuções aplicações e outros recursos compartilhados (ex., arquivos e bancos de dados). A semântica das atividades, incluindo suas respectivas aplicações e recursos compartilhados, não é conhecida pelo SGWF. Como resultado, é possível que a execução concorrente de atividades de workflow conflitantes gere inconsistências de dados, além de invocações e acessos indevidos a aplicações e recursos. Assim, utilizando o WorkToDo como SGWF de estudo, apresentamos neste trabalho dois mecanismos de sincronização de atividades que permitem a execução de atividades de forma mutuamente exclusiva e a manutenção de requisitos de ordenação entre essas atividades. Apresentamos, ainda, algumas extensões aos mecanismos de detecção e tratamento de falhas de atividades do WorkToDo, de forma a torná-los mais poderosos e robustos / Abstract: Traditional Workflow Management Systems (WfMSs) manage workflow instances and their respective activities in a independent formo Activities usually have coarse granularity, are long-lived and are highly process-dependent. Moreover, they use shared applications and other resources (ex., files and data bases). The semantics of the activities, including their respective applications and shared resources, is not known by the WfMS. As a result, it is possible that the concurrent execution of conflicting workflow activities generates data inconsistencies, in addition to improper invocation and access to applications and resources. Thus, using WorkToDo as the WfMS of study, we present in this work two activity synchronization mechanisms that allow the execution of activities in a mutually exclusive form and the maintenance of ordering requirements between these activities. We still present some extensions to activity failure detectionjhandling mechanisms oí the WorkToDo to make them more powerful and robusto / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Orientador: Marco Aurelio Amaral Henriques / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T15:57:16Z (GMT). No. of bitstreams: 1 Lucchese_FabianodeOliveira_M.pdf: 663870 bytes, checksum: d6b61bc66cae9f3f1ca14e89e2122a95 (MD5) Previous issue date: 2002 / Mestrado

Dissertação: Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T19:40:36Z (GMT). No. of bitstreams: 1 Garcia_IsleneCalciolari_M.pdf: 2272722 bytes, checksum: 40ccc8d3db214888d670f87260cf1134 (MD5) Previous issue date: 1998 / Resumo: Estados globais consistentes são fundamentais para a solução de uma série de problemas em sistemas distribuídos, em especial para a monitorização e reconfiguração de aplicações distribuídas. A construção assíncrona de estados globais consistentes permite maior eficiência e flexibilidade a sistemas de monitorização. Consideramos aplicações distribuídas construídas sobre o modelo de processos e mensa­gens (MPM) e sobre o modelo de objetos e ações atômicas (MOA). Enquanto para o primeiro modelo vários algoritmos foram desenvolvidos para a obtenção de estados globais consisten­tes, para o segundo a oferta é extremamente reduzida. Estabelecemos correlações entre esse dois modelos e conseguimos o mapeamento de algoritmos para a obtenção de estados globais consistentes do MPM para o MOA. Enquanto grande parte da literatura para a obtenção de estados globais consistentes está voltada para a recuperação de falhas com retrocesso de estado, temos como objetivo a construção de uma visão progressiva da aplicação (consideramos que o monitor deve analisar estados globais consistentes mais recentes que os anteriores). Esta abordagem propiciou a criação de algoritmos originais para a construção de estados globais consistentes a partir de estados de interesse (checkpoints) selecionados pelos componentes da aplicação. / Abstract: Consistent global states are fundamental to solve a large class of problems in distributed systems, especially for monitoring and reconfiguration of distributed applications. The asyn­chronous construction of consistent global states allows greater efficiency and flexibility to monitoring systems. We consider distributed applications built upon the processes and messages model (MPM) and upon the objects and atomic actions model (MOA). Many algorithms have been designed for the construction of consistent global states in the MPM, but for the MOA the number of algorithms is extremely reduced. We have established correlations between these two models and, using them, we have mapped algorithms to construct consistent global states from the MPM to the MOA. A great part of the literature for the construction of consistent global states is devoted to the backward recovery of failures. Our goal is the construction of a progressive view of the application (we consider that the monitor must analyze consistent global states that are as up-to-date as possible). This approach allowed the creation of new algorithms for the construction of consistent global states using checkpoints; states selected by the application components. / Mestrado / Mestre em Ciência da Computação

Orientador: Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-24T01:35:09Z (GMT). No. of bitstreams: 1 Oliva_Alexandre_M.pdf: 5691615 bytes, checksum: ba99390ac446198a77b12e7206bd3d4d (MD5) Previous issue date: 1998 / Resumo: Esta dissertação é uma coleção de artigos escritos em inglês, com uma introdução e uma conclusão em português. O primeiro artigo descreve Guaraná, uma arquitetura reflexiva independente de linguagem, cujo protocolo de meta-nível, em tempo de execução, permite um alto grau de reutilização de código de meta-nível. O protocolo foi projetado de forma a prover, de forma segura, flexibilidade e reconfigurabilidade do comportamento de meta-nível de objetos. O segundo artigo descreve nossa implementação dessa arquitetura, através da modificação de uma implementação aberta da Máquina Virtual de Java TM, que mantém a linguagem de programação Java TM inalterada. Com nossa abordagem, aplicações Java TM pré-existentes podem ser tornadas reflexivas, mesmo quando seu código fonte não está disponível. O artigo descreve as alterações que fizemos à máquina virtual, bem como as classes que completam a implementação. Além disso, ele apresenta medidas de degradação de desempenho causadas por nossas alterações. O" terceiro artigo é um tutorial dirigido a programadores J ava TM que pretendam conhecer e utilizar os recursos do Guaraná. Ele cobre desde mecanismos básicos de interceptação até tópicos avançados, expondo alguns detalhes internos da implementação do Guaraná. O quarto e último artigo apresenta MOLDS, uma biblioteca de componentes de meta-nível adequados para a construção de aplicações distribuídas, que pretendemos implementar sobre o Guaraná. Esta biblioteca explorará a capacidade do Guaraná de combinar meta-objetos independentes de modo a definir comportamentos de meta-nível complexos, de maneira transparente, do ponto de vista da aplicação do nível base / Abstract: This dissertation is a collection of papers written in English, with an introduction and a conclusion in Portuguese. The first paper describes Guaraná, a language-independent reftexive architecture, whose run-time meta-leveI protocol permits a high degree of reuse of meta-leveI code. The protocol was designed so as to provide, in a secure manner, ftexibility and reconfigurability of metaleveI behavior of objects. The second paper describes our implementation of this architecture through the modification of a free implementation of the JavaTM Virtual Machine (JVM) Specification, but keeping the Java Programming Language intact. vVith our approach, existing Java applications can be made refiexive, even if their source code is not available. We describe the modifications we have introduced in the JVM, as well as the Java classes that complete the implementation, and measure the impact of the modifications on the performance of applications and the JVM. The third paper is a tutorial directed to Java TM programmers who are willing to know and use the features of Guaraná. It covers the workings of Guaraná, from basic interception mechanisms to advanced topics, exposing some of the internal details of the implementation of Guaraná. The fourth and last paper introduces MOLDS, a library of meta-leveI compo'nents suit able for building distributed applications, that we intend to implement on top of Guaraná. This library will explore Guaraná's features to combine independent meta-objects that implement mechanisms such as replication, persistence, etc, in order to form complex meta-leveI behavior, in a transparent way, from the point of view of the application programmer / Mestrado / Mestre em Ciência da Computação

Orientador: Eleri Cardoso / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T14:00:19Z (GMT). No. of bitstreams: 1 Maezi_Marcio_M.pdf: 5089620 bytes, checksum: 7b15c7ab0c1dfe97d386848923fd4b0f (MD5) Previous issue date: 1995 / Resumo: O rápido crescimento do processamento distribuído tem levado a necessidade de se estabelecer padrões para o processamento distribuído aberto (ODP: Open Distributed Processing). O modelo de referênciaODP propõe uma arquitetura baseada em objetos que dá suporte a distribuição, interconexão e portabilidade. A plataforma multiware é uma arquitetura para o suporte ao processamento distribuído aberto e presta-se a identificar os vários componentes e serviços de uma plataforma de suporte ao processamento distribuído aberto. A proposta deste trabalho é prover um dos serviços da plataforma multiware: a Interface de Programação (API: Application Programming Interface). A API tem por objetivo oferecer mecanismos de acesso para o processamento distribuído aberto, provendo serviços com as mesmas funcionalidades descritas pelo modelo de referência ODP. A principal contribuição deste trabalho foi traduzir os elementos do modelo ODP para uma estrutura computacional de acesso à estes elementos, enfocando-se nos elementos de gerenciamento e comunicação, sem dúvida os mais importantes do modelo ODP / Abstract: The rapid growth of distributed processing has led to a need for the standardization of Open Distributed Processing (ODP). The ODP reference model proposes an architecture based on objects that supports distribution, interworking and portability. The multiware plataform is an architecture for open distributed processing and gives a highlight of the many components and services that a plataform compliant to ODP must provide. The proposal of this work is to provide one of multiware plataform components: Application Programming Interface (API). The API has as a goal the offering of mechanisms for open distributed processing, providing services with the same funcionalities as described by the reference model ODP. The main contribution of this work was to translate the elements of ODP model into a computational structure that gives access to those elements, focusing on the management and communication elements, which are the most important of the ODP model / Mestrado / Mestre em Engenharia Elétrica