Este trabalho apresenta um modelo de escalonamento hierárquico para exploração do paralelismo E Independente e do paralelismo OU na programação em lógica. O modelo utiliza informações de granulosidade geradas pelo GRANLOG (Granularity Analyzer for Logic Programming) para o auxílio ao escalonamento. Um estudo detalhado de ambientes de programação em lógica explorando o paralelismo é apresentado. A partir deste, é feita uma comparação destacando as principais características de cada um. O escalonamento em linhas gerais também é descrito e uma enfâse maior é dada ao escalonamento dinâmico. As principais vantagens e desvantagens de cada escalonador são mostradas. O modelo proposto recebe o nome de DSLP – Distributed Scheduler for Logic Programming e realiza o escalonamento em duas fases. Inicialmente é executada a Fase OU, na qual todo paralelismo OU é explorado. Em seguida, é iniciada a Fase E onde ocorre a exploração do paralelismo E Independente. A estratégia de escalonamento proposta, utiliza informações de complexidade do GRANLOG para determinar o trabalho a ser exportado, bem como o nível de sobrecarga dos nodos. Para validação do trabalho, um protótipo utilizando o ambiente Parallel Virtual Machine foi implementado. O protótipo é um simulador de programas Prolog e implementa a fase E de escalonamento. / This work presents a hierarchical scheduling model for exploration of the Independent AND parallelism and OR parallelism in logic programming. The model uses granularity information generated by GRANLOG (Granularity Analyzer for Logic Programming) to aid the scheduler. A detailed study of parallel logic programming environments is presented. Starting from this, it is made a comparison highlighting the main characteristics of each one. Scheduling in general is also described and the dynamic scheduling is pointed out. The main advantages and disadvantages of each scheduler are shown. The proposed model receives the name of DSLP – Distributed Scheduler for Logic Programming and it accomplishes the scheduling in two phases. Initially the OR Phase is executed and the whole OR parallelism is explored. Soon after, it is initiate the AND Phase with the exploration of the Independent AND parallelism. The scheduling strategy proposed uses complexity information generated by GRANLOG to determinate the task to be exported, as well as the nodes overloaded level. For work validation, a prototype using the Parallel Virtual Machine was implemented. The prototype is a Prolog simulator and it implements the scheduling AND phase.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A distributed power supply composed of multiple DC-DC converters connected in parallel offers several advantages in comparison to a centralized solution. Among these benefits are the following: redundancy, system modularity, increased reliability, improved thermal ow on the system and reduction in the physical size of the units. Its main purpose is to evenly share the output current between the converters. In practice, this specification is rarely achieved without the use of a specific control strategy for sharing, since each converter produces output dependent on the tolerances of the components and the line impedance that connects the unit to the load bus. This imbalance in the shared current can cause excessive stress on the units operating outside of their specifications, increasing their chances of failure. Also, it is desirable that any points of failure are minimized or eliminated by adopting a decentralized control strategy, minimizing connections between units. In this work, the generalized model of output current for a i -th converter from a source with n converters connected in parallel is obtained. To obtain this model, each converter present in the system is modeled as a controlled voltage source, connected to the load bus through an individual line resistance. As the main contribution, two strategies to control current sharing between converters are proposed, based on parallelism without communication between modules, specifically the droop control. To validate the design, the simulation results for a power supply containing three converters in parallel applied to a LED street lamp fixture are shown and analyzed. At the end of this document, the conclusions and suggestions for future work involving the subject are developed. / Uma fonte distribuída de potência composta por vários conversores CC-CC conectados em paralelo oferece diversas vantagens em comparação a uma solução centralizada. Entre esses benefícios, destacam-se os seguintes: redund^ancia, modularidade do sistema, aumento da confiabilidade, melhoria no uxo térmico do sistema e redução no tamanho físico das unidades. Seu principal objetivo é compartilhar uniformemente a corrente de saída entre os conversores. Na prática, esta especificação é raramente atingida sem o emprego de uma estratégia de controle específica para o compartilhamento, visto que cada conversor produz saída dependente das tolerâncias de seus componentes e da impedância de linha que o conecta ao barramento de carga. Este desequilíbrio nas correntes compartilhadas pode ocasionar estresse excessivo nas unidades operando fora de suas especificações, aumentando suas chances de falha. Ainda, é desejável que quaisquer pontos de falha sejam minimizados ou eliminados através da adoção de uma estratégia de controle descentralizada, minimizando conexões entre os conversores. Neste trabalho, o modelo generalizado de corrente para um i -ésimo conversor constituinte de uma fonte com n conversores conectados em paralelo é obtido. Para obtenção deste modelo, modelou-se cada conversor presente no sistema como uma fonte de tens~ao controlada, conectado ao barramento de carga através de uma resistência de linha individual. Como principal contribuição, são apresentadas duas estratégias de controle para compartilhamento de corrente entre conversores, baseados no paralelismo sem comunicação entre módulos, mais especificamente o controle por decaimento. Para validar o projeto, são mostrados e analisados os resultados de simulação para uma fonte de potência contendo três conversores em paralelo aplicados a uma lâmpada de LEDs para iluminação pública. No final deste documento, as conclusões e sugestões para futuros trabalhos envolvendo o tema são elaboradas.

