Talks @LASIGE

Recovery algorithms in State Machine Replication with volatile and non-volatile main memory

Sala 6.2.50, Ciências ULisboa
Banner do evento

Por Jan Kończak (Poznan University of Technology, PL).

I will present several ways to support recovering a crashed replica in a SMR system based on MultiPaxos protocol. Typically, MultiPaxos requires to persist data on storage upon agreeing each consensus instance to provide crash-recovery. I will discuss how the persistent memory can decrease this overhead and how it can be leveraged in a SMR framework for further benefits. Then, I will show how to support recovery when the number of processes down at a time is limited. With such assumption a SMR system suffers no performance penalty from recovery support. Finally, I'll compare the proposed recovery support methods in terms of performance and recovery robustness.

Short Bio: Jan Kończak started his research work by implementing JPaxos – an efficient SMR framework based on Paxos. Then its interests shifted towards Software Transactional Memory (STM), where he investigated the use of irrevocable operations within transactions. This resulted in a couple of STM algorithms that provide both support for the irrevocable operations and never force a transaction to wait. Then he returned to studying SMR and worked on enhancing performance in crash-recovery model. In connection with his research, he spend a couple of months at EPFL in Lausanne and was an R&D intern at ARM in Cambridge.

11h00
LASIGE Computer Science and Engineering Research Centre

Seminário de Lógica Matemática, por Pedro Pinto (Technische Universität Darmstadt).

Minicurso por Pedro M. Silva (Pós-doc - CEMS.UL).

Colóquio de Matemática, por Marko Stošić (Departamento de Matemática - Ciências ULisboa).

Dois estudantes em frente a um computador

Uma iniciativa integrada no Projeto de Promoção de Sucesso e Redução de Abandono no Ensino Superior, com inscrições até 25 de janeiro.

Logótipo da ULisboa, título/data/local do evento e fotografia de professora e estudantes numa biblioteca

Workshop no âmbito do Programa de Promoção da Saúde Mental e do Bem-Estar na ULisboa.

Seminário de Análise e Equações Diferenciais, por Didier Pilod (University of Bergen).

Título/data/local do evento e fotografia de Jorge Moyano a tocar piano

Concerto de Jorge Moyano, no âmbito do programa Música na Universidade de Lisboa.

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Robin Wilson (Open University; Gresham College, London).

Seminário do Instituto de Astrofísica e Ciências do Espaço, por Santiago González Gaitán (Instituto de Astrofísica e Ciências do Espaço, CIÊNCIAS ULisboa).

2.ª edição do curso, com inscrições até 26 de janeiro.

2.ª edição do curso, com inscrições até 26 de janeiro.

Representação de ser humano a interagir com um computador portátil

Formação ministrada por Nuno Cruz Garcia (Ciências ULisboa).

Título/data/local do evento e fotografia de Vítor Cardoso

Prémio atribuído a Vítor Cardoso, Professor Catedrático no Departamento de Física do Instituto Superior Técnico da Universidade de Lisboa e Diretor do Centro de Gravidade do Instituto Niels Bohr da Universidade de Copenhaga, Dinamarca.

Título do curso e logótipo do CEAUL

Aprenda a organizar e analisar dados com foco na obtenção de soluções orientadas para a resolução de problemas.

Data/título do evento/frase "(Re)começa agora. É a tua vez!", sobre fotografia de balões de ar quente

(Re)começa agora. É a tua vez!

Com o Inverno já a deixar a sua marca nos ramos nus das árvores, é tempo também de as ajudarmos a crescer na Primavera que se seguirá!

Aumente o envolvimento e a colaboração dos alunos com uma solução de ensino e aprendizagem completa dentro do Moodle através do FeedbackFruits.

Ação de formação para docentes e investigadores de CIÊNCIAS.

Logótipos CIÊNCIAS/CEAUL, indicação do título/data/orador e representação do cérebro humano

Participants will be introduced to using R in real life situations. From the start, this hands-on practical workshop will focus on following good programming and data analysis practices. 

António Cruz Serra

A cerimónia decorre no Pavilhão de Portugal, pelas 17h00.

Título e datas de candidaturas aos prémios, sobre uma imagem abstrata

Candidaturas abertas até 14 de fevereiro - em 2025, serão atribuídos 26 Prémios e 52 Menções Honrosas.

Fotografia de João Paulo Dias

A Celebration of his 80th Birthday - registration until 24 January.

Fotografia de Carlos Paredes

Concerto no âmbito do programa Música na Universidade de Lisboa.

Composição do logótipo da ULisboa e de representação do rosto humano à base de relógios

Consegue comunicar eficazmente a sua investigação de doutoramento em 3 minutos?

Título do curso, sobre uma fotografia do Large Hadron Collider

The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

Páginas