Orientador: Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-11-01T12:47:44Z (GMT). No. of bitstreams: 1 Lacerda_RodrigoNetto_M.pdf: 4059825 bytes, checksum: 5072cdd7e5a9201a13f28be10ec5a940 (MD5) Previous issue date: 1997 / Resumo: o objetivo deste trabalho é o desenvolvimento de um conjunto de mecanismos de modo a automatizar a captura, a geração parcial de código, o traçado e o posicionamento dos elementos gráficos de modelos de objetos. Este conjunto de mecanismos, integrados em uma única ferramenta, denominada editor gráfico, deve prover uma interface de programação visual de alto nível para o ambiente de programação distribuída formado por Stabilis/Vigil. / Abstract: The goal of this work is the development of a set of mechanisms to automate the capture, code generation, routing and positioning of graphical elements of object models. This set of mechanisms have been integrated into a graphical that provides a high-level visual programming interface for the distributed programming environment Stabilis/Vigil. / Mestrado / Mestre em Ciência da Computação

Made available in DSpace on 2016-04-29T14:23:06Z (GMT). No. of bitstreams: 1 Everaldo Lopes Silva.pdf: 2560111 bytes, checksum: 80d8866035ff50f6bddd07b19b709209 (MD5) Previous issue date: 2012-05-16 / This dissertation has the objective of identifying the technical aspects that deal with the utilization of computer cluster, specially the platforms with Linux operational system. It will be presented some cluster models in Linux, recognizing its advantages and its disadvantages and finally indicating the chosen model with the due justification. As part of this work, we will propose a laboratory with a cluster of two equipments connected with two gigabit interfaces each one and one computer working stand-alone. It will run Artificial Intelligence and Digital Design programs in this cluster, comparing its performance with only one computer running the same programs. The measuring and analysis will indicate if the Linux cluster would be a feasible infrastructure in technical and financial terms for AI and Digital Design application. The research method will be naturally the experimental and the approach method will be inductive, for through the results of the experimentation and technical analysis, it will be able to apply the knowledge achieved in others similar environments. For putting the experimental activity in the correct context, it will be used the more significant and contemporary research theories to establish in a clear way the scientific approach that it will lead the whole work / Esta dissertação visa identificar os aspectos técnicos e teóricos que envolvem a utilização de cluster de computadores, tratando especialmente de plataformas com o sistema operacional Linux. Serão apresentados alguns modelos de cluster em Linux, reconhecendo suas vantagens e desvantagens e por fim indicando o modelo escolhido com a devida justificativa. Como parte do trabalho, proporemos um laboratório com um agrupamento de dois equipamentos conectados com duas interfaces de rede gigabit ethernet em cada um e um computador trabalhando isoladamente. Executaremos programas de Inteligência Artificial e Design Digital nesse cluster e compararemos o seu desempenho com apenas um computador executando esses mesmos programas. As medições e análise servirão como base para análise para a verificação se um cluster de Linux seria uma infraestrutura viável em termos técnicos e financeiros para aplicações de Inteligência Artificial e Design Digital. O método de pesquisa será naturalmente a pesquisa experimental e o método de abordagem será indutivo, pois através dos resultados da experimentação e da análise técnica se poderá aplicar o conhecimento obtido em situações semelhantes. Para contextualizar a atividade experimental abordaremos as teorias de pesquisa mais significativas e contemporâneas para que se estabeleça de maneira clara a abordagem científica que norteará o trabalho como um todo

