Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T15:23:13Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:33:37Z : No. of bitstreams: 1 184340.pdf: 36764843 bytes, checksum: 6b7425d1f816a53c0c0791f46b384282 (MD5) / Um estudo sobre comunicação em grupo usada em sistemas distribuídos. É feita uma avaliação de diversos mecanismos de Comunicação em grupo existentes atualmente. Para uma análise mais detalhada, são selecionados três ambientes que trabalham tanto em redes locais como em redes de longa distância. Finalmente um dos mecanismos de comunicação em grupo é escolhido, o SPREAD, e submetido a testes de volume, funcionalidades e performance em um ambiente real de rede WAN. Também uma aplicação de gerenciamento de recursos em ambiente de sistemas distribuídos foi desenvolvida para ilustrar o uso deste mecanismo de comunicação em grupo. Concluiu-se que o SPREAD tem boa performance e escalabilidade em ambiente WAN podendo ser usado plenamente em uma ferramenta de gerência de recursos em sistemas distribuídos.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-18T16:32:05Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T04:15:13Z : No. of bitstreams: 1 151846.pdf: 1934398 bytes, checksum: 94d2fe297eebfbb8b39ad25210bd09c6 (MD5) / No trabalho apresentado nesta dissertação, uma questão importante sobre os padrões de design é abordada: Os padrões de design constituem uma boa ferramenta para a construção de sistemas cooperativos flexíveis e reutilizáveis? Para tanto, foi desenvolvido um sistema de conversação virtual sobre o ambiente Internet utilizando-se uma metodologia totalmente baseada em padrões de design. O sistema inteiro foi desenvolvido sobre a plataforma Java da Sun Microsystems. O nível de reutilização do sistema foi avaliado sob o aspecto funcional, estendendo-o com novas funcionalidades, e estrutural, modificando sua estrutura de interação.

Resumo: Este trabalho apresenta a concepção, projeto e implementação do sistema ISABELA (Intelligent System for Assisting BEgginers in LAnguages), o qual é composto de um conjunto de ferramentas utilizadas no apoio ao ensino de programação com linguagens textuais para sistemas operacionais. O ambiente oferece duas ferramentas: uma de ensino e uma de autoria. A ferramenta de ensino se propõe a cobrir a aquisição de princios e da prática no domínio de linguagens de operação de dispositivos digitais, tais como os sistemas operacionais. Os princípios são comunicados por meio de interações humano-máquina onde a máquina atua de forma passiva, sendo o aprendiz o agente responsável pela aprendizagem através da leitura de conceitos, enunciados de exemplos e a observação da dinâmica de execução dos referidos exemplos. A prática é vivenciada pela solução de problemas dados em exercícios propostos e a implementação da solução, os quais são avaliados e acompanhados por meio de tutoramente inteligente, de caráter reativo por parte da máquina. Este tutoramento inteligente abrange a avaliação de soluções típicas e atípicas fornecidas pelo aluno através de diagnóstico por caminhos-padrão e por análise de resultados. Finalmente, para o instrutor, o sistema oferece uma ferramenta de autoria que facilita a criação e manipulação do material expositivo e reativo destinado ao aprendiz, de acordo com o repositório de material didático da preferência do próprio instrutor.