Este trabalho apresenta um modelo de escalonamento hierárquico para exploração do paralelismo E Independente e do paralelismo OU na programação em lógica. O modelo utiliza informações de granulosidade geradas pelo GRANLOG (Granularity Analyzer for Logic Programming) para o auxílio ao escalonamento. Um estudo detalhado de ambientes de programação em lógica explorando o paralelismo é apresentado. A partir deste, é feita uma comparação destacando as principais características de cada um. O escalonamento em linhas gerais também é descrito e uma enfâse maior é dada ao escalonamento dinâmico. As principais vantagens e desvantagens de cada escalonador são mostradas. O modelo proposto recebe o nome de DSLP – Distributed Scheduler for Logic Programming e realiza o escalonamento em duas fases. Inicialmente é executada a Fase OU, na qual todo paralelismo OU é explorado. Em seguida, é iniciada a Fase E onde ocorre a exploração do paralelismo E Independente. A estratégia de escalonamento proposta, utiliza informações de complexidade do GRANLOG para determinar o trabalho a ser exportado, bem como o nível de sobrecarga dos nodos. Para validação do trabalho, um protótipo utilizando o ambiente Parallel Virtual Machine foi implementado. O protótipo é um simulador de programas Prolog e implementa a fase E de escalonamento. / This work presents a hierarchical scheduling model for exploration of the Independent AND parallelism and OR parallelism in logic programming. The model uses granularity information generated by GRANLOG (Granularity Analyzer for Logic Programming) to aid the scheduler. A detailed study of parallel logic programming environments is presented. Starting from this, it is made a comparison highlighting the main characteristics of each one. Scheduling in general is also described and the dynamic scheduling is pointed out. The main advantages and disadvantages of each scheduler are shown. The proposed model receives the name of DSLP – Distributed Scheduler for Logic Programming and it accomplishes the scheduling in two phases. Initially the OR Phase is executed and the whole OR parallelism is explored. Soon after, it is initiate the AND Phase with the exploration of the Independent AND parallelism. The scheduling strategy proposed uses complexity information generated by GRANLOG to determinate the task to be exported, as well as the nodes overloaded level. For work validation, a prototype using the Parallel Virtual Machine was implemented. The prototype is a Prolog simulator and it implements the scheduling AND phase.

Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma extensão da programação em lógica, onde busca-se a eficiência e a possibilidade de executar novas classes de problemas. Variáveis em CLP podem pertencer a domínios específicos como, por exemplo, reais ou booleanos. O principal conceito introduzido é a restrição. Restrição a uma equação que representa uma certa informação sobre uma variável e a sua relação com outras variáveis. o uso de restrições foi proposto para diminuir o espaço de busca na execução dos programas. Apesar de mais eficientes que a programação em lógica clássica, para algumas aplicações reais o desempenho das linguagens CLP ainda é insatisfatório. Por isso, é necessário buscar alternativas novas como a execução em paralelo. A exploração de paralelismo implícito em programas em 1ógica já demonstrou resultados promissores. Vários modelos foram propostos e implementados utilizando as duas principais fontes de paralelismo — E e OU — de forma isolada ou combinada. O objetivo principal desse trabalho é apresentar o modelo pclp(FD) de exploração de paralelismo OU multi-sequêncial para um ambiente com memória distribuída. O modelo pclp(FD) caracteriza-se pela existência de vários trabalhadores, cada um deles possuindo uma maquina abstrata completa. O escalonamento de tarefas a realizado por uma política dinâmica e distribuída. Uma tarefa em pclp(FD) equivale a um ponto de escolha e a um contexto de execução. O contexto de execução a formado por porções da pilha do exportador. Para que o importador tenha acesso ao contexto de execução utiliza-se a cópia incremental, que a uma das varias técnicas possíveis. Cada trabalhador possui a sua própria copia privada das pilhas de execução. A cópia caracteriza-se pelo envio das pilhas de execução do exportador para uma área privada do importador. A cópia incremental é uma técnica mais otimizada que verifica a existência de partes comuns entre os trabalhadores, copiando apenas as panes novas. O algoritmo de cópia incremental proposto no modelo a feito sem nenhuma centralização de informação do estado das pilhas. O projeto e implementação de um prot6tipo para esse modelo, utilizando a linguagem clp(FD), que implementa CLP sobre domínios finitos, permitirá uma analise das vantagens e desvantagens do modelo proposto. Os resultados obtidos com a análise servirão de base para trabalhos futuros, visando aprimorar a implementação e o modelo. / This work is dedicated to the study of the exploration of OR parallelism in Constraint Logic Programming for distributed environment. Logic Programming, which the most meaningful language is Prolog, has as premise the use of the logic of predicates as computational language. Constraint Logic Programming or CLP is an extension of the logic programming, where efficiency and the possibility to execute new kinds of problems are searched. A variable in CLP can belong to specific domains as, for example, Real or Boolean. The main concept introduced is the constraint. Constraint is an equation that represents a certain information over a variable and its relation with others variables. The use of constraints was proposed to decrease search space in the program execution. Although it is more efficient than classic logic programming, for some real applications, the performance of CLP languages still is unsatisfactory. So, it is necessary to search alternatives as parallel execution. The exploration of implicit parallelism in programs in logic has already demonstrated promising results. Several models have been proposed and implemented using the two main sources of parallelism - AND and OR — in an isolated or combined form. The main objective of this work is to present the pclp(FD) model of exploration of multi-sequential OR parallelism for a distributed memory environment. The pclp(FD) model is characterized for the existence of some workers, each one of them possessing a complete abstract machine. Task scheduling is executed by one dynamic and distributed policy. A task in pclp(FD) is equivalent to a choice point and an execution context. Execution context is formed by portions of the stack of the exporter. So that importer has access to the execution context, it uses incremental copy, which is one of the several possible techniques. The copy is characterized for sending execution stacks of the exporter to a private area of the importer, that is, each worker possesses its private copy of the execution stacks. The incremental copy is a more optimized technique that verifies the existence of common parts between workers, copying only the new ones. The incremental copy algorithm proposed in the model executes without centralized information of the state of the stacks. A prototype project and implementation for this model, using the language clp(FD), that implements CLP over finite domains, will allow an analysis of advantages and disadvantages of the considered model. The results gotten with the analysis will serve of base for future works, aiming to improve the implementation and the model.

