> Даже при понимании возможны ошибки, потому Syzbot не лишний. Когда нет понимания,
> никакие*) тесты не спасут.Вообще, несколько раз я выруливал и не совсем понимая что я сделал, проверяя именно по спекам что то что вышло - работает как надо. Что делать, некоторые вещи в сложном мире иногда заставляют балансировать на грани возможного.
> *) на полный перебор вариантов не хватит ресурсов.
Как я вижу, штуки типа syzbot одолели гамнокодеров, завалив редхатиндусов багами в их чудном коде. А то что ботам похрен и они краевые случаи прозванивают не хуже остальных - и что? Это не значит что их чинить не надо. Вон в btrfs фэйсбук чинил баг который все рушил только если файл более 20Тб. Остальным оно похрен - но ведь со временем и другие такие файло начнут наворачивать. И будет как в винде vs NTFS vs 2Tb где он себе харакири делал. Ну на 20 терабайтов вместо 2, можно подумать увеличение циферки в 10 раз надолго спасет.
На мой вкус root cause - общее качество кода. Редхат прощелкал грандов, быро нанял левых нонеймов, подначивая их давай-давай. И получил - то что получил. Хреновое качество кода по всей площади и задолбавшегося с этим майнтайнера.
На самом деле с XFS забавная история в том что они сделав годный test suite пришли к тому что другие команды им лучше и чаще пользуются в свое благо, XFSники же раздолбайничали (что еще пачка индусов может?) и со временем "техдолг" накопился до состояния когда с ним жить уже тяжко стало.
А круто в этой истории хотя-бы то что человек заметил что он перестает справляться с ситуацией и отдал бразды правления. Может кто-то иной сможет лучше. Или участники проекта пересмотрят практики после демарша.