O objetivo deste trabalho é a introdução e desenvolvimento de uma metodologia analítico-simbólica para a obtenção de respostas dinâmicas e forçadas (soluções homogêneas e não homogêneas) de sistemas distribuídos, em domínios ilimitados e limitados, através do uso da base dinâmica gerada a partir da resposta impulso. Em domínios limitados, a resposta impulso foi formulada pelo método espectral. Foram considerados sistemas com condições de contorno homogêneas e não homogêneas. Para sistemas de natureza estável, a resposta forçada é decomposta na soma de uma resposta particular e de uma resposta livre induzida pelos valores iniciais da resposta particular. As respostas particulares, para entradas oscilatórias no tempo, foram calculadas com o uso da fun»c~ao de Green espacial. A teoria é desenvolvida de maneira geral permitindo que diferentes sis- temas evolutivos de ordem arbitrária possam ser tratados sistematicamente de uma forma compacta e simples. Realizou-se simulações simbólicas para a obtenção de respostas dinâmicas e respostas for»cadas com equações do tipo parabólico e hiperbólico em 1D,2D e 3D. O cálculo das respostas forçadas foi realizado com a determinação das respostas livres transientes em termos dos valores iniciais das respostas permanentes. Foi simulada a decomposição da resposta forçada da superfície livre de um modelo acoplado oceano-atmosfera bidimensional, através da resolução de uma equação de Klein-Gordon 2D com termo não-homogêneo de natureza dinâmica, devido a tensão de cisalhamento na superfície do oceano pela ação do vento. / The objective of this work is the introduction and the development of an analytical-symbolic methodology for obtaining dynamic and forced responses of distributed systems, in unlimited and limited domains, through the use of the dynamic basis generated by the impulse response. In limited domains, the impulse response was formulated with the spec- tral method. Systems were considered with homogeneous and nonhomogeneous boundary conditions. For systems of stable nature, the forced response is decomposed into the sum of a particular response and a free response that is induced by the initial values of the particular response. The particular responses, for oscillatory time inputs, were calculated with the use of the spatial Green's function. The theory is developed in a general way that allows that di®erent arbitrary order evolution systems can be systematically treated in a compact and simple way. Symbolic simulations ware performed for obtaining dynamics responses and forced responses with equations of parabolic and hyperbolic type in 1D,2D and 3D. The calculation of the forced responses were accomplished with the determina- tion of the transient free responses in terms of the initial values of the permanent responses. It was simulated the decomposition of the forced response of the free surface of a two-dimensional coupled model ocean-atmosphere, through the inte- gration of a 2D Klein-Gordon equation with a nonhomogeneous terms of dynamic nature, due to the shear stress in the surface of the ocean by the action of the wind.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-09T12:28:51Z No. of bitstreams: 2 DISSERTAÇÃO Diego Liberalquino Soares Lima.pdf: 2260108 bytes, checksum: 42b8752b09548cb73b5f4d320fea5294 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T12:28:51Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Diego Liberalquino Soares Lima.pdf: 2260108 bytes, checksum: 42b8752b09548cb73b5f4d320fea5294 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-08-13 / Computação em nuvem fornece aplicações, plataformas e servidores virtuais como serviço, e permite que consumidores paguem pela utilização destes serviços sem que eles precisem ser adquiridos. Um dos grandes benefícios da computação em nuvem é a elasticidade, uma vez que consumidores podem requisitar mais recursos sob demanda e liberá-los quando não são mais necessários. Aplicações distribuídas desenvolvidas em nuvem devem levar em conta a presença da elasticidade para implementar sua arquitetura e serviços. No entanto, o uso efetivo da elasticidade por parte das aplicações pode ser complexo e ocasionar vários erros. Utilizando um middleware orientado a objeto existente (CaMid - Cloud-Aware Middleware), este trabalho apresenta o projeto e a implementação dos mecanismos básicos para suporte à elasticidade, tais como: replicação, coordenação de tarefas, compartilhamento de estado e balanceamento de carga. Estes mecanismos foram incorporados ao CaMid e visam maximizar a utilização dos recursos de nuvem à medida que estes são adicionados à infraestrutura da aplicação e mantê-los em funcionamento quando estes recursos são descartados. Para avaliar os mecanismos desenvolvidos, foi realizada uma avaliação experimental para identificar o impacto dos mesmos na execução das aplicações. Foi possível verificar que o CaMid conseguiu utilizar os recursos de nuvem com eficiência a um custo do overhead causado pela coordenação dos vários processos distribuídos.

