Sistemas operativos
Descrição da Oportunidade
Estudo da utilização da tecnologia eBPF, com foco na abordagem CO-RE (Compile Once – Run Everywhere), para a instrumentação de estruturas do Linux kernel de modo a obter informação de acesso a ficheiros e canais de comunicação. Desenho de uma plataforma automática e compreensiva para a análise de padrões de acesso a disco e rede. A análise deve focar-se na correção e segurança de aplicações centradas em dados. As tarefas descritas neste plano de trabalhos requerem a aplicação e o desenvolvimento de conceitos e técnicas das áreas de Ciências da Computação e Engenharia Informática, tipicamente lecionados em unidades curriculares que compõem o núcleo do plano de estudos de Licenciaturas Ciências da Computação e em Engenharia Informática.
Habilitações Académicas
Aluno de Licenciatura em Ciências da Computação ou Engenharia Informática.
Requisitos Mínimos
- Conhecimentos em sistemas operativos.- Conhecimentos sobre a linguagem de programação C.- Experiência com API POSIX e chamadas ao sistema.- Experiência com a tecnologia eBPF.
Fatores de Preferência
- Experiência com ferramentas de rastreio de pedidos de E/S (p.ex., Strace).
Período de candidatura
Desde 22 Aug 2024 a 04 Sep 2024
Centro
Laboratório de Software Confiável