Made available in DSpace on 2013-08-07T18:43:15Z (GMT). No. of bitstreams: 1 000417384-Texto+Completo-0.pdf: 1342446 bytes, checksum: 4858f19c27a2781bf9df32e176deb4f3 (MD5) Previous issue date: 2009 / Electronic Government (e-Gov) should serve as the basis for the management of Information Technology and Communication of the Federal Government. It has as basic requirements the promotion of citizenship and digital inclusion, the use of knowledge management, the rationalization of resources, standardization, the use of policies and standards as well as the integration with federal organisms. Computational grids provide an environment for execution of parallel applications in which distributed resources can be used in a transparent way. They enable the processing of large amounts of data, resource sharing and cost reduction. This study analyzes how computational grids could be used to assist public institutions to achieve their e-Gov goals. An e-Gov prototype application is modeled and tested in a grid environment to show the potential of this execution platform in such conditions. / O Governo Eletrônico (e-Gov) deve servir de base para a gestão de Tecnologia da Informação e Comunicação do Governo Federal e tem como requisitos fundamentais a promoção da cidadania, a priorização da inclusão digital, o uso da gestão do conhecimento, a racionalização de recursos, a padronização de normas, políticas e padrões e a integração com os demais entes federativos. As grades computacionais, por sua vez, fornecem um ambiente para execução de aplicações paralelas no qual recursos distribuídos podem ser utilizados de forma transparente. Este ambiente possibilita o processamento de grandes volumes de dados, compartilhamento de recursos e a redução de custos. Dessa forma, as grades computacionais podem ajudar os órgãos públicos a alcançar seus objetivos. Neste estudo os requisitos do Governo Eletrônico são analisados sob a perspectiva de utilização de grades computacionais para execução aplicações de e-Gov, verificando como as grades podem ser úteis aos órgãos governamentais. Uma aplicação de e-Gov é modelada e testada em ambiente de grades para mostrar o potencial desta plataforma de execução em tais condições.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-04-11T14:04:35Z No. of bitstreams: 1 2012_AdrianaCristinaBastosPinto.pdf: 1649490 bytes, checksum: fe36531ce29392254e8d7ecfe344e1e9 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-05-07T12:36:20Z (GMT) No. of bitstreams: 1 2012_AdrianaCristinaBastosPinto.pdf: 1649490 bytes, checksum: fe36531ce29392254e8d7ecfe344e1e9 (MD5) / Made available in DSpace on 2013-05-07T12:36:20Z (GMT). No. of bitstreams: 1 2012_AdrianaCristinaBastosPinto.pdf: 1649490 bytes, checksum: fe36531ce29392254e8d7ecfe344e1e9 (MD5) / Computação distribuída segura ganha cada vez mais destaque com a expansão no armazenamento de dados e na conectividade. Neste contexto, a primitiva criptográfica Oblivious Transfer (OT) se torna um dos elementos chaves, pois com ela pode-se implementar qualquer computação de duas ou múltiplas partes. Será apresentado um protocolo de duas partes para String Oblivous Transfer baseado em canais com apagamentos generalizado seguro no modelo malicioso. Além disso, esse protocolo atinge a capacidade de oblivious transfer do canal com apagamentos generalizados quando a probabilidade de ocorrer apagamentos é de no mínimo 1/2. Outra característica explorada por esse protocolo é que ele é seguro quando composto concorrentemente com protocolos arbitrários. Esse tipo de segurança, chamada de segurança universalmente composta, é um dos focos principais deste trabalho. Além do protocolo para string oblivious transfer, será apresentado protocolos para álgebra linear distribuída segura. A saber, será apresentado um protocolo para calcular o determinante da soma de duas matrizes, um protocolo para calcular os autovalores da soma de duas matrizes e, finalmente, um protocolo para calcular os autovetores associados a um autovalor. Todos esses protocolos de álgebra linear são construídos no modelo criptográfico baseado em commodities e são provados seguros quando universalmente compostos. _______________________________________________________________________________________________________________________________ ABSTRACT / Secure distributed computation is becoming increasingly prominent with the growth in data storage and connectivity. In this context, the cryptographic primitive Oblivious Transfer (OT) becomes one of the keys, since with it one can implements any two-party or multi-party computation. We will present a two-party protocol for string oblivious transfer based on generalized erasure channels secure on the malicious model. Furthermore, this protocol reaches the oblivious transfer capacity of the generalized erasure channel when the erasure probability is at least 1/2. Another feature exploited by this protocol is that it is secure when concurrently composed with arbitrary protocols. This type of security called universally composable security is one of the main focuses of this work. In addition to the protocol for the string oblivious transfer, we will show protocols for secure distributed linear algebra. Namely, we will show a protocol to calculate the determinant of the sum of two matrices, a protocol to calculate the eigenvalues of the sum of two matrices, and, finally, a protocol to calculate the eigenvector associated with an eigenvalue. All these protocols for linear algebra are built in the commodity-based cryptography model and they are proved secure when universally composed.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2006. / Submitted by Érika Rayanne Carvalho (carvalho.erika@ymail.com) on 2009-10-15T01:45:32Z No. of bitstreams: 1 DissertacaoMestrado Leonardo Nunes da Silva.pdf: 1605735 bytes, checksum: cd1350cb41219363224dc8d8c3d3f2e5 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2009-11-24T14:20:22Z (GMT) No. of bitstreams: 1 DissertacaoMestrado Leonardo Nunes da Silva.pdf: 1605735 bytes, checksum: cd1350cb41219363224dc8d8c3d3f2e5 (MD5) / Made available in DSpace on 2009-11-24T14:20:22Z (GMT). No. of bitstreams: 1 DissertacaoMestrado Leonardo Nunes da Silva.pdf: 1605735 bytes, checksum: cd1350cb41219363224dc8d8c3d3f2e5 (MD5) Previous issue date: 2006-12-07 / Na área de processamento paralelo existem dois paradigmas principais de programação: Memória Compartilhada e Troca de Mensagens. Cada um deles é adequado a uma arquitetra de hardware específica. No entanto, existem arquiteturas de multiprocessadores para as quais o mapeamento para um desses paradigmas não é tão simples. Clusters de SMP, por exemplo, são construídos com máquinas de memória compartilhada, conectadas através de uma rede de interconexão. Aplicações para clusters de SMP podem ser programadas para utilizar troca de mensagens entre todos os processadores. Mas existe a possibilidade de um melhor desempenho se utilizado um modelo híbrido de comunicação com troca de informações por memória compartilhada dentro do nó SMP e troca de informações por mensagens entre os nós. Nesse trabalho foi desenvolvido e avaliado um modelo híbrido de programação para uma aplicação na área de engenharia mecânica baseada no método dos elementos finitos. O objetivo desse trabalho é avaliar esse modelo e comparar seu desempenho com uma versão pura, por troca de mensagens, da aplicação. ___________________________________________________________________________________ ABSTRACT / In the area of parallel processing there are two major programming paradigms: Shared Memory and Message Passing. Each of them fits into a specific physical model, but there are multiprocessor architectures whose mapping to one of these paradigms is not so simple. SMP clusters, for example, are built by connecting some shared memory machines through an interconnection network. Applications on SMP clusters can be programmed to use message passing among all processors. However, it’s possible to achieve better performance using a hybrid model with shared memory communication inside SMP nodes and message passing communication between them. In this work, a hybrid model was used to develop an engineering application based on the Finite Element Method in order to evaluate this model and to compare its performance with a pure message passing version of the same application.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2006. / Submitted by Natália Cristina Ramos dos Santos (nataliaguilera3@hotmail.com) on 2009-10-31T15:00:36Z No. of bitstreams: 1 2006_Daniela Pereira Alves.pdf: 755800 bytes, checksum: 8757605da6ec5e32fe3a9bd198bc3076 (MD5) / Approved for entry into archive by Luanna Maia(luanna@bce.unb.br) on 2010-06-11T15:45:14Z (GMT) No. of bitstreams: 1 2006_Daniela Pereira Alves.pdf: 755800 bytes, checksum: 8757605da6ec5e32fe3a9bd198bc3076 (MD5) / Made available in DSpace on 2010-06-11T15:45:14Z (GMT). No. of bitstreams: 1 2006_Daniela Pereira Alves.pdf: 755800 bytes, checksum: 8757605da6ec5e32fe3a9bd198bc3076 (MD5) Previous issue date: 2006-11-09 / Uma solução computacional que utiliza troca de mensagens lida com a dificuldade em decidir qual a melhor ação a ser executada à medida que uma nova mensagem chega. No caso específico da área de tráfego aéreo, o uso de troca de mensagens é empregado para manter consistentes as informações distribuídas entre os aeroportos, sujeitas ás características estocásticas deste contexto. O uso de gerência em nível meta e a aprendizagem por reforço foram empregados, neste trabalho, com intuito de apresentar uma estratégia para tratar o problema de gerência da imensa quantidade de mensagens geradas no contexto de tráfego aéreo. A estratégia proposta fundamenta-se na busca pela adaptação por meio da aprendizagem durante o processo de tomada de decisão. A idéia é empregar uma camada adicional de controle em nível meta sobre a camada de controle já existente no sistema hospedeiro para auxiliar o processo de tomada de decisão. A decisão passa a ser tomada com uso da experiência adquirida pelo agente com a aprendizagem por reforço melhorada por heurísticas propostas. O trabalho, então, propõe um modelo de computação inteligente para auxílio do processo de tomada de decisão de um sistema distribuído aplicado a Air Traffic Flow Management (ATFM). Ele é indicado para atuar na comunicação via troca de mensagens entre aeroportos, trabalhando como uma camada adicional em um aeroporto que usa os metadados das mensagens em suas decisões, com vistas à otimização na definição de uma hierarquia para atendimento às mensagens. O modelo é considerado inovador porque usa aprendizagem por reforço adequada às características deste ambiente estocástico, preocupando-se com a velocidade e qualidade do processo de tomada de decisão. Na modelagem, três estratégias foram propostas para a aprendizagem: heurística inicial, epsilon adaptativo e heurística baseada em performance. Elas são combinadas aos algoritmos de aprendizado por reforço: Q-learning e SARSA. Os estudos de caso avaliam o desempenho, a qualidade do aprendizado quanto às três melhorias propostas e também o comportamento do Q-learning quando são alterados parâmetros do algoritmo. ___________________________________________________________________________________________ ABSTRACT / A computational solution which uses message exchange deals with difficulty to decide what is the best action to execute when a new message arrives. In the specific case of Air Traffic field, the use of message exchange is employed to keep consistency among distributed airport information which are subject to random characteristics of the context. In this work meta-level management and reinforcement learning is employed, with the intention to present one strategy to deal with the problem of managing huge quantity of messages that are created in the aero air traffic context. The proposed strategy is based in the search for adapt action through the learning during the decision make process. The idea is to employ one additional meta-level control layer over the existing control layer in the host system to assist the decision process. The decision is then made using the experience acquired by the agent with the improved heuristical proposals. This work proposes one intelligent computational model to assist the decision make process in a distributed systems applied to the Air Traffic Flow Manage- ment - ATFM. It is indicated to deal with the communication through message exchanges between airports, working like an additional layer in an airport that uses message’s metadata in its decision of pursuing the optimization in the hie- rarchy to attendance messages. The model is considered innovative because it uses reinforcement learning adjusted to the characteristics of the random environment, concerned with the speed and quality in decision make process. In the modeling, three strategy was proposed for learning: initial heuristics, adaptative heuristics and performance heuristics. They are combined with algo- rithms: Q-learning and SARSA. The case studies evaluate by the three enhan- cements proposed - performance, learning quality and Q-learning behavior when parameters is modified.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2006. / Submitted by Kathryn Cardim Araujo (kathryn.cardim@gmail.com) on 2009-11-13T12:07:06Z No. of bitstreams: 1 2006_RobertaRibeiroFerreira.pdf: 1012527 bytes, checksum: 0f8b6c0ad04b7092c4a0d6a3c623f831 (MD5) / Approved for entry into archive by Tania Milca Carvalho Malheiros(tania@bce.unb.br) on 2009-11-13T13:42:12Z (GMT) No. of bitstreams: 1 2006_RobertaRibeiroFerreira.pdf: 1012527 bytes, checksum: 0f8b6c0ad04b7092c4a0d6a3c623f831 (MD5) / Made available in DSpace on 2009-11-13T13:42:12Z (GMT). No. of bitstreams: 1 2006_RobertaRibeiroFerreira.pdf: 1012527 bytes, checksum: 0f8b6c0ad04b7092c4a0d6a3c623f831 (MD5) Previous issue date: 2006-07-27 / Na área das Engenharias muitos problemas complexos de soluções extremamente trabalhosas e normalmente impossíveis de serem resolvidos por métodos analíticos exigem soluções numéricas. O método dos elementos finitos (MEF) é uma abordagem para solução destes problemas encontrados em análise de estruturas, fluídos, eletromagnetismo, modelagem de circuitos integrados, biomédica e transferência de calor que necessitam processamento de alto desempenho e trabalham com grandes volumes de dados. A computação paralela aparece como uma alternativa viável para a obtenção do desempenho necessário para a solução de problemas através do MEF e a utilização de clusters, como alternativa para a obtenção deste desempenho a baixo custo, se comparados a outros sistemas de computação paralela. Contudo, em ambientes heterogêneos, para que o paralelismo seja explorado eficientemente é fundamental uma distribuição balanceada da carga de trabalho. Para isto, se faz necessário o conhecimento detalhado dos custos de execução e comunicação envolvidos no processamento da aplicação paralela, nas diferentes máquinas do ambiente. Este trabalho tem como objetivo caracterizar o desempenho, através de medições de tempo de execução detalhadas, de um código paralelo para um problema de análise estrutural modelado pelo método dos elementos finitos e resolvido pelo método dos gradientes conjugados (MGC), em um ambiente heterogêneo de PCs. Através dos resultados obtidos com as medições detalhadas, foi possível estabelecer um balanceamento de carga empírico para o ambiente heterogêneo, mostrando a viabilidade da utilização deste ambiente para a execução do código paralelo do método dos elementos finitos. _________________________________________________________________________________________ ABSTRACT / There are many complex problems of extremely difficult solutions in engineering area. These complex problems are usually impossible to be resolved for analytic methods and then they demand numeric solutions. The Finite Elements Method (FEM) is an approach for the solution of these problems found in analysis of structures, fluids, electromagnetism, assembling of integrated circuits, biomedical and transfer of heat, that need high performance processing and work with great volumes of data. The parallel computing appears as a viable alternative for obtaining the necessary performance for the solution of problems through the FEM and the use of cluster appears as an alternative for obtaining this performance processing at a low cost, if compared with the other systems of parallel computing. However, in heterogeneous environments, for an efficiently exploration of the parallelism, it is fundamental a balanced distribution of the work load. For this, it is necessary the knowledge of the execution costs and the communication involved in the processing of the parallel application, in the different machines of the environment. This work has as objective to characterize the performance of a parallel code for a problem of structural analysis modeled by the Finite Elements Method and solved by the Conjugated Gradients Method, in a heterogeneous environment. Through the results obtained with the detailed measurements, it was possible to establish an empiric load balancing for the heterogeneous environment, showing the viability of the use of this environment for the execution of the parallel code of the Finite Elements Method.