Este trabalho trata da técnica de validação experimental de protocolos de comunicação confiável, através da injeção de falhas de comunicação. São estudadas inicialmente as técnicas de injeção de falhas, por hardware, software e simulação, e então são aprofundados os conceitos de injeção de falhas de comunicação, modelos de falha e especificação de experimentos de injeção de falhas. Em um segundo momento, são estudadas as formas de implementação de injetores de falhas em software, em suas duas formas mais comuns: no nível da aplicação e no nível do sistema operacional. São comentados os impactos da implementação de injetores no código da aplicação, por processos concorrentes à aplicação, em código utilizado pela aplicação e no meta-nível. Por fim, são estudados também que influências sofre a implementação de um injetor de falhas em um sistema operacional, e mais especificamente a de injetores de falhas de comunicação. O objetivo específico deste trabalho é implementar um injetor de falhas de comunicação bastante abrangente e flexível, situado dentro do núcleo do Sistema Operacional Linux. Para viabilizar esta implementação foi estudada também a arquitetura do Sistema Operacional Linux, sua decomposição em subsistemas e a interação entre estes. Foram estudadas também as várias técnicas de programação e mecanismos que o Sistema Operacional Linux fornece aos seus subsistemas. Estando completas a revisão bibliográfica a respeito de injeção de falhas e o estudo do código do Sistema Operacional Linux, são apresentadas a proposta e a implementação da ferramenta ComFIRM—Communication Fault Injection through Operating System Resource Modification, suas características e sua inserção dentro do núcleo do Sistema Operacional Linux. Finalizando este trabalho, são apresentados uma pequena série de testes de funcionamento e experimentos realizados com a ferramenta ComFIRM, visando demonstrar a correção de seu funcionamento, o cumprimento de seus objetivos e também sua praticidade e flexibilidade de uso. São apresentadas as conclusões deste trabalho, propostas de melhorias à ferramenta apresentada, bem como possibilidades de trabalhos futuros.

Este trabalho trata da técnica de validação experimental de protocolos de comunicação confiável, através da injeção de falhas de comunicação. São estudadas inicialmente as técnicas de injeção de falhas, por hardware, software e simulação, e então são aprofundados os conceitos de injeção de falhas de comunicação, modelos de falha e especificação de experimentos de injeção de falhas. Em um segundo momento, são estudadas as formas de implementação de injetores de falhas em software, em suas duas formas mais comuns: no nível da aplicação e no nível do sistema operacional. São comentados os impactos da implementação de injetores no código da aplicação, por processos concorrentes à aplicação, em código utilizado pela aplicação e no meta-nível. Por fim, são estudados também que influências sofre a implementação de um injetor de falhas em um sistema operacional, e mais especificamente a de injetores de falhas de comunicação. O objetivo específico deste trabalho é implementar um injetor de falhas de comunicação bastante abrangente e flexível, situado dentro do núcleo do Sistema Operacional Linux. Para viabilizar esta implementação foi estudada também a arquitetura do Sistema Operacional Linux, sua decomposição em subsistemas e a interação entre estes. Foram estudadas também as várias técnicas de programação e mecanismos que o Sistema Operacional Linux fornece aos seus subsistemas. Estando completas a revisão bibliográfica a respeito de injeção de falhas e o estudo do código do Sistema Operacional Linux, são apresentadas a proposta e a implementação da ferramenta ComFIRM—Communication Fault Injection through Operating System Resource Modification, suas características e sua inserção dentro do núcleo do Sistema Operacional Linux. Finalizando este trabalho, são apresentados uma pequena série de testes de funcionamento e experimentos realizados com a ferramenta ComFIRM, visando demonstrar a correção de seu funcionamento, o cumprimento de seus objetivos e também sua praticidade e flexibilidade de uso. São apresentadas as conclusões deste trabalho, propostas de melhorias à ferramenta apresentada, bem como possibilidades de trabalhos futuros.

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

Orientador: Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T04:53:14Z (GMT). No. of bitstreams: 1 MeloJunior_Alencarde_M.pdf: 4501788 bytes, checksum: f5cab8a6e5f02e4b01c0e349c47e542e (MD5) Previous issue date: 1993 / Resumo: Em sistemas de tempo real crítico os processos a serem escalonados estão sujeitos a um grande número de restrições: tempo de pronto, "deadline", e relações de exclusão mútua. O problema de escalonar um conjunto de processos em um sistema monoprocessador sujeito a estas restrições é conhecido ser "NP-hard", o que efetivamente impede o escalonamento destes em modo totalmente "on-line". Para os processos periódicos, utiliza-se um algoritmo já existente, projetado para ser usado por um escalonador "off-line", que resolve o problema citado anteriormente. Os processos esporádicos possuem tempo de pronto não determinístico, e desta forma, não podem ser escalonados "off-line", fazendo-se necessário uma abordagem "on-line" . Este trabalho mostra que a implementação do escalonador "off-line" é factível e complementa este, propondo um procedimento eficiente para o atendimento "on-line" de processos esporádicos de modo a não comprometer o escalonamento gerado em modo "off-line" para os processos periódicos / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica