Self-adapting epidemic broadcast algorithms

Epidemic broadcast algorithms have a number of characteristics, such as strong resilience to node failures, that make them an appealing technology to build survivable systems. However, the performance of existing protocols is highly dependent of runtime parameters, such as the network load or network topology. In the current extended abstract we advocate, using concrete illustrations, the use of self-adapting epidemic broadcast algorithms

Synopsis of Lunda geology, NE Angola : implications for diamond exploration

No presente estudo, apresenta-se uma síntese da geologia da Luanda (NE de Angola) com vista a um melhor entendimento das ocorrências de jazigos primários e secundários de diamante. As enormes potencialidades diamantíferas da região são encaradas de forma abrangente, apoiadas em primeiro grau na definição do Cratão do Congo, a partir de um núcleo do Arcaico, até aos vários cinturões móveis acretados, sucessivamente, a este núcleo. No conjunto, dão corpo ao edifício cratónico onde a variação do gradiente geotérmico e a curva de estabilidade do diamante são determinantes na génese e transporte até à superfície deste precioso mineral. Giza-se de seguida a evolução da Bacia Central do Congo, grande região situada na zona central de África onde, mercê de drenagem endorreica, se acumulam espessas sequências sedimentares, iniciadas no Paleozóico superior, e que assumem expressão máxima no Meso-Cenozóico. Também se faz referência à deformação pré-atlântica do Cratão do Congo que comanda os processos sedimentológicos, essencialmente terrigenos e continentais, deformação essa que atinge pontos críticos com a abertura do Atlântico Sul. Referem-se as grandes repercussões do "rift" oceânico no interior do cratão, reactivando estruturas tectónicas herdadas de ciclos anteriores com direcções dominantes que controlam, em absoluto, as vindas kimberlíticas e estruturas alcalinas associadas. Dedica-se ainda um largo espaço às unidades sedimentares portadoras de diamante, com especial destaque para a Formação Calonda do Grupo Kwango, Grupo Kalahari e depósitos eluvio-aluvíais do Quatemário que, em fases sucessivas, colectam e redistribuem o diamante. Discute-se, caso a caso, o potencial destas unidades na inventariação e prospecção de jazigos secundários detríticos. A finalizar, faz-se o balanço crítico e alvitram-se as consequências económicas que impendem sobre os jazigos de diamante de Angola, primários e secundários, nas vertentes da sua potencialidade e perspectivas para o futuro

Epidemic broadcast trees

There is an inherent trade-off between epidemic and deterministic tree-based broadcast primitives. Tree-based approaches have a small message complexity in steady-state but are very fragile in the presence of faults. Gossip, or epidemic, protocols have a higher message complexity but also offer much higher resilience. This paper proposes an integrated broadcast scheme that combines both approaches. We use a low cost scheme to build and maintain broadcast trees embedded on a gossip-based overlay. The protocol sends the message payload preferably via tree branches but uses the remaining links of the gossip overlay for fast recovery and expedite tree healing. Experimental evaluation presented in the paper shows that our new strategy has a low overhead and that is able to support large number of faults while maintaining a high reliability.This work was partially supported by project P-SON: Probabilistically Structured Overlay Networks (POSC/EIA/60941/2004)

Concretização de protocolos com fiabilidade semântica

Os protocolos de difusão são muito utilizados na construção de sistemas distribuídos. Neste contexto,a habilidade semântica é um novo modelo de coerência introduzido recentemente que explora o conceito de obsolescência:uma mensagem torna-se obsoleta quando o seu conteúdo. É sobreposto por uma outra mensagem mais recente. O conhecimento de quais as mensagens obsoletas pode ser usado para libertar recursos, aumentando o desempenho do sistema. Este artigo aborda os desafios de realizar uma concretização modular de uma pilha de protocolos oferecendo habilidade semântica. Esta concretização foi realizada usando uma moldura de objectos de suporte composição e execução de micro-protocolos. Ao contrário do que acontece em concretizáveıs monolíticas, numa concretização modular as mensagens em processamento na pilha de protocolos encontram-se dispersas por diferentes camadas, dificultando a tarefa de aplicar relações de obsolescência

Difusão probabilista com fiabilidade semântica

Os protocolos probabilistas, também designados por protocolos de propagação epidémica, têm recebido recentemente um interesse crescente devido à sua capacidade de escala. Uma das principais limitações deste tipo de protocolos é que podem consumir uma excessiva largura de banda. Este artigo discute um protocolo que combina a difusão probabilista com a fiabilidade semântica. Este novo protocolo alia o suporte de um elevado número de participantes com a tolerância de receptores lentos e congestão na rede. Nomeadamente, é apresentada a concretização do protocolo usando a moldura e objectos de suporte a composição e execução de micro-protocolos Appia assim como a avaliação ao do seu desempenho.Projecto RUMOR (POSI/40088/CHS/2001) e pela Microsoft Researc

HyParView: a membership protocol for reliable gossip-based broadcast

Gossip, or epidemic, protocols have emerged as a powerful strategy to implement highly scalable and resilient reliable broadcast primitives. Due to scalability reasons, each participant in a gossip protocol maintains a partial view of the system. The reliability of the gossip protocol depends upon some critical properties of these views, such as degree distribution and clustering coefficient. Several algorithms have been proposed to maintain partial views for gossip protocols. In this paper, we show that under a high number of faults, these algorithms take a long time to restore the desirable view properties. To address this problem, we present HyParView, a new membership protocol to support gossip-based broadcast that ensures high levels of reliability even in the presence of high rates of node failure. The HyParView protocol is based on a novel approach that relies in the use of two distinct partial views, which are maintained with different goals by different strategies.This work was partially supported by project P-SON: Probabilistically Structured Overlay Networks (POS_C/EIA/60941/2004). Parts of this report have been published in the Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Edinburgh, UK, June, 200