Orientador: Luiz Eduardo Buzato / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-06T02:03:04Z (GMT). No. of bitstreams: 1 Seabra_IsanaLuzia_M.pdf: 1123422 bytes, checksum: 35a2333550e0c4f62cff398bdfa965f2 (MD5) Previous issue date: 2004 / Resumo: Sistemas distribuídos são aqueles em que vários processos autônomos são executados em máquinas distintas de uma rede de computadores para a realização de uma tarefa conjunta, sendo que a comunicação entre eles é através de troca de mensagens. Uma das principais características, cada vez mais presente nesses sistemas, é o compartilhamento de informação. Isso implica que eles devem garantir que o valor dessa informação é consistente para todos os processos - podemos citar, por exemplo, a manutenção de réplicas de base de dados. Para garantir uma informação consistente, todos os processos devem convergir para um mesmo valor, obtendo um valor de consenso para a informação. Na presença de falhas, sejam elas provenientes de processo ou de comunicação, a literatura nos mostra que obter consenso torna-se um problema de solução não trivial. Dada a importância desse assunto nas aplicações atuais e a vasta literatura que dificulta o início de seu estudo, este trabalho tem como objetivo oferecer um material sucinto e didático que venha facilitar o estudo inicial sobre algoritmos distribuídos para o problema de consenso, tendo como foco principal os alunos de graduação. Para tanto, contextualizamos o problema de consenso em sistemas distribuídos; descrevemos alguns algoritmos com características semelhantes; propomos um estudo detalhado do algoritmo definido por Pease, Shostak e Lamport [1], que chamamos de Algoritmo Fundamental; e apresentamos uma arquitetura em Java como subsídio para a implementação desses algoritmos, juntamente com uma implementação exemplo do Algoritmo Fundamental / Abstract: Distributed systems are those systems in which many autonomous processes are executed in different machines that belong to a computer network for the accomplishment of a cooperative task; the communication among them is carried out strictly through the exchange of messages. One of the main characteristics of these systems is replicated information sharing which means that they should guarantee that the value of this information is consistent for all the processes that have access to it. To guarantee consistency of information, all the processes should agree on the use of a same value for it. In the presence of partial failures, either caused by process or communication problems, the literature shows that reaching consensus becomes a problem of non-trivial solution. Due to its difficulty and practical importance consensus has gained momentus within the community of researchers and spawn a vast literature that makes it difficult for an undergraduate student to start its study. This research has the objective of offering some concise and didactic material to ease the initial studies of distributed consensus. In order to do that, we have contextualized the consensus problem in distributed systems; described some algorithms with similar characteristics; proposed a detailed study of the algorithm defined by Pease, Shostak e Lamport [1], which we call Fundamental Algorithm; and presented a Java based architecture as a subsidy for the implementation of these algorithms where the Fundamental Algorithm has been implemented. / Mestrado / Engenharia de Computação / Mestre Profissional em Computação

Orientadores: Islene Calciolari Garcia / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-06T15:21:09Z (GMT). No. of bitstreams: 1 Silva_UlissesFurquimFreireda_M.pdf: 705102 bytes, checksum: 5b4ebc6853f67fd40696b21c87297f43 (MD5) Previous issue date: 2005 / Resumo: Um sistema distribuído tolerante a falhas que utilize recuperação por retrocesso de estado deve selecionar os checkpoints dos seus processos que serão gravados. Além dessa seleção, definida por um protocolo de checkpointing, o sistema precisa realizar uma coleta de lixo, para eliminar os checkpoints que se tornam obsoletos à medida que a aplicação executa. Assim, na ocorrência de uma falha, a computação pode ser retrocedida para um estado consistente salvo anteriormente. Esta dissertação discute os aspectos teóricos e práticos de um sistema distribuído tolerante a falhas que utiliza protocolos de checkpointing quase-síncronos e algoritmos para a coleta de lixo e recuperação por retrocesso. Existem vários protocolos de checkpointing na literatura, e nesta dissertação foram estudados os protocolos de checkpointing quase-síncronos. Esses protocols enviam informações de controle juntamente com as mensagens da aplicação, e podem exigir a gravação de checkpoints forçados, mas não necessitam de sincronização ou troca de mensagens de controle entre os processos. Com base nesse estudo, um framework para protocolos de checkpointing quase-sincronos foi implementado numa biblioteca de troca de mensagens chamada LAM/MPI. Além disso, uma arquitetura de software para recuperação de falhas por retrocesso de estado chamada Curupira também foi estudada e implementada naquela biblioteca. O Curupira_e a primeira arquitetura de software que n~ao precisa de troca de mensagens de controle ou qualquer sincronização entre os processos na execução dos protocolos de checkpointing e de coleta de lixo / Abstract: A fault-tolerant distributed system based on rollback-recovery has to checkpoints of its processes are stored. Besides this selection, that is controlled checkpointing protocol, the system has to do garbage collection, in order to eliminate that become obsolete while the application executes. The garbage collection because checkpoints require the use of storage resources and the storage has limited capacity. So, when some fault occurs, the whole distributed be restored to a consistent global state previously stored. This dissertation practical and theoretical aspects of a fault-tolerant distributed system quasisynchronous checkpointing protocols and also garbage collection and algorithms. There are several checkpointing protocols proposed in the literature, quasisynchronous ones were studied in this dissertation. These protocols information in the application's messages and can induce forced checkpoints, need any synchronization or exchanging of control messages among on that study, a framework for quasi-synchronous checkpointing implemented in a message passing library called LAM/MPI. Moreover, a based on rollback-recovery from faults named Curupira was also implemented in that library. Curupira is the _rst software architecture exchanging of control messages or any synchronization among the execution of the checkpointing and garbage collection protocols / Mestrado / Sistemas Distribuidos / Mestre em Ciência da Computação

