Торвальдс посоветовал Кису Куку из Google быть решением, а не проблемой в работе с кодом и мейнтейнерами ядра Linux
Линус Торвальдс в переписке в списке рассылки (1, 2, 3, 4) по поводу обсуждения возможности смягчения неожиданных арифметических переполнений/недополнений/зацикливания в исходном коде C ядра Linux посоветовал Кису Куку из Google быть решением, а не проблемой в рамках работы с мейнтейнерами ядра Linux, а также перестать плодить неразумные жалобы на код компилятора.
Кук вместе с другими экспертами Google работает над выяснением того, как лучше справляться с неожиданными ошибками арифметического переполнения в исходном коде C ядра Linux. Он надеется увидеть систематический способ, позволяющий ядру Linux справляться с такими арифметическими проблемами переполнения/недополнения/зацикливания. Среди первоначальных идей — лучше использовать санитайзеры на основе компилятора или возможности языка C для перегрузки операторов без искажения имён. В последнем его предложении в качестве потенциального решения перегрузки операторов C был озвучен способ произвольной обработки переполнений внутри помощников (C operator overloading could allow for arbitrary handling of overflows within the helpers).
Первоначально Кис думал о смягчении последствий с помощью санитайзеров (sanitizer-based mitigations), и завершил свою ветку в списке рассылки такими словами: «Я стремлюсь к общему согласию относительно подхода № 1, описанного выше. Любое решение, которое действительно принесёт значительную пользу, потребует довольно обширных изменений в типах Linux, так что это универсальная болевая точка. Но я преодолел задачу сделать Linux безопасным уже давно, и я надеюсь, что смогу убедить людей, что нам действительно нужно что-то изменить. Статус-кво недостаточно хорош, и мы можем добиться большего. Мне просто нужно найти общее решение, которое мы сможем
Читать на habr.com