HASLab publica pela primeira vez artigo na Communications of the ACM
HASLab publishes paper in Communications of the ACM for the first time
Carlos Baquero, investigador do HASLab/INESC TEC e docente da EEUM, é o primeiro investigador do Centro de Investigação em Software Confiável (HASLab) da EEUM a publicar um artigo na revista especializada Communications of the ACM.
“Why logical clocks are easy” é o nome do artigo produzido juntamente com Nuno Preguiça, investigador do Nova Laboratory for Computer Science and Informatics, publicado na edição de abril, que aborda a causalidade nos sistemas distribuídos. A causalidade é vista como um componente essencial na compreensão do mundo físico e das interações entre os seres humanos. “If I put a cup on the table, and look back at it, I expect it to be there. I also expect to get a reply to my postcards, after I send them, and not before”, afirma Carlos Baquero. Segundo a investigação realizada, num sistema computacional existem várias sequências de ações executadas em vários locais e, além disso, as relações causa-efeito nestas ações são fundamentais para o desenvolvimento de algoritmos. Sendo tradicionalmente um tema complexo para os programadores, esta investigação pretende trazer de volta a intuição sobre a natureza da causalidade, recorrendo à noção de histórias causais, e mostrar como é que os vetores versão, os relógios vetoriais e outros mecanismos mais sofisticados nos permitem lidar com milhões de clientes simultâneos a interagir com lojas na internet. Este artigo é o resultado de uma profunda investigação na área da causalidade e estes resultados já foram adotados por várias empresas mundiais como, por exemplo, a SoundCloud, na difusão de música, a Basho, na base de dados Riak, e a Bet 365, nas apostas online. Communications of the ACM é uma revista mensal distribuída a todos os subscritores da ACM, Association for Computing Machinery, e contém conteúdos relacionados com as áreas da Informática, Computação e Tecnologia da Informação. Esta revista é considerada líder de mercado, sendo reconhecida como a fonte mais fiável e experiente nos temas relacionados com as suas áreas de abordagem. O artigo está disponível em: http://cacm.acm.org/magazines/2016/4/200168-why-logical-clocks-are-easy/ |
Carlos Baquero, researcher at HASLab/INESC TEC and professor at the EEUM, is the first researcher from the High Assurance Software Laboratory (HASLab) of the EEUM to have a paper published in the specialised magazine Communications of the ACM.
“Why logical clocks are easy” is the name of the paper, which was co-authored by Nuno Preguiça, researcher at the Nova Laboratory for Computer Science and Informatics. Published in April, the paper addresses causality in distributed systems. Causality is as a key component to understand the physical world and the interactions between human beings. “If I put a cup on the table, and look back at it, I expect it to be there. I also expect to get a reply to my postcards, after I send them, and not before”, Carlos Baquero stated. According to the research conducted, in a computer system several sequences of actions are executed in different locations. Moreover, the cause-effect relations in these actions are fundamental when developing algorithms. As this is traditionally a complex theme for programmers, the goal with this paper is to put an emphasis on the nature of causality, using causal stories, and demonstrating how version vectors, vector clocks and other sophisticated mechanisms make it possible to simultaneously deal with millions of clients who are interacting with online stores. This paper is the result of a profound study on causality and these results have already been adopted by different world-renowned companies, such as SoundCloud (audio platform), Basho (Riak database), and Bet 365 (online bets). Communications of the ACM is the monthly magazine of the Association for Computing Machinery (ACM). Containing different subjects related to IT, Computing and Information Technology, it is considered the most important publication in this area. The paper is available here: http://cacm.acm.org/magazines/2016/4/200168-why-logical-clocks-are-easy |