Orientador: Eleri Cardozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-21T18:36:38Z (GMT). No. of bitstreams: 1 Araujo_DouglasEvangelistade_M.pdf: 3643567 bytes, checksum: 0b142cbf3dae3e4dce1aa8a8ebd26667 (MD5) Previous issue date: 1996 / Resumo: O crescente desenvolvimento tecnológico e o aumento da demanda por sistemas e aplicações distribuídas levaram à definição de um padrão para processamento distribuído aberto, RM-ODP (Reference Model for Open Distributed Processing), e ao surgimento de plataformas comerciais capazes de integrar aplicações que estão espalhadas em um ambiente heterogêneo. O trabalho representa uma proposta para implementação de alguns dos serviços básicos do RM-ODP utilizando uma arquitetura de integração baseada na especificação CORBA (Common Object Request Broker Architecture). Entre os serviços oferecidos estão o suporte e o gerenciamento de objetos, cluster, cápsula e nó. A principal contribuição do trabalho está na identificação de alguns requisitos tecnológicos necessários à construção de sistemas distribuídos abertos e heterogêneos, e no mapeamento em termos de implementação dos conceitos propostos pelo modelo ODP do ponto de vista computacional para o de engenharia / Abstract: The increasing technological development and the demand for distributed systems and applications resulted in the definition of ODP (Open Distributed Processing) standard and and architectures able to integrate applications in a heterogeneous environment. This work aims to provide some basic services described in the ODP standard using a distributed computing plataform based on the CORBA specification. Management services of the leveI of objects, cluster, capsule and node are offered. The main contribution of this work is the identification of important technological requirements to construct open distributed systems, as well as mapping of some concepts from the ODP computational viewpoint to engineering viewpoint / Mestrado / Automação Industrial / Mestre em Engenharia Elétrica