On the structure of unstructured overlay networks

Unstructured overlay networks are a key component of many peer-to-peer systems. These overlays exhibit a set of interesting properties that derive from their inherent randomness. In this fast abstract we briefly discuss the key aspects that need to be considered when attempting to bias the structure of unstructured networks, such that it becomes possible to improve the efficiency of applications and services executed at the top level, without impairing the correctness of the overlay

Elaborations on a communitarian approach to transtemporal obligations

Grande parte da população atual acredita dever algo às gerações futuras. Poucos negariam que gastar e consumir desregradamente hoje seria errado. No entanto, as pessoas futuras ainda não existem. Não temos como saber quais são os seus interesses, nem como acordar conjuntamente princípios de distribuição. Ademais, a existência de pessoas futuras depende das nossas ações presentes, o que torna problemático afirmar que a escolha de uma política em lugar de outra hoje causará dano a futuros indivíduos. A maioria das teorias éticas e políticas contemporâneas tem dificuldade em responder aos pontos levantados acima, e, consequentemente, em oferecer uma defesa teórica válida da existência de obrigações entre pessoas separadas pelo tempo. A teoria comunitária, pelo contrário, por tomar como unidade básica uma entidade que é inerentemente transtemporal (comunidades), é capaz de estabelecer ligações moralmente relevantes entre indivíduos ao longo do tempo. Nesta dissertação, baseando-me na compatibilidade entre conceitos comunitários e o contexto transtemporal, e combinando-os com outras teorias filosóficas – como o contratualismo moral -, proponho alguns argumentos a favor da existência de obrigações entre pessoas cujas vidas nunca se cruzam temporalmente. Termino a dissertação com um outro argumento, este contra a cada vez mais difundida ideia de que o cumprimento das nossas obrigações para com as gerações futuras poderá justificar a implementação de práticas não-democráticas.A majority of present people feel that they owe something to future generations. Few wouldn’t think it wrong to spend and consume unreservedly today. However, future people don’t yet exist. We have no way of knowing what their interests might be or of according with them any principles of distribution. Moreover, their existence is dependent on our actions today, so it is not unproblematic to claim that we will harm future persons by presently choosing one policy over another. Most ethical and political theories struggle to overcome these issues, and consequently fail to provide a sound account of obligations between temporally-separated persons. Communitarian theory, however, by taking as its basic unit an entity that is inherently transtemporal (communities), is capable of establishing morally relevant connections between individuals across time. In this dissertation, I draw on the adequateness of communitarian concepts to the cross-temporal context, and combine them with ideas from other philosophical theories – like moral contractualism – to provide a set of accounts of transtemporal obligations. I end the dissertation with an argument against the growing idea that the effective discharging of our obligations to future persons might justify non-democratic practices

Towards a generic group communication service

View synchronous group communication is a mature technology that greatly eases the development of reliable distributed applications by enforcing precise message delivery semantics, especially in face of faults. It is therefore found at the core of multiple widely deployed and used middleware products. Although the implementation of a group communication system is a complex task, application developers may benefit from the fact that multiple group communication toolkits are currently available and supported. Unfortunately, each communication toolkit has a different interface, that differs from every other interface in subtile syntactic and semantic aspects. This hinders the design, implementation and maintenance of applications using group communication and forces developers to commit beforehand to a single toolkit, thus imposing a significant hurdle to portability. In this paper we propose jGCS, a generic group communication service for Java, that specifies an interface as well as minimum semantics that allow application portability. This interface accommodates existing group communication services, enabling implementation independence. Furthermore, it provides support for the latest state-of-art mechanisms that have been proposed to improve the performance of group-based applications. To support our claims, we present and experimentally evaluate implementations of jGCS for several major group communication systems, namely, Appia, Spread/FlushSpread and JGroups, and describe the port of a large middleware product to jGCS.This work was partially supported by the IST project GORDA (FP6-IST2-004758

Experimental Tests and Numerical Simulations for Failure Investigation on Corrugated Boxes Used on Household Appliance Packaging

Packages made of corrugated paper are fundamental to the protection, transportation and handling of the appliance product market. During the storage and sales stages of a product, the package must resist compressive loads in different directions beyond moderate impacts. In this context, the objective of this work is to develop and implement a post-processor that allows the simultaneous analysis of two of the most common failure modes of packages made of corrugated paper: failure due to tensile or compressive stress limit, and failure due to local buckling, when the buckling of the faces of the corrugated paper between two peaks of the fluting waves occurs. It was realized that the current procedure proposed by the literature expend a series of operations, what became the failure analysis for corrugated boxes too lengthy for the immediacy of the industry. Thus, it was chosen to apply a procedure to simplify the failure limit surface. Tensile tests were performed for the characterization of corrugated material used in numerical simulations. Experimental tests were performed on corrugated boxes used on household appliance products. The Tsai-Wu criteria for the material failure evaluation was applied and a modified Nyman-Gustafsson criteria for the local buckling analysis on the numerical simulations was proposed. A good correlation between experimental tests and numerical results was obtained. This work brings high expectations to the agility requested by the industry in the launching of new products