Submitted by Nayara Passos (nayara.passos@ufpe.br) on 2015-03-11T19:46:33Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Ermeson Carneiro De Andrade.pdf: 4074311 bytes, checksum: 6b5b5cf26bd00821abaad692e167ee43 (MD5) / Made available in DSpace on 2015-03-11T19:46:34Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Ermeson Carneiro De Andrade.pdf: 4074311 bytes, checksum: 6b5b5cf26bd00821abaad692e167ee43 (MD5) Previous issue date: 2014 / Os softwares possuem defeitos. Os computadores falham. Os v´ırus se propagam. Os pr´edios pegam fogo. As pessoas cometem erros. Os desastres acontecem. Embora gostar ´ıamos que tais eventos nunca acontecessem, ´e prudente prover mecanismos que tratem as interrup¸c˜oes dos servi¸cos, pois o custo do downtime pode ser extremamente elevado. Dessa forma, as empresas tˆem investido cada vez mais em mecanismos de tratamento de interrup¸c˜oes, visto que as interrup¸c˜oes, sejam elas brandas ou severas, podem acontecer em qualquer lugar, a qualquer momento, com pouco ou nenhum aviso. Os sistemas distribu´ıdos (ex.: computa¸c˜ao em nuvem) tˆem sido largamente usados nos ´ultimos anos como um meio de recupera¸c˜ao de interrup¸c˜oes de modo que o sistema (infraestrutura e dados) ´e distribu´ıdo sobre um conjunto de servidores dispersos geograficamente e na ocorrˆencia de interrup¸c˜oes, outros servidores assumir˜ao a operacionalidade do sistema. A forma mais amplamente usada para modelar sistemas complexos (ex.: sistemas distribu´ıdos) ´e atrav´es das linguagens semiformais, tais como SysML (System Modelling Language) ou UML (Unified Modeling Language), devido principalmente `a sua nota¸c˜ao amig´avel e intuitiva. Os modelos semiformais gerados por essas linguagens, por si s´os n˜ao fornecem suporte para avalia¸c˜ao de dependabilidade/desempenho das especifica¸c˜oes dos sistemas. Dessa forma, faz-se necess´ario o mapeamento desses modelos semiformais para modelos anal´ıticos, pois modelos anal´ıticos s˜ao apoiados por fundamentos matem´aticos s´olidos, que suportam sua semˆantica precisa, estimulam a avalia¸c˜ao de desempenho/ dependabilidade e fornecem suporte para verifica¸c˜oes das propriedades qualitativas e an´alises. Os modelos anal´ıticos, no entanto, n˜ao s˜ao intuitivos e requerem um consider´avel esfor¸co por parte dos projetistas para entenderem a nota¸c˜ao usada. Portanto, ´e sensato adotar o uso colaborativo dos modelos semiformais e anal´ıticos. Este trabalho prop˜oe um framework baseado em m´etricas, modelos e ferramentas que auxilia os projetistas, os quais n˜ao possuem (ou possuem pouca) expertise em modelagem estoc´astica, a modelar e estudar os mecanismos de tratamento de interrup¸c˜oes e as infraestruturas dos sistemas distribu´ıdos, a partir de especifica¸c˜oes de alto n´ıvel, descritas atrav´es da SysML e MARTE. Para alcan¸car esse objetivo, prop˜oe-se o mapeamento dos diagramas anotados da SysML em modelos DSPN (Rede de Petri Determin´ıstica e Estoc´astica). Essa abordagem resulta num modelo cujas propriedades s˜ao garantidas e provˆe um conjunto de indicadores de dependabilidade dos mecanismos e do sistema. Ademais, a fim de mostrar a corretude e aplicabilidade do framework proposto, estudos de casos s˜ao apresentados.

Made available in DSpace on 2014-06-12T15:54:13Z (GMT). No. of bitstreams: 2 arquivo6616_1.pdf: 9892055 bytes, checksum: 0828f37503faca4c0d47ca0207b07da9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Ao longo dos últimos anos, jogos multiusuário distribuídos vêm se tornando um tópico em grande evidência tanto no meio acadêmico quanto industrial. Tradicionalmente, sua aplicação foi voltada para computadores pessoais de mesa. Recentemente, avanços na área de computação móvel impulsionaram a aplicação de jogos multiusuário também em dispositivos móveis. Um conceito ainda mais recente é o de jogos pervasivos ou ubíquos, onde o jogo é definido como uma aplicação sempre presente, disponível aos jogadores através de diferentes dispositivos e redes. A concepção destes jogos, bem como a necessidade de infra-estrutura de suporte à implementação e execução destas aplicações são questões que têm despertado grande interesse na comunidade mundial de jogos. O trabalho apresentado nesta tese contribui para solução de parte destas questões, particularmente em relação à adaptação da participação do jogador quando do uso de diferentes dispositivos. São apresentados cenários, onde o acesso ao jogo é irrestrito, criando situações onde jogadores utilizando diferentes dispositivos possam estar lado a lado dentro do mundo virtual, competindo ou cooperando de acordo com os objetivos do jogo. Ao mesmo tempo, estes jogos aproveitam situações específicas da computação móvel, como a formação de redes espontâneas, com objetivo de aumentar a imersão do usuário no jogo. Neste documento, este jogos são denominados Jogos Multiusuário Multiplataforma Pervasivos (PM2G do inglês, Pervasive Multiplayer Multiplatform Games). A partir de cenários definidos, são apresentados dois modelos. O primeiro, chamado de Modelo de Aplicação, diz respeito à visão de elementos que compõem o jogo PM2G, enquanto o segundo, chamado Modelo de Utilização, ressalta a forma como jogadores interagem. A partir destes cenários e modelos, foi especificada uma arquitetura baseada em uma camada de middleware que amplia os serviços de um jogo multiusuário tradicional, agregando serviços de suporte relativos aos conceitos específicos dos modelos apresentados. Para validação, foram implementados cenários de um típico jogo de representação de papéis (RPG do inglês, Role Playing Games) chamado Pervasive Wizards, utilizando os serviços definidos

Made available in DSpace on 2014-06-12T15:54:42Z (GMT). No. of bitstreams: 2 arquivo7293_1.pdf: 1302559 bytes, checksum: 5c29fcb5cfb2253f5a91930260887780 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Um sistema distribuído pode ser definido como um conjunto de processos que se comunicam através de canais de comunicação. Modelos para sistemas distribuídos determinam características do funcionamento destes sistemas, em especial com relação a aspectos temporais e de confiabilidade. O resultado da impossibilidade de se obter o consenso nos sistemas distribuídos assíncronos (modelo assíncrono), tolerando falhas, mesmo que apenas um processo possa falhar de forma silenciosa, estimulou o desenvolvimento de diversos modelos parcialmente síncronos de sistemas distribuídos. Estes modelos assumem algumas características síncronas, com o objetivo de evitar esta impossibilidade. Por outro lado, as novas arquiteturas para prover extit{QoS} são utilizadas para construir ambientes de execução híbridos, nos quais é possível fornecer serviços de comunicação com características síncronas para alguns canais de comunicação. O desafio que se apresenta é o de desenvolver um modelo para sistemas distribuídos adequado a executar em um ambiente equipado com arquiteturas para prover extit{QoS}. Este modelo deve considerar os aspectos síncronos e assíncronos do ambiente de execução, e ser adaptável às alterações dinâmicas que são características de arquiteturas para prover extit{QoS}. Nós respondemos a este desafio apresentando um novo modelo híbrido e adaptativo para sistemas distribuídos parcialmente síncronos, que é adaptável a alterações no estado do ambiente de execução, comuns em ambientes de execução com extit{QoS} cite{modelo,dsn2002,wtdladc2003,wtf2004,tecreportmodelo,sbrc2005}. Este modelo é híbrido ao assumir a coexistência de processos com características síncronas e assíncronas. O modelo apresentado também permite que os processos alterem o seu estado dinamicamente, sem prejuízo para a consistência dos sistemas em execução. Foi desenvolvida uma implementação do modelo proposto baseada em um ambiente de execução com extit{QoS}. Para viabilizar a execução desta implementação, foi desenvolvida uma infra-estrutura de comunicação, a qual denominamos QoS Provider, (QoSP), cujo objetivo principal é gerar uma interface padrão entre o nosso modelo e arquiteturas para prover extit{QoS} existentes. Um novo protocolo de consenso para o modelo de sistemas distribuídos proposto é apresentado nesta tese. Este protocolo de consenso apresenta resultados ótimos com relação à tolerância a falhas em sistemas parcialmente síncronos (tolera $f < n$ falhas de processos em algumas situações), e a complexidade (apresenta um limite inferior de dois passos de comunicação, resultado mínimo para o consenso em sistemas parcialmente síncronos). Foram realizados experimentos com o consenso, que comprovaram o bom desempenho deste protocolo, associado a uma tolerância a falhas ajustada ao nível de sincronismo representado no modelo

Orientador: Ricardo de Oliveira Anido / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T12:48:27Z (GMT). No. of bitstreams: 1 Alencar_JuceleFrancade_M.pdf: 2124677 bytes, checksum: c1e3777a3b380e70fde130d4c0a089d4 (MD5) Previous issue date: 1998 / Resumo: A principal característica de sistemas distribuídos é permitir que vários computadores, situados em diferentes localizações, trabalhem em conjunto para a realização de uma tarefa, possibilitando o compartilhamento de recursos e a distribuição dos serviços. No entanto, devido à dificuldade de se obter uma consistência global do sistema, o desenvolvimento de algoritmos distribuídos torna-se uma tarefa bastante complexa. Visando facilitar o controle, algoritmos distribuídos necessitam, muitas vezes, de um processador que exerça uma função diferenciada dos demais numa dada aplicação. Este processador é normalmente chamado de coordenador ou líder, e o problema de eleição de líder consiste em criar um algoritmo distribuído para uma dada rede de processadores tal que, ao terminar a execução deste algoritmo um, e apenas um, dos processadores seja designado líder. Esta dissertação apresenta um survey englobando as principais soluções para o problema de eleição de líder, analisando suas complexidades de mensagens e tempo e buscando uma classificação de modo a agrupar os algoritmos baseando-se no modelo do sistema e no princípio básico usado no desenvolvimento dos mesmos. / Abstract: The main feature of a distributed system is to allow many computers, at different locations, to work together performing a common task, making the sharing of resources and the distribution of services possible. However, due to the difficulty of acquiring a global view of the system, the development of distributed algorithms is very complex. Several distributed applications make use of a distinguished processor to execute some special task. This processor generally is called coordinator or leader; the leader election problem consists of finding a distributed algorithm for a given network such that, at the end of the execution, only one processor has been declared leader. This dissertation presents, a survey of the main algorithms for the leader election problem, analyzing their message and time complexities and attempting to classify the algorithms according to the system model and the basic principle used in their development. / Mestrado / Mestre em Ciência da Computação

Orientador: Ricardo de Oliveira Anido / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T17:02:31Z (GMT). No. of bitstreams: 1 Craveiro_GiseledaSilva_M.pdf: 4309633 bytes, checksum: 221da7db8cdd6ce3e8ae00b42aaad9cb (MD5) Previous issue date: 1998 / Resumo: Elaborar uma solução para um problema distribuído que atenda aos critérios de segurança e progresso está muito longe de ser uma tarefa trivial. Nem mesmo algoritmos publicados escaparam de contestação posterior, mostrando que são incorretos. Com o objetivo de encontrar uma modelagem mais adequada, alguns pesquisadores tomam a direção das derivações. Verificando comportamentos similares e características comuns, pretende-se desenvolver um método que facilite o projeto de algoritmos distribuídos para resolver problemas que apresentem algumas similaridades. Uma característica muito importante comum a certos problemas é a propriedade da estabilidade, isto é, se o problema ocorre, ele persistirá até que seja detectado e tratado. Assim acontece com deadlocks e quando uma computação distribuída alcança o término de sua atividade. Esta dissertação concentra-se nos seguintes pontos. Do estudo das áreas de deadlock e terminação distribuídos resulta a apresentação da modelagem de cada problema, uma visão em largura das abordagens propostas para a detecção do deadlock distribuído e para a detecção da terminação distribuída e a discussão mais detalhada de alguns algoritmos propostos para esses dois problemas. Às contribuições citadas soma-se a proposição de um método que derive soluções para o problema da terminação distribuída a partir de algoritmos para a detecção do deadlock, preservando as propriedades de segurança e progresso da solução base / Abstract: Devising a solution to a distributed problem, satisfying the requirements of progress and safety is clearly not an easy task. Several published algorithms have been shown incorrect, despite having been "proven" correct at time of publication. An interesting approach to devise a new solution to a problem is to use a known solution to a different problem that has similar requirements and characteristics. In this dissertation we present a methodology to derive solutions to the problem of detecting the termination of a distributed computation based on solutions to the deadlock problem. A common characteristic of these problems is that both are persistent: once attained the condition of deadlock or termination, the condition will hold thereafter, until some external action is taken. Besides presenting the derivation methodology, this dissertation presents a broad study of the more interesting solutions to the deadlock and termination problems found in the literature / Mestrado / Mestre em Ciência da Computação

Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T06:56:39Z (GMT). No. of bitstreams: 1 Ropelatto_Patricia_M.pdf: 18671589 bytes, checksum: 41ffc8f85abf6526f45d8abfb5ff1173 (MD5) Previous issue date: 1999 / Resumo: Os modelos tradicionais de gerência de redes e sistemas distribuídos utilizam agentes estáticos. Este trabalho propõe uma nova abordagem explorando a mobilidade de agentes em um ambiente OMG/CORBA para a plataforma Multiware desenvolvida na Universidade Estadual de Campinas. Uma grande vantagem dos agentes móveis sobre os agentes estáticos é a de evitar a sucessão de requisições e respostas na rede tornando a gerência mais flexível e eficiente. Além disso, é dada aos mesmos uma certa autonomia para agirem em benefício dos seus gerentes promovendo uma descentralização parcial da gerência. Nesta dissertação, a. informação de gerência é obtida através do conceito de Instrumentação definido pelas CORBAfacilities. Com base neste conceito, foi utilizada uma estrutura de filtragem de dados associada aos objetos distribuídos CORBA. Um conjunto de agentes foi definido com a finalidade de coletar informações nas áreas de contabilização e desempenho em três níveis de detalhamento sucessivos: host, processo e objeto. / Abstract: Traditional management models of networks and distributed systems use static agents. This work proposes a new approach which explores the mobility of agents in an OMG/CORBA environment for the Multiware platform developed at University of Campinas. A strong advantage of the mobile agents against the static ones is to avoid successive requests and responses in the network what makes the management more flexible and efficient. Besides, a relative autonomy is given to the agents what allows them to act in benefit of their managers and to promote the partial management decentralization. In this dissertation, the management information is obtained through the concept of Instrumentation defined by the CORBA facilities. Based on this concept, a data filtering structure was used associated to the distributed CORBA objects. A pool of agents was defined to gather information with regards to accounting and performance in three levels of successive detailing: host, process and object. / Mestrado / Mestre em Ciência da Computação

Orientador: Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T14:35:52Z (GMT). No. of bitstreams: 1 OliveiraFilho_MaurodaSilva_M.pdf: 1614584 bytes, checksum: a3f9b8fd6903c1975835458cdc955d2b (MD5) Previous issue date: 1998 / Resumo: Os conceitos de sistema distribuído e programação orientada a objetos têm vantagens e requisitos que tornam natural e desejável a integração entre os dois. A utilização do conceito de objetos remotos na linguagem de programação facilita o desenvolvimento de aplicações distribuídas. Nesta dissertação descrevemos a especificação e a implementação de um sistema de suporte (RTS) que oferece a abstração de objetos remotos a uma linguagem de programação. O RTS é dividido em três camadas: básica, configurável e de objetos. A camada básica não possui o conceito de objetos e é descrita de forma independente de linguagem; fornece suporte às operações das outras camadas. A camada configurável oferece. um conjunto de serviços que podem ser utilizados pelos objetos remotos. Já a camada de objetos oferece operações que permitem a utilização de objetos remotos em uma linguagem de programação. Para a implementação da camada de objetos foi utilizada a linguagem Cm Distribuído (CmD) / Abstract: Distributed systems and object-oriented programming have advantages and requirements that make integration natural and desirable. The notion of remote objects can be incorporated in object-oriented languages for easy development of distributed applications. This work focuses on the specification and implementation of a run-time system (RTS) which offers remote objects concepts for a programming language. The RTS is a tree-tier system: a low-level, language independent layer which does not directly support objects, a middle-level layer which offers services to remote objects, and an upper-level layer supporting the remote objects' notions. Examples are shown in Distributed Cm language (CmD) to stress the usefulness of the notion of remote objects / Mestrado / Mestre em Ciência da Computação

Esta dissertação apresenta uma solução para a integração do serviço de diretório LDAP com o serviço de nomes CORBA. Descrevemos a implementação de um servidor de nomes CORBA que armazena, num diretório LDAP, as associações entre nomes e referências para objetos. O servidor de nomes CORBA é, portanto, um cliente do serviço de diretório LDAP. Eficiência e flexibilidade são as vantagens desta abordagem. As associações nome–referência ficarão acessíveis tanto para clientes CORBA (através das interfaces do serviço de nomes) como para clientes LDAP (através da API do LDAP). Atributos descritivos poderão ser adicionados às entradas do diretório que representam associações nome-referência. Clientes LDAP poderão utilizar as facilidades de busca no diretório para obter referências cujas entradas satisfaçam determinadas condições. Essas condições podem envolver o nome associado à referência ou outros atributos presentes nas entradas do diretório.