Submitted by ADÃO FELIPE DOS SANTOS null (adaofeliped@gmail.com) on 2016-09-23T12:27:56Z No. of bitstreams: 1 Dissertação Adão Felipe dos Santos - 2016.pdf: 1454186 bytes, checksum: 346d65b6c3abf44c689b0330be35777d (MD5) / Approved for entry into archive by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br) on 2016-09-23T14:36:32Z (GMT) No. of bitstreams: 1 santos_af_me_jabo.pdf: 1454186 bytes, checksum: 346d65b6c3abf44c689b0330be35777d (MD5) / Made available in DSpace on 2016-09-23T14:36:32Z (GMT). No. of bitstreams: 1 santos_af_me_jabo.pdf: 1454186 bytes, checksum: 346d65b6c3abf44c689b0330be35777d (MD5) Previous issue date: 2016-07-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Dentro do contexto de Agricultura de Precisão, a utilização do direcionamento automático é sem dúvidas uma das ferramentas mais populares entre os agricultores, no entanto, são poucos os produtores de amendoim que utilizam dessa tecnologia. Os benefícios do piloto automático podem ser ainda maiores na cultura de amendoim, visto que uma das principais queixas dos operadores é a dificuldade em manter o trator alinhado com a fileira da cultura no momento do arranquio, o que poderia ser reduzido quando se realiza a semeadura e o arranquio com a utilização do Piloto Automático. Nesse sentido foram realizados dois estudos, sendo o primeiro para avaliar o erro de paralelismo na operação de arranquio, mediante projeto para a execução, com direcionamento automático com sinal RTX. No segundo buscou-se identificar os principais problemas que afetam a operação de arranquio, bem como o erro de paralelismo. No primeiro foi possível observar que o uso do sinal proporcionou erros inferiores a 3,8 cm, da linha projetada com a linha executada na semeadura. No segundo, relata-se que para que o arranquio seja feito com menores perdas deve-se manter monitoramento constante de parâmetros como maturação e teor de água do solo e profundidade de trabalho do arrancador-invertedor. Por fim, é possível concluir que o uso do piloto automático reduz os erros de paralelismo, tanto na semeadura quanto no arranquio de amendoim. / Among the precision farming tools, the use of automatic steering is without doubt one of the most popular among farmers, however, few farmers peanut using this technology. The benefits of autopilot may be even greater in the peanut crop, and one of the main complaints of the operators is the difficulty in maintaining the tractor lined up with the culture of the row at the digging. Thus, these effects can be reduced when performing the sowing and digging using the Autopilot. That it was conducted two studies, the first to evaluate the parallelism in the digging operation by design to the implementation, with automatic routing with RTX signal. The second sought to identify the main problems affecting the digging operation as well as the parallelism. At first it was possible to observe that the use of the sign provided lower errors to 3.8 cm, the line designed with the line running at sowing. In the second, it is reported that for the digging is done with smaller losses should be constant monitoring of parameters such as maturation and soil water content and depth of work Starter-Flipping. Finally, we conclude that the use of the autopilot reduces the parallelism errors, both in seeding and in peanut digging.

