Analysing differences in kernel parameters

Publicado em: 19 Fevereiro 2019
no canal de: DevConf

376

Presentation name: Analysing differences in kernel parameters
Speaker: Viktor Malík
Description: n this session, we present the DiffKemp project - a tool for automatic
analysis of code differences between two versions of the Linux kernel. The
tool partially automates kernel option compatibility cross-check (sysctl
variables, module parameters) which makes the process of the kernel
development and deployment more efficient and reliable. The approach that we use is based on static analysis of the kernel source code, which makes sure that all program paths are covered. Moreover, we use advanced formal methods to prove an equivalence of semantics of programs even when the code is syntactically different.
[ https://sched.co/JcjO ]

Nesta página do site você pode assistir ao vídeo on-line Analysing differences in kernel parameters duração 16 minuto 40 segundo em boa qualidade , que foi baixado pelo usuário DevConf 19 Fevereiro 2019, compartilhe o link com seus amigos e conhecidos, no youtube este vídeo já foi visto 376 vezes e gostou 6 espectadores. Boa visualização!

1,440