Google descubrió cientos de condiciones de carrera en el kernel Linux usando KCSAN

Los ingenieros de Google que contribuyen al kernel Linux han anunciado que han descubierto cientos de “race conditions” (condiciones de carrera) en el kernel usando KCSAN. La compañía ha estado trabajando durante mucho tiempo en AddressSanitizer para encontrar errores relacionados con la corrupción de la memoria o en UndefinedBehaviorSanitizer para un comportamiento indefinido en el código. Esta vez, Google ofrece un nuevo detector “Race Conditions” para el kernel Linux que se llama KCSAN (Kernel Concurrency Sanitizer).