Made available in DSpace on 2015-05-14T12:11:57Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 898655 bytes, checksum: da0dcd2488921a9f83fe8abb462c70a5 (MD5) Previous issue date: 2014-08-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This essay aims to discourse on the concept of infinite in Baruch Spinoza, taking as main theoretical reference two of his works, the Metaphysical Thoughts and The Letter 12. The objective is to show that the concept of infinite represents a key idea to Spinoza s system, where all his theses concerning immanent causality and psychophysical parallelism are based on. The research begins with a historical approach about the matter of infinite, discussed by a tradition of thinkers who preceded Spinoza, since the Greeks until Descartes in modernity. In a second moment, the analysis turns to the matter of infinite understood by Spinoza who, as he defends the idea of current infinite, ends up retaking the theory of Anaxagoras, Nicolau of Cusa and Giordano Bruno, where, according to them, God is not separated of his creatures, but keeps a relation of immanency with them. In this case, according to Spinoza, to affirm that God is infinite means saying that He comprehends all things and nothing can exist separated from Him, and moreover, being substance, God cannot be separate of his conditions (modes), what is explained by the immanency of his causality, in what cause (God) and effect (modes) occur simultaneously. The habit of separate the substance from his conditions comes from the misunderstanding between the way how the mind understands the substance through the beings of Reason (time, measure, number) and the essence of the own substance. Through the beings of Reason, the substance is composed of parts and, therefore, it is divisible; however, considering its essential aspect, it is indivisible. This explains the thesis of parallelism as well since mind and body, due to inseparability of conditions, cannot be considered independent substances, but expressions of a single and same substance, either conceived by the attribute of thinking, or conceived by the attribute of extension. According to Spinoza, the dualism proposed by his main interlocutor, Descartes, precisely appeared due to the fact of his misunderstanding concerning the real aspect of substance (indivisible attributes) with his modal aspect (divisible modes). / Esta dissertação tem o objetivo de discorrer sobre o conceito de infinito em Baruch Spinoza, tomando como referencial teórico principal duas de suas obras, Os Pensamentos Metafísicos e a Carta 12. A tarefa aqui é mostrar que o conceito de infinito representa uma ideia chave para o sistema de Spinoza, sobre o qual estão assentadas as teses da causalidade imanente e do paralelismo psicofísico. O estudo se inicia com uma abordagem histórica acerca da questão do infinito, discutido por uma tradição de pensadores que antecederam Spinoza, desde os gregos até Descartes na modernidade. Em um segundo momento, a análise se volta para questão do infinito entendido por Spinoza que, ao defender a ideia do infinito atual, acaba retomando as teorias de Anaxágoras, Nicolau de Cusa e Giordano Bruno, segundo as quais Deus não está separado de suas criaturas, mas mantém uma relação de imanência com elas. Nesse caso, para Spinoza, afirmar que Deus é infinito significa dizer que Ele abrange todas as coisas e nada pode existir separado Dele, ou melhor, sendo substância, Deus não pode ser separado de suas afecções (os modos), o que é explicado pela imanência de sua causalidade, na qual causa (Deus) e o efeito (as afecções) ocorrem conjuntamente. O hábito de separar a substância de suas afecções vem da confusão entre o modo como a mente percebe a substância através dos entes de Razão (tempo, medida, número) e a essência da própria substância. Pelos entes de Razão, a substância é composta de partes e, portanto divisível; todavia, considerando o seu aspecto essencial, ela é indivisível. Isso explica também a tese do paralelismo já que a mente e o corpo, devido à indissociabilidade das afecções, não podem ser consideradas substâncias independentes, mas expressões de uma única e mesma substância, ora concebida pelo atributo pensamento, ora concebida pelo atributo extensão. De acordo com Spinoza, o dualismo proposto pelo seu principal interlocutor, Descartes, surgiu justamente pelo fato deste confundir o aspecto real da substância (atributos indivisíveis) com seu aspecto modal (modos divisíveis).

