Uma das contribuições que o Google está trabalhando para o kernel Linux upstream é um novo “desinfetante”. Ao longo dos anos, o Google trabalhou no AddressSanitizer para encontrar erros de corrupção de memória, UndefinedBehaviorSanitizer para comportamento indefinido no código e outros ‘desinfetantes’. Sendo assim, o Google trabalha em correções do Kernel Linux.
O kernel do Linux foi exposto a isso, assim como a outros projetos de código aberto, enquanto o seu mais recente instrumento de limpeza é o KCSAN. Ele é focado como um Kernel Concurrency Sanitizer.
Como o Google trabalha em correções do Kernel Linux?
O Kernel Concurrency Sanitizer (KCSAN) está focado na descoberta de problemas de corrida de dados no código do kernel. Esse detector dinâmico de corrida de dados é uma alternativa ao Kernel Thread Sanitizer.
Em seus testes no mês passado, em dois dias, eles encontraram mais de 300 condições únicas de corrida de dados no kernel da linha principal.
Notícias Relacionadas
Futuro incerto para o BcacheFS
Debates acalorados: a suspensão de Kent Overstreet e as reações da comunidade
A suspensão temporária de Kent Overstreet, criador do BcacheFS, provocou uma avalanche de reações na comunidade Linux. Com opiniões divididas, desenvolvedores e membros da comunidade discutem sobre o impacto de suas ações e as consequências para o futuro do projeto no kernel Linux. O desenvolvedor suspenso também comentou em seu blog como tudo aconteceu. Comentários […]
Kent Overstreet
Kent Overstreet comenta suspensão em seu blog
Kent Overstreet, desenvolvedor da inovadora sistema de arquivos BcacheFS, enfrenta um momento delicado em sua carreira como contribuidor do kernel Linux. Sua suspensão temporária pelo comitê de Código de Conduta (CoC) gerou controvérsias sobre a forma como conflitos são geridos dentro da comunidade e levantou questões sobre os processos culturais e técnicos que guiam o […]
Nas próximas semanas, a equipe planeja:
* Configurar uma instância do syzkaller.
* Compartilhar o painel para poder ver as corridas encontradas.
* Tentar enviar correções para algumas corridas em grande quantidade.
Ainda de acordo com os desenvolvedores, existem algumas perguntas em aberto:
A grande: a maioria das corridas relatadas é devido a acessos não marcados; pode ser necessária a priorização ou remoção de corridas para concentrar os esforços iniciais para consertar corridas. Comentários sobre a melhor forma de proceder são bem-vindos. Estamos cientes de que são problemas que recentemente receberam atenção no contexto do LKMM, disseram eles.
Houve uma discussão recente sobre o Kernel Concurrency Sanitizer no LKML. Para aqueles que desejam conhecer melhor o projeto, o código, pelo menos por enquanto, está sendo hospedado no GitHub. Para mais detalhes sobre este assunto, consulte este link.
Fonte: Phoronix
