Dissertação

{en_GB= Large Scale Distributed Algorithms Simulator} {} EVALUATED

{pt=Os sistemas distribuídos, e os algoritmos distribuídos subjacentes, estão na base de inúmeros serviços usados hoje em dia, como Computação em Nuvem, Redes Sociais ou Cripto-moedas. Devido à sua importância, é fundamental que os algoritmos distribuídos sejam devidamente avaliados para garantir que funcionam como especificado, mesmo na presença de condições adversas. A simulação é uma abordagem útil para fazer essa avaliação, em particular nas fases iniciais de desenvolvimento, pois permite testar os algoritmos num ambiente completamente controlado. Infelizmente, os simuladores existentes têm várias lacunas como, por exemplo, modelos de simulação irrealistas, pouca escalabilidade ou falta de funcionalidades fundamentais como a modelação de assincronia entre processos. Nesta tese, propomos o Corten, um novo simulador, desenhado de raiz, que preenche as lacunas acima identificadas, produz simulações reproduzíveis e é eficiente, permitindo simular milhares de nós numa máquina com recursos modestos. Na nossa avaliação ilustramos as principais funcionalidades do simulador e demonstramos a sua aplicação por comparação ao estado da arte. , en=Distributed systems, and the underlying distributed algorithms, are at the base of countless services used today, such as Cloud Computing, Social Networks or Criptocurrencies. Due to their importance, it is fundamental that distributed algorithms are evaluated properly, to ensure that they work as specified, even in the presence of adverse conditions. Simulation is a useful approach to do that evaluation, particularly in the initial phases of development, because it allows for the algorithms to be tested in a completely controlled environment. Unfortunately, existing simulators have several shortcomings, for example, unrealistic simulation models, poor scalability or lack of fundamental functionalities, such as modelling asynchrony between processes. In this thesis, we propose Corten, a new simulator, designed from scratch, which overcomes the shortcomings mentioned above, produces reproducible simulations and is efficient, allowing to simulate thousands of nodes in a machine with modest resources. In our evaluation, we illustrate the main functionalities of the simulator and demonstrate its use in comparison with the state of the art. }
{pt=Algoritmos Distribuídos, Simulação, Larga Escala, Avaliação, en=Distributed Algorithms, Simulation, Large Scale, Evaluation}

Novembro 19, 2019, 16:30

Orientação

ORIENTADOR

Miguel Ângelo Marques de Matos

Departamento de Engenharia Informática (DEI)

Professor Auxiliar