Made available in DSpace on 2015-05-14T12:39:30Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 969260 bytes, checksum: 00e0c2202dc73df6f0c938d0e8820493 (MD5) Previous issue date: 2011-05-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this thesis, we critically examine the theories of the poetic text as proposed by Roman Jakobson and Jean Cohen and Michael Riffaterre so as to recognize, from a conciliation of the three theories, a generic model of the poetic concept so as to apply such a model to the cinema. Based also on filmic theories (drawn mainly from Marcel Martin and Yuri Lotman), we investigate how the poetic dimension gets materialized in narrative fiction feature films. From the establishment of a generic model of the poetic mechanism, having verbal poetry as a parameter, we study some particular modes of the poetic configuration in the cinema, elaborating through a wide range of filmic sequences, a series of tropes that constitutes a theoretical-didactic model for the analysis of poetic resources in the cinema. / Nesta tese, examinamos criticamente as teorias do texto poético de Roman Jakobson e Jean Cohen e Michael Riffaterre com o intuito de reconhecer, numa conciliação das três teorias, um modelo geral do conceito poético e aplicá-lo ao cinema. Apoiando-nos também em teorias fílmicas (retomadas, principalmente, de Marcel Martin e Yuri Lotman), investigamos como o poético materializa-se em longa metragens narrativos de ficção. A partir do estabelecimento de um modelo geral do mecanismo poético, tomando como exemplo considerações sobre a poesia verbal, estudamos alguns modos particulares de configuração do poético no cinema, elaborando, através de exemplos de sequências fílmicas, uma série de figuras que se constitui como um modelo teórico-didático para a análise de recursos poéticos no cinema.

