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: 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 : 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: 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

Atualmente, devido aos altos custos necessários para estabelecer reuniões presenciais e às novas formas de comunicação como correio eletrônico, conferência por telefone, vídeo conferências e listas de discussão, as empresas têm procurado reduzir a quantidade de reuniões presenciais. Para este objetivo, a colaboração remota auxiliada por aplicações de groupware apresenta-se como uma alternativa à realização de tarefas compartilhadas. Contudo, a disponibilidade atual de aplicações groupware é limitada a poucos domínios de problema, o que dificulta o trabalho colaborativo. Adicionalmente, existe um grande número de aplicações não colaborativas que poderiam ser transformadas em aplicações groupware, beneficiando-se das vantagens deste tipo de aplicação. Neste trabalho, apresenta-se um mapeamento dos principais componentes de aplicações não colaborativas baseadas no estilo arquitetural MVC (Model-View-Controller) para componentes de uma aplicação colaborativa com o objetivo de permitir a colaboração remota entre participantes. Usando o mapeamento, aplicações existentes podem ser estendidas para apoiar a colaboração síncrona durante a elaboração de tarefas compartilhadas. Para exemplificar a aplicação do mapeamento, a ferramenta CASE (Computer Aided Software Engineering) ArgoUML foi estendida de acordo com o mapeamento para apoiar a elaboração colaborativa de diagramas da UML (Unified Modeling Language) através da Internet. O protótipo construído, denominado CoArgoUML, não fornece apenas o compartilhamento do diagrama entre os usuários, mas também um meio de comunicação, dispositivos de percepção e um mecanismo para controlar o acesso concorrente aos elementos do diagrama. Uma experiência foi realizada em um ambiente controlado para avaliar a satisfação dos usuários com o protótipo construído. Os resultados desta experiência indicam que o protótipo atendeu aos requisitos especificados.

O desenvolvimento de doutrinas de combate em uma Força Aérea é custoso e, muitas vezes, inviável em relação ao orçamento disponível. A quantidade de horas de vôo, necessárias para a análise e avaliação das possibilidades de um novo equipamento, é significantemente aumentada quando a novidade tecnológica é o principal fator a ser considerado. O presente trabalho pretende expor o potencial da utilização de ambientes virtuais distribuídos, para auxiliar o desenvolvimento das táticas e técnicas a serem empregadas nas aeronaves recém adquiridas e em fase de aquisição pela Força Aérea Brasileira.Através de sua utilização, poder-se-á obter diferentes visões do contexto, permitindo a compreensão e consideração de novos métodos de emprego a serem utilizados em missões reais, sem os custos inerentes às horas de vôo, aumentando-se a eficiência da arma aérea.

Os avanços da computação móvel em adição às novas formas de conectividade permitem a integração de dispositivos móveis em aplicações cooperativas. Entretanto, a maior parte das aplicações cooperativas síncronas correntes considera ambientes fortemente acoplados, onde a desconexão dos dispositivos móveis em geral não é considerada. Existem estratégias eficientes para manter a coerência dos dados e fornecer um desempenho razoável em aplicações para dispositivos móveis em ambientes fracamente acoplados. No entanto, essas estratégias não consideram as necessidades de processamento e comunicação de sistemas cooperativos síncronos. Neste trabalho é definida a estratégia Cache Coherence Scheme for Mobile Cooperative Work (CCS-MoCW). Essa estratégia é baseada na disseminação de notificações de alteração, mescla características das abordagens stateful e stateless, interações síncronas e assíncronas, bloqueios, e disponibiliza aspectos de percepção. A avaliação da estratégia CCS-MoCW foi conduzida por meio de experimentos controlados. Esses experimentos envolvem o desenvolvimento de um protótipo e elaboração de um estudo de caso. Os resultados dos experimentos mostram que a estratégia apresenta-se como solução para garantir a coerência de cache, o controle de concorrência e permitir a apresentação de aspectos de percepção em um ambiente cooperativo com apoio à mobilidade dos usuários.