Daniel Bristot de Oliveira e o tempo real no Linux

Em 15 de julho de 2024 Steven Rostedt mandou um patch q apagava tres linhas do arquivo MAINTAINERS do kernel linux. a mensagem do commit abria com quatro palavras Gone but never forgotten.

As tres linhas eram o msm nome, de um brasileiro. Daniel Bristot de Oliveira tinha morrido tres semanas antes em 24 de junho aos 37 anos

Antes da red hat foi Engenheiro de software senior na Intelbras. fez Doutorado conjunto na UFSC em florianopolis e na Scuola Superiore SantAnna em Pisa. a tese partia de um atrito antigo, chamar o linux de sistema de tempo real ainda gerava briga entre quem escrevia o kernel e quem estudava a teoria. a teoria pede prova formal o kernel e complexo demais pra caber numa

tempo real quer dizer prazo, a tarefa tem um instante pra terminar e passar dele e defeito. Freio, robo de fabrica, equipamento medico.

Daniel descreveu com automatos como as threads se sincroniza dentro do PREEMPT_RT e transformou o modelo em codigo. No linux 5.17 entrou o rtla, q mede latencia e ruido do sistema so essa entrada ja colocou ele entre os 20 maiores contribuidores da versao. No 6.0 entrou o Runtime Verification, o kernel conferindo enquanto roda se o proprio comportamento bate com uma especificacao formal. ele mantinha os dois mais os tracers de latencia e tbm revisava o codigo do SCHED_DEADLINE.

A ultima serie dele mexia no escalonador. a ideia original era do Peter Zijlstra, Daniel assumiu escreveu a parte q adia o servidor e carregou a serie por varias versoes. O problema era velho uma tarefa de tempo real toma a cpu e o processo comum fica sem rodar.

tres dias depois da morte Thomas Gleixner pediu na lkml que a comunidade desacelerasse os patches enviados pra quem tinha perdido um amigo proximo. a serie ficou parada.

em setembro entrou no 6.12. Na msm janela de merge o Linus fez o merge q ligou o PREEMPT_RT no kernel principal depois de vinte anos de desenvolvimento.

roda uname -r. se aparecer 6.12 ou mais cada cpu da sua maquina garante 50 milissegundos por segundo pro processo comum qnd uma tarefa de tempo real tenta monopolizar.

#BrazilianTech #Linux #OpenSource #Unix