Made available in DSpace on 2014-12-17T14:52:47Z (GMT). No. of bitstreams: 1 ThalesLS.pdf: 825402 bytes, checksum: 8e0d2b64fc7287a7921fa605343a8bb6 (MD5) Previous issue date: 2008-12-23 / Particle Swarm Optimization is a metaheuristic that arose in order to simulate the behavior of a number of birds in flight, with its random movement locally, but globally determined. This technique has been widely used to address non-liner continuous problems and yet little explored in discrete problems. This paper presents the operation of this metaheuristic, and propose strategies for implementation of optimization discret problems as form of execution parallel as sequential. The computational experiments were performed to instances of the TSP, selected in the library TSPLIB contenct to 3038 nodes, showing the improvement of performance of parallel methods for their sequential versions, in executation time and results / Otimiza??o por Enxame de Part?culas ou Particle Swarm Optimization (PSO) ? uma metaheur?stica que surgiu na inten??o de simular o comportamento de um conjunto de p?ssaros em v?o, com seu movimento localmente aleat?rio, mas globalmente determinado. Esta t?cnica tem sido muito utilizada na resolu??o de problemas cont?nuos n?o-lineares e ainda pouco explorada em problemas discretos. Este trabalho apresenta o funcionamento desta metaheur?stica, al?m de propor estrat?gias para sua aplica??o em problemas de otimiza??o discreta tanto na sua forma de execu??o seq?encial quanto paralela. Os experimentos computacionais foram realizados para inst?ncias do problema do caixeiro viajante, selecionados na biblioteca TSPLIB contendo at? 1002 n?s, mostrando a melhoria de desempenho dos m?todos paralelos em rela??o as suas vers?es seq?enciais, em tempo de execu??o e resultados

