Sistemas operativos
Descrição da Oportunidade
O plano de trabalho desta bolsa incluí as seguintes atividades principais: - Desenvolvimento de uma ferramenta de tracing com eBPF (utilizando libbpf), para instrumentar diversos pontos de interesse no kernel Linux (e.g., chamadas ao sistema, VFS, entre outros) e recolher informação detalhada sobre o estado de processos e ficheiros em execução no sistema. Através desta instrumentação, deverá ser possível monitorizar e analisar o comportamento de aplicações, com especial atenção a operações críticas como execução de programas, criação e terminação de processos, e interações com o sistema de ficheiros. - Implementação de uma plataforma de visualização especializada, capaz de processar os dados recolhidos e fornecer visualizações claras e intuitivas que representem o estado do sistema e as atividades monitorizadas. - Avaliação experimental da solução desenvolvida, através de testes com múltiplos programas e diferentes cenários de interação com o kernel, visando validar a sua eficácia e aplicabilidade. 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 Mestrado em Engenharia Informática e Ciências da Computação.
Habilitações Académicas
Licenciatura em Ciências da Computação ou Engenharia Informática.
Requisitos Mínimos
- Conhecimentos sólidos em sistemas operativos.- Experiência com API POSIX e chamadas ao sistema.- Experiência prática com a tecnologia eBPF e a biblioteca libbpf.
Fatores de Preferência
- Experiência com ferramentas de rastreio de pedidos de E/S (p.ex., Strace). - Conhecimento de ferramentas de visualização (p.ex., Vue.js).
Período de candidatura
Desde 27 Jun 2025 a 10 Jul 2025
Centro
Laboratório de Software Confiável