A computacao paralela, empregada no meio cientifico para resolucao de problemas que de- mandam grande poder computacional, teve nos ultimos anos o surgimento de um novo tipo de comunicacao entre instancias do paralelismo. Trata-se da Comunicacao Unilateral (CUL), onde somente uma instancia realiza a operacao de transferencia de informacoes, e esta ocorre em segundo plano, ao contrario da Comunicacao Bilateral (CBL), onde uma instancia envia a informacao e a outra recebe. Neste contexto se buscou analisar os beneficios que a CUL agrega ao paralelismo de um programa que se utiliza de uma grade nao estruturada em me- moria. Duas formas de apoio ao paralelismo foram utilizadas: uma biblioteca, a \"Message Passing Interface\" (MPI) (especificamente a sua parte que descreve a CUL), e uma extensao a linguagem Fortran, o Coarray Fortran (CAF). A semantica do MPI CUL e mais complexa que a do CAF, mas a do CAF e mais restritiva. Para analisar a semantica e desempenho da CUL foi realizada uma ambientacao utilizando MPI CUL e CAF no paralelismo de um programa simples, denominado jogo da Vida (Game of Life), com grade estruturada e com otimo desempenho paralelo atraves do MPI CBL. Na programacao o MPI CUL se mostrou verborragico (aumento do numero de linhas de codigo) e complexo, principalmente quando se utiliza um controle refinado de sincronismo entre as imagens. Ja o CAF reduziu o nu- mero de linhas de codigo (entre 20% e 40%), e o sincronismo e muito mais simples. Os resultados mostraram uma piora no desempenho no caso do MPI CUL, mas para o CAF o desempenho absoluto foi melhor que a implementacao original ate o numero de nucleos de processamento que compartilham a mesma memoria. Para grades nao estruturadas se utilizou o Ocean Land Atmospheric Model (OLAM), um modelo de simulacao do sistema terrestre com grade baseada em prismas triangulares, paralelizado atraves de MPI CBL. A implementacao da comunicacao por MPI CUL na estrutura do paralelismo existente mos- trou que esta semantica possui alguns pontos que podem prejudicar a programacao, como o tratamento da exposicao de memoria (cada instancia tem uma memoria exposta de tamanho diferente) e como e realizado o sincronismo entre as instancias. Em termos de desempenho as curvas de speed-ups mostraram que o MPI CUL prejudicou o OLAM independentemente da implementacao das bibliotecas ou do equipamento utilizado, com reducao de pelo menos 20% no speed-up para sete ou mais processadores. Assim como no jogo da Vida o MPI com comunicacao unilateral penalizou o desempenho. / Parallel computing is used to solve many scientific problems that demand intensive compu- ting power. Recently a new paradigm of communication between instances of the parallelism has appeared, called the one-sided communication (OSC), where only one instance performs the operation of information transfer, occurring in the background, as opposed to the two- sided communication (TSC), where one instance sends the information and the other receives it. In this context we analyze the benefits that OSC aggregates to the parallelism of a pro- gram that uses an unstructured grid in memory. Two OSC implementations were used: the \"Message Passing Interface\" (MPI) library (specifically the part that describes OSC), and Coarray Fortran (CAF), an extension of the Fortran language. The semantics of MPI OSC is more complex than that of CAF, but the semantics of CAF is more restrictive. To analyze the semantics and performance of OSC a simple program called Game of Life is used in a structured grid, giving very good parallel performance through MPI TSC. The MPI OSC program was verbose (increase in the number of lines of code) and complex, especially when using a more refined control to synchronize the parallel instances. On the other hand, CAF has reduced the number of lines of code (between 20% to 40%), and the synchronization is very simple. The results showed a worse performance in the case of MPI OSC, but for the CAF the absolute performance was better than the original implementation up to the number of processor cores that share the same memory. For unstructured grids we used the Ocean Land Atmospheric Model (OLAM), an earth simulation model on a grid based on triangular prisms, and parallelized with MPI TSC. The implementation with MPI OSC showed that this semantics has some points that may affect the coding of the communication structure, as in the treatment of memory exposure (each instance has an exposed memory of different size) and the way to treat the synchronization among instances. In terms of performance, the speedup curves showed that MPI OSC penalized OLAM, independently of the MPI implementation or the equipment used, with a reduction of at least 20% in speedup for seven or more processors. As in the Game of Life, MPI OSC degrades the performance.

[pt] O processamento de consulta paralelo tradicional utilize- se de nós computacionais para reduzir o tempo de processamento de consultas. Com o surgimento das grades computacionais, milhares de nós podem ser utilizados, desafiando as atuais técnicas de processamento de consulta a oferecerem um suporte massivo ao paralelismo em um ambiente onde as condições variam todo a instante. Em adição, as aplicações científicas executadas neste ambiente oferecem novas características de processamento de dados que devem ser integradas em um sistema desenvolvido para este ambiente. Neste trabalho apresentamos o sistema de processamento de consulta paralelo do CoDIMS-G, e seu novo operador Orbit que foi desenvolvido para suportar a avaliação de consultas iterativas. Neste modelo de execução as tuplas são constantemente avaliadas por um fragmento paralelo do plano de execução. O trabalho inclui o desenvolvimento do sistema de processamento de consulta e um novo algoritmo de escalonamento que, considera as variações de rede e o throughput de cada nó, permitindo ao sistema se adaptar constantemente as variações no ambiente. / [en] Traditional parallel query processing uses multiple computing nodes to reduce query response time. Within a Grid computing context, the availability of thousands of nodes challenge current parallel query processing techniques to support massive parallelism in a constantly varying environment conditions. In addition, scientific applications running on Grids offer new data processing characteristics that shall be integrated in such a framework. In this work we present the CoDIMS-G parallel query processing system with a full-fledged new query execution operator named Orbit. Orbit is designed for evaluating massive iterative based data processing. Tuples in Orbit iterate over a parallelized fragment of the query execution plan. This work includes the development of the query processing system and a new scheduling algorithm that considers variation on network and the throughput of each node. Such algorithm permits the system to adapt constantly to the changes in the environment.